[Pellet-users] using transitive propeties

[Taylor Cowan]

I'm attempting to demonstrate the benefit of OWL transitive properties, and while I understand transitive closure, I haven't figured out how that's realized within Pellet.  Intuitively I had assumed pellet would infer the relations and assert that A->C since A->B and B->C.

Could somebody point me to a SPARQL example or pellet use case that exploits a transitive property in an OWL ontology?

Taylor




      ____________________________________________________________________________________
Fussy? Opinionated? Impossible to please? Perfect.  Join Yahoo!'s user panel and lay it on us. http://surveylink.yahoo.com/gmrs/yahoo_panel_invite.asp?a=7