[owlapi] OWLDisjointObjectPropertiesAxiom with 0 or 1 operands

knowsys / rulewerk

Java library based on the VLog rule engine

Apache License 2.0

32 stars 13 forks source link

[owlapi] OWLDisjointObjectPropertiesAxiom with 0 or 1 operands #211

Open irina-dragoste opened 3 years ago

irina-dragoste commented 3 years ago

currently, trying to transform an OWLDisjointObjectPropertiesAxiom with less than 2 operands throws an OwlFeatureNotSupportedException. How should such an axiom be translated into a rule?