search

SmartDataAnalytics / DL-Learner

A tool for supervised Machine Learning in OWL and Description Logics
http://dl-learner.org
GNU General Public License v3.0
152 stars 34 forks source link

Max. cardinality checking broken in ClosedWorldReasoner #61

Closed LorenzBuehmann closed 6 years ago

LorenzBuehmann commented 6 years ago

It looks like getting individuals for a class expression with a max. cardinality restriction doesn't work correctly.

Data

p(s, o0)
p(s, o1)
p(s, o2)
p(s, o3)
p(s, o4)
A(s)
C(o0)
C(o1)
C(o2)
C(o3)
C(o4)

Query

A ⊓ (≤ 2 p.C)

Result of reasoner.getIndividuals

[s]