APPROVED Jeremy J. Carroll This shows that an OWL consistency checker which does not support the datatype rdf:XMLLiteral should not detect inconsistencies depending on it. This file is inconsistent with a datatype theory which supports rdf:XMLLiteral, but consistent in this test, which excludes such support.