[Pellet-users] Problem with transitive subProperties

[Horst Gutmann]

Hi Petr,

I think I've found the problem ... actualy Ian Dickinson found it on
IRC. To actually do the binding, I have to work on the _result_ of
reasoner.bindSchema(...) and not on the original reasoner. Now I can
at least see the infered contains-properties in the InfModel and the
resultset also looks like I'd have expected :-)

Thanks for your help :-)
Best wishes, Horst

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