owlcs/ont-api

Support InfModel on axioms (OWLOntology) level

Opened this issue · 0 comments

sszuev commented

Right now axioms are getting from the base graph. It would be nice to have a builtin possibility to get inferred axioms (from InfGraph)