On 15/04/12 18:37, Andrés Zules wrote:
Thanks Dave. I understand "_:b" now, also you are right. The query isn't
correct. I write a new query:
PREFIX pizza:<http://www.co-ode.org/ontologies/pizza/pizza.owl#>
PREFIX owl:<http://www.w3.org/2002/07/owl#>
PREFIX rdfs:<http://www.w3.org/2000/01/rdf-schema#>
SELECT *
FROM<http://www.co-ode.org/ontologies/pizza/pizza.owl#>
WHERE {
?Y rdfs:subClassOf ?X .
?X owl:someValuesFrom pizza:MushroomTopping
}
The query's result from sparqler --- http://sparql.org/sparql.html
and from protege are the same but from jena the results are many more, I
think that the Reasoner produces extra results.
https://lh6.googleusercontent.com/-CPGT22JYut8/T4sFV5J3sJI/AAAAAAAAAKo/vCaOBS0tBdk/s903/PizzaQuery.png
Yes, the jena rule reasoner is an OWL/full reasoner so it treats these
owl:Restrictions as classes and reasons with them as well.
For your query run without inference.
Dave
