search

remaro-network / dlToPlanning

small tool to insert OWL axioms into PDDL files
Apache License 2.0
1 stars 0 forks source link

parse axioms for inconsistency #2

Closed tobiaswjohn closed 5 months ago

tobiaswjohn commented 5 months ago

parse axioms like "disjointClass" or "propertyDomain" and "propertyRange" to infer inconsistency