| # Query13 |
| PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> |
| PREFIX ub: <http://www.lehigh.edu/~zhp2/2004/0401/univ-bench.owl#> |
| SELECT * WHERE |
| { |
| ?x rdf:type ub:Person . |
| <http://www.University0.edu> ub:hasAlumnus ?x . |
| } |
| # (type Person ?X) |
| # (hasAlumnus http://www.University0.edu ?X) |
| # - Property hasAlumnus is defined in the benchmark ontology as the inverse of property degreeFrom, which has three subproperties: undergraduateDegreeFrom, mastersDegreeFrom, and doctoralDegreeFrom. The benchmark data state a person as an alumnus of a university using one of these three subproperties instead of hasAlumnus. Therefore, this query assumes subPropertyOf relationships between degreeFrom and its subproperties, and also requires inference about inverseOf. |
| |
