[Pellet-users] Problem with transitive subProperties

[Petr Kremen]

Hi Horst,

> Let's say I have a property called "contains" with 2 sub-properties
> "depicts" and "affects"; each of them being a owl:TransitiveProperty.
> Then I have these triples:
>
>     A depicts B
>     B affects C
>
> Since "depicts" and "affects" are both sub-properties of "contains",
> in my opinion this query should return a _not-empty_ resultSet (with A
> and C as the result-pair):
>
>     SELECT ?a ?c WHERE {
>         ?a <...#contains> ?c
>     }
>
> Is this correct or have I completely misunderstood transitivity on OWL?
>   
If You do not have specified 'contains' as transitive You can hardly get
a result of the form (A,C). Instead You should have got (A,B) and (B,C)
as bindings for (?a, ?c).

cheers,
Petr