0

I am trying to reasoning my ontology in Java using HermiT but it results an error like below:

Exception in thread "main" java.lang.IllegalArgumentException: Non-simple property 'InverseOf(owl:topObjectProperty)' or its inverse appears in the cardinality restriction 'ObjectMaxCardinality(1 InverseOf(owl:topObjectProperty) owl:Thing)'.

i am new to reasoning in Java. what does it mean?

Ulfa Amalia
  • 23
  • 5
  • 1
    it's "reasoning in OWL" not Java ... and the error is exactly what the message says, you can't use non simple properties in max card. restrictions. that's it. read this and learn: https://www.w3.org/TR/owl2-syntax/#Global_Restrictions_on_Axioms_in_OWL_2_DL – UninformedUser Mar 19 '20 at 16:28

1 Answers1

1

Try and uncheck the 'functional' property characteristics if you haven't explicitly set a cardinality constraint on that property.

D4nt3
  • 96
  • 1
  • 4