[Pellet-users] Problem with transitive subProperties

[Petr Kremen]

Hi Horst,

> "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?
>   
well then - could You provide us with your ontology  ? It would probably
make things clear.

Cheers,
Petr