2.0 Symptom Ontology checked The ontology being checked. The symptoms are the result of consistency checking this ontology. symptom A symptom generated as a result of a consistency check. found Whether the ontology was retrieved. consistency A symptom generated as a result of a consistency check. processingError An error resulting from internal exceptions or from exceeding a limit for the number of resources the checker can handle. generatedBy The tool that was used to check the ontology. owlLevel OWL Language Levels. reference A reference to one of the sources in the standard that specifies an axiom. axiomViolated The axiom that was violated description Description of a symptom severity Severity level of a symptom asserted A statement that was asserted to hold. conflict One of two statements that conflict with each other. constraint A constraint that holds. instance An instance of a class. item An item of a list. property A property of a restriction constraint. restriction A subclass of a restrction. unasserted A statement that was not asserted but should have been. undeclared A resource that was not declared but should have been. unsatisfied A relation between numbers that does not hold. equal An equality relation that should hold between numbers but does not. geq A greater than or equal to relation that should hold between numbers but does not. leq A less than or equal to relation that should hold between numbers but does not. listItem An item of a list. This is a convenience to avoid having to state a large number of statements using rdf:rest in order to specify that a particular resource is one of the elements in a collection. propertyRestriction Restrictions that may be imposed on a property. It is the common superproperty of all restriction properties. Symptom VIS Symptom 1 1 1 PropertyRestrictionFailure VIS PropertyRestrictionFailure 1 1 1 1 1 1 1 1 0 1 MissingFacts VIS MissingFacts 0 0 0 3 1 1 1 0 0 0 ConflictingFacts Two facts conflict with one another. In other words, they cannot both hold and still be consistent. This is the superclass of several other symptom classes that specify more specific kinds of conflict. 0 0 0 0 1 0 0 0 2 0 TargetConstraint Any of several constraints such as domain and range constraints that have exactly one asserted and exactly one unasserted statement. These are usually informational symptoms, but in some cases the symptom is an error when asserting the unasserted statement is not allowed. 0 0 1 1 2 0 0 0 0 0 LiteralConstraint A literal was asserted to have a datatype with which its value is incompatible. 0 0 0 0 1 0 0 0 0 0 IllegalStatement A statement was asserted that is not allowed at the specified language level. 0 0 0 0 1 0 0 0 0 0 EquivalentClass VIS EquivalentClass 0 0 0 1 0 0 0 0 0 0 CardinalityConstraint A cardinality constraint was not satisfied. This includes max, min and equal cardinality constraints. MissingDeclaredValue This is a combination of MissingComponent and MissingDeclaration. The value is not only missing, it also must be declared to be an instance of a particular class. This symptom arises from an owl:someValuesFrom constraint. This symptom is informational only because the necessary statements are entailed. MissingValueDeclaration A particular case of an owl:allValuesFrom constraint was not satisfied. This is informational only as the declaration is entailed. MissingValue A particular case of an owl:hasValue constraint was not satisfied. This is informational only as the statement is entailed. MissingItemDeclaration An item in a collection is required to be an instance of a particular class, but it was not declared to be in this class. This is an informational symptom only because the declarations are entailed. IncompleteUnion A union or enumeration class has an instance that does not occur in the component classes (for a union) or is not one of the enumerators. MissingDeclaration A resource was used in a manner that requires that it be an instance of particular class, but the resource was never explicitly declared to be such an instance. These symptoms are informational only, since the unasserted statement is immediately entailed. However, these symptoms are some of the most useful for catching errors. Spelling errors, for example, will result in a MissingDeclaration symptom. MissingComponent A required resource is missing. For example, rdf:first must always have exactly one value. This is a special case of a minimum cardinality constraint, but this symptom class is not a subclass of CardinalityConstraint. FunctionalityFailure A functional property maps a resource to two resources. If the two resources are different, then this symptom signals an inconsistency. AmbiguousComponent An inverse functional property maps two resources to the same resource. If the two resources are different, then this symptom signals an inconsistency. DisjointnessFailure Two disjoint classes have an instance in common. Axiom Axiom associated with a symptom owl_complementOf Set theoretical complement owl_unionOf Set theoretical union owl_intersectionOf Set theoretical intersection owl_oneOf Enumeration owl_onProperty Properties constrained by a restriction owl_allValuesFrom Restrict the values of a property to be in a class owl_someValuesFrom Require some values of a property to be in a class owl_hasValue Require a property to take a value owl_minCardinality Require that a property take a minimum number of values owl_maxCardinality Require that a property take a maximum number of values owl_cardinality Require that a property take exactly a specified number of values owl_Class Set theoretical membership in a set owl_disjointWith Set theoretical disjointness owl_equivalentClass Set theoretical equivalence of sets rdfs_subClassOf Set theoretical subset relation owl_DatatypeProperty A datatype property has only literal values. owl_ObjectProperty An object property has only individuals as values. owl_OntologyProperty Properties of ontologies owl_equivalentProperty Set theoretical equivalence of properties rdfs_subPropertyOf Set theoretical equivalence of properties owl_sameAs Paramodulation property owl_differentFrom Two resources are different. owl_imports Ontology import owl_DataRange A data range consists of literals. owl_Nothing Set theoretical empty set owl_Restriction Restrictions should be on exactly one property and have exactly one constraint. owl_AnnotationProperty Metaresources cannot participate in statements except for annotations. owl_Thing Set theoretical universal set owl_annotation Annotations owl_inverseOf Set theoretical transpose operation owl_FunctionalProperty Set theoretical partial function owl_InverseFunctionalProperty Set theoretical transpose partial function owl_TransitiveProperty Transitive relation owl_SymmetricProperty Symmetric relation dl_separation Pairwise disjointness of vocabularies. dl_type An instance of a class cannot also be a class, except for some built-in classes. dl_subPropertyOf Object and datatype properties cannot be related by subPropertyOf. dl_Class User-defined classes must be of type owl:Class. dl_AnnotationProperty Annotation properties cannot be subproperties, superproperties, inverses, ... dl_sameAs Only named individuals can be declared to be the same. dl_differentFrom Only named individuals can be declared to be different. dl_TransitiveProperty Transitive properties may not have cardinality constraints. lite_domain Anonymous domain constraint lite_range Anonymous and non-restriction range constraint lite_subClassOf Anonymous subclass lite_superClassOf Anonymous and non-restriction superclass lite_allValuesFrom All values from constraint on anonymous class lite_cardinality Cardinality constraint other than 0 or 1 lite_complementOf Complements lite_DataRange Data ranges lite_disjointWith Disjoint lite_equivalentClass Anonymous equivalent class lite_equivalentProperty Anonymous, non-restriction and non-intersection equivalent class lite_hasValue Has value restriction lite_intersectionOf Anonymous, unnamed, intersection component lite_trivialIntersection Empty or single element intersection lite_oneOf Enumeration lite_someValuesFrom Anonymous some values from restriction lite_unionOf Union rdfs_domain Property domain rdfs_range Property range rdfs_Literal Literals rdfs_List Lists misc_incompatibleWith Backward compatible conflicts with incompatible. misc_Ontology Ontology should be a namespace. misc_Property Whether Property and Class are disjoint for OWL Full is not known. misc_Container Whether Containers must be one of Alt, Seq or Bag is not known. misc_ContainerMembershipProperty Whether container membership properties can be used outside a container is not known. misc_Statement Statement semantics is not known. misc_predicate Predicate semantics is not known. Severity Severity of a symptom info Information only. No effect on consistency. warn Warning message. Could be a symptom of inconsistency. error Error message. Usually indicates an inconsistency. fatal Fatal error. Processing could not occur normally.