Approved Core BLD PRD http://www.w3.org/ns/entailment/OWL-Direct Test that violation of separation of the (individual and data value) vocabulary leads to inconsistency The same constant cannot be both an individual and a data value; this leads to inconsistency, and thus "a"="b" is entailed. OWL_Combination_Vocabulary_Separation_Inconsistency_1-import001.rdf http://www.w3.org/2005/rules/test/repository/tc/OWL_Combination_Vocabulary_Separation_Inconsistency_1/OWL_Combination_Vocabulary_Separation_Inconsistency_1-import001 . @prefix rdf: . @prefix owl: . _:o rdf:type owl:Ontology . ex:myiri rdf:type ex:A . ]]> OWL_Combination_Vocabulary_Separation_Inconsistency_1-premise.rif http://www.w3.org/2005/rules/test/repository/tc/OWL_Combination_Vocabulary_Separation_Inconsistency_1/OWL_Combination_Vocabulary_Separation_Inconsistency_1-premise.rif ) Prefix(xs ) Prefix(rdf ) Import( ) Group ( ex:myiri[rdf:type -> xs:string] ) ) ]]> OWL_Combination_Vocabulary_Separation_Inconsistency_1-conclusion.rif http://www.w3.org/2005/rules/test/repository/tc/OWL_Combination_Vocabulary_Separation_Inconsistency_1/OWL_Combination_Vocabulary_Separation_Inconsistency_1-conclusion.rif