Case DisjointnessFailure=RDF-Error 1 An example of a inconsistent ontology (lines 41-42: the classes Operetta and Opera were declared to be disjoint, but they have a common instance: Tosca.) Also an RDF error.