Description
If a predicate has an rdfs:range of some class, than the object of any triple including that predicate belongs to the class.
If the ontology states that :advisor has the range of :Professor, then the inference engine should rewrite queries of the form ?x rdf:type :Professor to check for resources which are anyone's :advisor (as well as any specifically stated to have type :Professor ).
Attachments
Issue Links
- relates to
-
RYA-298 Implement rdfs:domain inference
-
- Resolved
-