[Pellet-users] Problem with transitive subProperties

[Horst Gutmann]

Hi Petr,

"contains" is also a owl:TransitiveProperty, or do you mean the
transivity doesn't apply in this case (with subProperties)?

And for some reason I don't even get (A,B) on the contains-relation. I
can only assume that something goes wrong with the InfModel since when
I print that model as RDF-XML, there is no "contains" in there :-/ Is
there perhaps something wrong with how I bind the ontology to the
data-model using the InfModel?

Thanks
-- Horst

On Wed, Apr 16, 2008 at 3:19 PM, Petr Kremen <kremen at labe.felk.cvut.cz> wrote:
> 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
>
>