4

I'm following the instructions of A Practical Guide to Building OWL Ontologies Using Protégé 4 - Edition 1.3, and it says that when the domain of a property is filled, the range of its inverse property should automatically be filled by Protégé. However, it's not true anymore in Protégé 4.3.

Does someone know if there is a missing step here in this new version?

felipe.zkn
  • 2,012
  • 7
  • 31
  • 63
  • 1
    If I access Reasoner > Configure..., and check Domains and Ranges options in Displayed Object Property Inferences, on Reasoner tab, the reasoner fills the domain and range of the inverse properties. But is it needed, really? – felipe.zkn Mar 09 '14 at 23:08
  • When I run the reasoner, it find true domain and ranges for inverse properties. but when I export inferred axioms as ontology, inferences of range and domain don't appear in result! Do you can save inferred ranges and domains? if you can, how?! – Omid Ebrahimi May 20 '14 at 17:01

0 Answers0