owlcs/owlapi

Does any of the axiom generator classes generate inferred domains and ranges?

Closed this issue · 2 comments

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 :)

I can't spot one in the existing classes, so that'd need to be a new one.

Just wanted to double check wether I was missing something fundamental, thanks :)