CODEWITHSUNDEEP
javareasonerhermit
Ulfa Amalia
Ulfa Amalia

Reputation: 23

Non-simple property used in a cardinality restriction HermiT

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?

Upvotes: 0

Views: 798

Answers (1)

D4nt3
D4nt3

Reputation: 56

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

Upvotes: 0

Related Questions