Missing query result for equivalent classes

0 views
Skip to first unread message

James Chen

unread,
Jun 7, 2014, 3:59:33 PM6/7/14
to sta...@clarkparsia.com
I am experiencing an unexpected reasoning issue involving equivalent classes:

Test Data:

<http://Test#Class1> rdf:type owl:Class
<http://Test#Class2> rdf:type owl:Class
<http://Test#Class3> rdf:type owl:Class
<http://Test#Class2> owl:equivalentClass <http:Test#Class1>

<http://Test#prop1> rdf:type owl:OjbectProperty




Reasoning level: SL

Membership of equivalent class seems to be working:

SELECT * 
WHERE {
?s rdf:type <http://Test#Class2> .
}


However, relationships of inferred members seems to be broken:

Using the original class

SELECT * 
WHERE {
?s rdf:type <http://Test#Class1> .
        ?s <http://Test#prop1> ?o .
}


Using the equivalent class:

SELECT *
WHERE {
?s rdf:type <http://Test#Class2> .
  ?s ?p ?o
}

spo
0 items

Héctor Pérez-Urbina

unread,
Jun 9, 2014, 2:57:23 PM6/9/14
to stardog
James,

The variable types for ?p and ?o in the last query are ambiguous. Try adding ?p a owl:ObjectProperty (or owl:DatatypeProperty) and let us know what you get.


--
-- --
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



--
Best,
Héctor
Reply all
Reply to author
Forward
0 new messages