A simple implementation of the OWL2 RL Profile on top of RDFLib: it expands the graph with all possible triples that OWL RL defines. It can be used together with RDFLib to expand an RDFLib Graph object, or as a stand alone service with its own serialization.
Without the brackets, condition applied as (y, rdf_type, cc) in self.graph or (cc == Thing and (u, rdf_type, xx)), which ignores type of u if cc is not Thing.
This leads to incorrectly reporting errors in cases like this where X is not known to be of type B.
Without the brackets, condition applied as (y, rdf_type, cc) in self.graph or (cc == Thing and (u, rdf_type, xx)), which ignores type of u if cc is not Thing.
This leads to incorrectly reporting errors in cases like this where X is not known to be of type B.
@prefix : http://ex.org/. @prefix owl: http://www.w3.org/2002/07/owl#. @prefix rdfs: http://www.w3.org/2000/01/rdf-schema#.
:B rdfs:subClassOf [ owl:maxQualifiedCardinality 0 ; owl:onProperty :p ; owl:onClass :C ] .
:X :p :Y . :Y a :C .