Approved BLD http://www.w3.org/ns/entailment/OWL-Direct Test that violation of separation of the individual and data value domains leads to inconsistency The rule requires every element, including every concrete data value, to be a member of the class ex:A. However, OWL-Direct semantics requires every member of ex:A to not be a concrete data value. Therefore, the combination is inconsistent, and an inconsistent condition formula can be derived. Individual-Data_Separation_Inconsistency-import001.rdf http://www.w3.org/2005/rules/test/repository/tc/Individual-Data_Separation_Inconsistency/Individual-Data_Separation_Inconsistency-import001 . @prefix rdf: . @prefix rdfs: . @prefix owl: . _:o rdf:type owl:Ontology . ex:A rdfs:subClassOf ex:B . ]]> Individual-Data_Separation_Inconsistency-premise.rif http://www.w3.org/2005/rules/test/repository/tc/Individual-Data_Separation_Inconsistency/Individual-Data_Separation_Inconsistency-premise.rif ) Prefix(ex ) Import( ) Group ( Forall ?x (?x[rdf:type -> ex:A]) ) ) ]]> Individual-Data_Separation_Inconsistency-conclusion.rif http://www.w3.org/2005/rules/test/repository/tc/Individual-Data_Separation_Inconsistency/Individual-Data_Separation_Inconsistency-conclusion.rif