Strange effects querying OWL property with reasoning enabled

Support Bug
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.
reasoning.schema.graphs=http://com.adaptive.Ontology,tag:stardog:api:context:default.

My data is the very simple property declaration.
prefix ex: http://adaptive.com/example
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: http://adaptive.com/example
select * where {ex:annotp a ?t}

returns nothing with reasoning; returns owl:AnnotationProperty without reasoning

prefix ex: http://adaptive.com/example
select * where {ex:annotp ?p ?t}

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

prefix ex: http://adaptive.com/example
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: http://adaptive.com/example
select * where {BIND (ex:annotp as ?p). ?p a owl:AnnotationProperty}

returns ex:annotp without reasoning, nothing with reasoning

prefix ex: http://adaptive.com/example
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?

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.

3

Nothing untoward in stardog.log.

4

Thanks, we can reproduce this and will investigate.

Best,
Pavel

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.

6

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

Cheers,
Pavel