@prefix : <http://omv.ontoware.org/2005/05/ontology#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
:isConsistentAccordingToReasoner a owl:DatatypeProperty ;
rdfs:comment "Indicates whether a reasoner has classified the ontology correctly. The definition of consistency is independent of a reasoner. The assumption is that the reasoner used for consistency checking operates correctly, i.e. according to the well-defined semantics of the ontology language"^^xsd:string ;
rdfs:domain :Ontology ;
rdfs:range xsd:boolean .