0

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)
Muna ar
  • 11
  • 3
  • In which way is it not supported? Which DL expressivity includes these constructs for individuals? – Ignazio Aug 02 '16 at 14:40
  • Using OWL , for more semantic I'm trying to use a reasoner for consistency , Although with pellet I'm getting an error cause of transitive property Key words TYPE ans SAME AS Thats the problem , ANd seems like pellet isnt supporting those properties @Ignazio – Muna ar Aug 02 '16 at 19:21
  • 1
    Pellet supports full OWL 2 DL! Please post the error, i.e. the full stacktrace. The only exception with transitive properties is a warning that the transitivity of a property will be ignored to avoid the violation of the OWL 2 DL restrictions. – UninformedUser Aug 02 '16 at 19:30
  • @AKSW I edited the post . I'm a newbie in the domain so . – Muna ar Aug 02 '16 at 19:48

1 Answers1

0

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

Community
  • 1
  • 1
Ignazio
  • 10,504
  • 1
  • 14
  • 25