I think an old bug still persists in my Stardog v7.2.0, regarding reasoning with OWL DL. See the following related posts:
- Different reasoning results between Stardog and Protege - #9 by zachary.whitley
- Stardog returns reasoning results even if the database is empty - #13 by robertbhacker
- Internal server error with reasoning queries and slow reasoning issue - #10 by stephen
The issue is that a query returns incomplete results, as it misses triples with rdfs:label and custom defined owl:AnnotationProperty properties. I tested it with the RL and SL profile and then I didn't encounter this issue. According to the OWL spec, rdfs:label (and rdfs:comment, rdfs:isDefinedBy, etc.) should be interpretted as a "built-in annotation property" (= owl:AnnotationProperty?): OWL 2 Web Ontology Language Structural Specification and Functional-Style Syntax (Second Edition)