search

owlcs / owlapi

OWL API main repository
822 stars 315 forks source link

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

Closed matentzn closed 2 years ago

matentzn commented 2 years ago

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 2 years ago

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

matentzn commented 2 years ago

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