Reasoning with subproperty and annotation

[James Chen]

I ran into problem where the Stardog reasoner does not seem to be working properly for subproperties and annotations:

Here's the test data I have:

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

<http://Test#prop2> rdf:type owl:ObjectProperty

<http://Test#prop2> rdfs:subPropertyOf <http://Test#prop1>

<http://Test#sub1> <http://Test#prop1> <http://Test#obj1>

<http://Test#sub1> <http://Test#prop2> <http://Test#obj2>

<http://Test#anno1> rdf:type owl:AnnotationProperty

<http://Test#obj1> <http://Test#anno1> "Object 1"^^xsd:string

<http://Test#obj2> <http://Test#anno1> "Object 2"^^xsd:string

Now when I do the following query (with reasoning set to SL):

select * where { <http://Test#sub1> <http://Test#prop1> ?o .}

I get

o
http://Test#obj1
http://Test#obj2

as expected since prop2 is a subProperty of prop1

However when I then try to get the annotations associated with each objects:

select * where { <http://Test#sub1> <http://Test#prop1> ?o . ?o <http://Test#anno1> ?n .}

I get only:

o	n
http://Test#obj1	Object 1

What's happening here?  Are there any known issues that would cause the results inferred through subproperties to be dropped when an annotation is queried?

I've checked the annotations just in case and it is what we would expect:

select * where { ?s <http://Test#anno1> ?o . }

s	o
http://Test#obj1	Object 1
http://Test#obj2	Object 2

James

[Héctor Pérez-Urbina]

Dear James,

Thank you for pointing this out. We'll include the fix in the next release.

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