0

I'm trying to build a OWL-S in Protégé and I used the reasoner Hermit and I got the return that is in the attached image. Can someone explain to me what Hermit is trying to tell me?

I created the process ontology and would like to check if there is inconsistency in it.

Stefan - brox IT-Solutions
  • 1,804
  • 3
  • 13
ats
  • 1
  • 1
  • I think the explanations here are a bit "broken" or confusing - I mean, it those explanations are showing you why `setOutput` is an instance of class `Output`, but the second doesn't reference any of those entities. What I can see from the explanation though is that there is a datatype clash for the `parameterType` property. The range is defined as `xsd:anyURI` (axiom 1) and the property range is a global statement, but in the class expression in axiom 4) there is `parameterType min 1 xsd:nonNegativeInteger` - a literal can't be of two different datatype though – UninformedUser Jan 19 '23 at 06:54

0 Answers0