Strange effects querying OWL property with reasoning enabled

(Pete Rivett) #1

I’m getting fewer, and inexplicable, results with reasoning.
I have my database configured with the following i.e. including the default named graph.

My data is the very simple property declaration.
prefix ex:
insert {ex:annotp a owl:AnnotationProperty}
where {}

Having just created the property I cannot get its type when using reasoning. In all these cases I’m using Stardog Studio and have the reasoning defaulted to EL.

prefix ex:
select * where {ex:annotp a ?t}

returns nothing with reasoning; returns owl:AnnotationProperty without reasoning

prefix ex:
select * where {ex:annotp ?p ?t}

returns nothing with reasoning, rdf:type owl:AnnotationProperty without reasoning

prefix ex:
select * where {?p a owl:AnnotationProperty}

returns ex:annotp without reasoning; that and a whole bunch more (from the non-default named graph used for reasoning) with reasoning. This is the one query that did behave as expected.

prefix ex:
select * where {BIND (ex:annotp as ?p). ?p a owl:AnnotationProperty}

returns ex:annotp without reasoning, nothing with reasoning

prefix ex:
ASK {ex:annotp a owl:AnnotationProperty}

returns false with reasoning, true without reasoning

This seems pretty weird to me - is something subtle going on I’m not grasping?

(zachary.whitley) #2

Seems a bit odd. Is there anything in the logs? I seem to remember something about Stardog having to guess the predicate type that might have something to do with it or maybe it has nothing to do with it. I’ll have to do a quick search to remind myself what that particular issue is.

(Pete Rivett) #3

Nothing untoward in stardog.log.

(Pavel Klinov) #4

Thanks, we can reproduce this and will investigate.


(Pete Rivett) #5

If it helps, this is using the same database I already sent you, Pavel.
And it’s still a problem on 5.3.2 I just installed.

(Pavel Klinov) #6

Yeah, this one was fairly clear, Stardog misses type inferences for annotation properties. It’ll also be fixed in the Aug release.