Search code examples
owlontologyprotegepellet

Pellet transitivity protege 5 classifiers

I'm using Protege beta 5 and I'm trying to use a reasoner . Since pellet doesnt support transitivity between individuals What is the solution for that problem if there is any ? If not Are there any reasoners That support (Equivalence,transitivty , reflexivity ...) getting inconsistent ontology and thats the explaination is : 

 A(b) -> ((isComposedOf min 2 ({C})) and (isComposed max 15 ({C})))(b)
  b Type A
  ((isComposed exactly 4 AA) or (isComposed exactly 5 AA)) (?x),L(?x),((hasLength exactly 4 xsd:integer) or (hasLength exactly 5 xsd:integer))(?x)-?SameAs(?x,R)
Solution

  • Pellet supports transitive properties. I believe you stumbled upon non simple properties used in simple property positions. This is not Pellet's limitation, it's a DL limitation - some combinations of characteristics are not supported, because they lead to undecidability. See this question for relevant information