ConsVISor Report
  A service of Versatile Information Systems, Inc.

For http://www.w3.org/2002/03owlt/description-logic/consistent908

Consistency Verification Summary
Test Outcome: The result of the consistency check of http://www.w3.org/2002/03owlt/description-logic/consistent908 at level dl is: consistent.
Messages
Info Warn Error Fatal
TargetConstraint
TargetConstraint
TargetConstraint
 No warning messages! No error messages! No fatal error messages!
Consistency Verification Detail
Symptom: TargetConstraint
Message: A range constraint for the property owl:cardinality was violated. The resource 3 should be an instance of xsd:nonNegativeInteger.
Axiom Violated: owl_DatatypeProperty
Severity: info
Statements:
Attribute Subject Predicate Object
sym:constraint owl:cardinality rdfs:range xsd:nonNegativeInteger
sym:asserted a:_anon006 owl:cardinality 3
sym:unasserted 3 rdf:type xsd:nonNegativeInteger
Symptom: TargetConstraint
Message: A range constraint for the property owl:cardinality was violated. The resource 2 should be an instance of xsd:nonNegativeInteger.
Axiom Violated: owl_DatatypeProperty
Severity: info
Statements:
Attribute Subject Predicate Object
sym:constraint owl:cardinality rdfs:range xsd:nonNegativeInteger
sym:asserted a:_anon001 owl:cardinality 2
sym:unasserted 2 rdf:type xsd:nonNegativeInteger
Symptom: TargetConstraint
Message: A range constraint for the property owl:cardinality was violated. The resource 5 should be an instance of xsd:nonNegativeInteger.
Axiom Violated: owl_DatatypeProperty
Severity: info
Statements:
Attribute Subject Predicate Object
sym:constraint owl:cardinality rdfs:range xsd:nonNegativeInteger
sym:asserted a:_anon003 owl:cardinality 5
sym:unasserted 5 rdf:type xsd:nonNegativeInteger