search

vangelisv / thea

OWL2 library for Prolog
http://vangelisv.github.com/thea
108 stars 19 forks source link

is_entailed/2 in owl2_rl_reasoner does not return all results #20

Closed cmungall closed 14 years ago

cmungall commented 14 years ago

Because of the cut in the first clause.

ideally calling

is_entailed(Ax,Ex)

should unify Ax with all facts. In fact it will just unify with subClassOf facts.

To get e.g. propertyAssertion/3 entailedments, it's necessary to call with a term such as propertyAssertion(P,S,V)

vangelisv commented 14 years ago

Oops! you're write. I moved the cut just after the tbox/1 guard. commited and pushed in bugfixing branch

vangelisv commented 14 years ago

merged into master, closing