search

knowsys / rulewerk

Java library based on the VLog rule engine
Apache License 2.0
32 stars 13 forks source link

[owlapi] OWLDisjointClasses and OWLDisjointObjectProperties axioms ignored #209

Closed irina-dragoste closed 3 years ago

irina-dragoste commented 3 years ago

axioms of type OWLDisjointClassesAxiom and OWLDisjointObjectPropertiesAxiom are not translated into rules, and no exception is thrown or warning logged