Transitive properties not working ?

[petr....@gmail.com]

Kendall & Folks,

having a simple attached OWL2-RL ontology (confirmed by Pellet 2.3.1 , as well as http://mowl-power.cs.man.ac.uk:8080/validator/), there seems to be some issue w.r.t. TransitiveProperties.

.

The following query to StarDog 2.0.3 under RL :

PREFIX benchmark: <http://uob.iodt.ibm.com/univ-bench-lite.owl#>
SELECT DISTINCT ?x
WHERE { ?x benchmark:hasSameHomeTownWith <http://www.Department0.University0.edu/FullProfessor0> } 

delivers "UnderGraduateStudent143" (it is declared), as well as "ClericalStaff0" (symmetry of "hasSameHomeTownWith"), but fails to deliver  "AssistantProfessor2" and "FullProfessor0", both requiring transitivity of "hasSameHomeTownWith" to be taken into account.

Is there some misunderstanding from our side ?

Cheers,

Petr & Martin

[Evren Sirin]

Hi Petr,

I was able to reproduce the problem. It is the interaction between
transitivity and symmetry that Stardog fails to handle in this case;
e.g. if you had "FullProfessor0 hasSameHomeTownWith
UndergraduateStudent143" triple instead of the other way around you'd
get the expected results. Thanks for the concise test case, we'll fix
this for next release.

Best,
Evren

> --
> -- --
> You received this message because you are subscribed to the C&P "Stardog"
> group.
> To post to this group, send email to sta...@clarkparsia.com
> To unsubscribe from this group, send email to
> stardog+u...@clarkparsia.com
> For more options, visit this group at
> http://groups.google.com/a/clarkparsia.com/group/stardog?hl=en