OWL DL reasoning misses results

I think an old bug still persists in my Stardog v7.2.0, regarding reasoning with OWL DL. See the following related posts:

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?): https://www.w3.org/TR/2012/REC-owl2-syntax-20121211/#Annotation_Properties