Approved Core BLD PRD http://www.w3.org/ns/entailment/OWL-Direct Test that violation of separation of the (object and datatype value property) vocabulary leads to inconsistency The same property cannot have both individuals and data values in its range. In particular, since ex:hasChild is an owl:ObjectProperty, there may be no concrete data values (e.g., strings) in its range. Since in this case, there is a data value ("John") in its range, the combination is inconsistent, and an inconsistent atom ("a"="b") is derived. OWL_Combination_Vocabulary_Separation_Inconsistency_2-import001.rdf http://www.w3.org/2005/rules/test/repository/tc/OWL_Combination_Vocabulary_Separation_Inconsistency_2/OWL_Combination_Vocabulary_Separation_Inconsistency_2-import001 . @prefix rdf: . @prefix owl: . _:o rdf:type owl:Ontology . ex:hasChild rdf:type owl:ObjectProperty . ]]> OWL_Combination_Vocabulary_Separation_Inconsistency_2-premise.rif http://www.w3.org/2005/rules/test/repository/tc/OWL_Combination_Vocabulary_Separation_Inconsistency_2/OWL_Combination_Vocabulary_Separation_Inconsistency_2-premise.rif ) Import( ) Group ( ex:myiri[ex:hasChild -> "John"] ) ) ]]> OWL_Combination_Vocabulary_Separation_Inconsistency_2-conclusion.rif http://www.w3.org/2005/rules/test/repository/tc/OWL_Combination_Vocabulary_Separation_Inconsistency_2/OWL_Combination_Vocabulary_Separation_Inconsistency_2-conclusion.rif