Error Ontology
The Error Ontology Making contraints on ontology resources
The Error Ontology is an unit test that allow to produce an inconsistent model if a particular (and incorrect) situation happens. It works by means of a data property, "hasError" that denies its usage for ant resource. In fact, by defining its domain as "all those resource that don't have any hasErrorDescription assertion", a resource that asserts having an error makes the ontology inconsistent.
This work is distributed under a Creative Commons Attribution Licence (http://creativecommons.org/licenses/by/3.0/).
has error
A data property linking a resource that contains a logical error (which results in it belonging to the class owl:Nothing, therefore making the model inconsistent) to a textual description of that error.
It describes in some way, usually in natural language, which kind of error results from this resource.