ConsVISor Report
A service of Versatile Information Systems, Inc.
| Consistency Verification Summary | |||
| Test Outcome: | The result of the consistency check of http://www.w3.org/2002/03owlt/I3.2/bad002 at level lite is: inconsistent. | ||
| Messages | |||
| Info | Warn | Error | Fatal |
| MissingComponent TargetConstraint MissingDeclaration MissingDeclaration |
No warning messages! | IncompleteUnion |
No fatal error messages! |
| Consistency Verification Detail | |||
| Symptom: | MissingComponent |
| Message: | A restriction has no constraints. |
| Axiom Violated: | Owl Axiom 43 |
| Severity: | info |
| Statements: | |||
| Attribute | Subject | Predicate | Object |
| sym:asserted | a:_anon001 | rdf:type | owl:Restriction |
| sym:unasserted | a:_anon001 | sym:unspecifiedConstraint | sym:unspecifiedEntity |
| Symptom: | TargetConstraint |
| Message: | A range constraint for the property owl:onProperty was violated. The resource a:exampleProp should be an instance of rdf:Property. |
| Axiom Violated: | Owl Axiom 28/29 |
| Severity: | info |
| Statements: | |||
| Attribute | Subject | Predicate | Object |
| sym:constraint | owl:onProperty | rdfs:range | rdf:Property |
| sym:asserted | a:_anon001 | owl:onProperty | a:exampleProp |
| sym:unasserted | a:exampleProp | rdf:type | rdf:Property |
| Symptom: | MissingDeclaration |
| Message: | The resource owl:maxCardinalityQ was used as a predicate linking a:_anon001 to 1, but was not declared to be a property. |
| Axiom Violated: | Owl Axiom 87 |
| Severity: | info |
| Statements: | |||
| Attribute | Subject | Predicate | Object |
| sym:asserted | a:_anon001 | owl:maxCardinalityQ | 1 |
| sym:unasserted | owl:maxCardinalityQ | rdf:type | rdf:Property |
| Symptom: | MissingDeclaration |
| Message: | The resource owl:hasClassQ was used as a predicate linking a:_anon001 to a:exampleClass, but was not declared to be a property. |
| Axiom Violated: | Owl Axiom 87 |
| Severity: | info |
| Statements: | |||
| Attribute | Subject | Predicate | Object |
| sym:asserted | a:_anon001 | owl:hasClassQ | a:exampleClass |
| sym:unasserted | owl:hasClassQ | rdf:type | rdf:Property |
| Symptom: | IncompleteUnion |
| Message: | A property a:exampleProp is not an object, datatype or annotation property. |
| Axiom Violated: | Owl Axiom 51 |
| Severity: | error |
| Statements: | |||
| Attribute | Subject | Predicate | Object |
| sym:asserted | a:exampleProp | rdf:type | rdf:Property |
| sym:unasserted | a:exampleProp | rdf:type | owl:DatatypeProperty |
| sym:unasserted | a:exampleProp | rdf:type | owl:ObjectProperty |
| sym:unasserted | a:exampleProp | rdf:type | owl:AnnotationProperty |