Does any of the axiom generator classes generate inferred domains and ranges?
Closed this issue · 2 comments
matentzn commented
I was looking at https://owlcs.github.io/owlapi/apidocs_4/org/semanticweb/owlapi/util/InferredObjectPropertyAxiomGenerator.html
and wondering wether there is an axiom generator for ObjectPropertyDomainOf and range..
Thanks :)
ignazio1977 commented
I can't spot one in the existing classes, so that'd need to be a new one.
matentzn commented
Just wanted to double check wether I was missing something fundamental, thanks :)