ConsVISor Report
  A service of Versatile Information Systems, Inc.

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

Consistency Verification Summary
Test Outcome: The result of the consistency check of http://www.w3.org/2002/03owlt/description-logic/inconsistent601 at level lite is: unknown.
Messages
Info Warn Error Fatal
TargetConstraint
TargetConstraint
TargetConstraint
TargetConstraint
TargetConstraint
TargetConstraint
TargetConstraint
TargetConstraint
TargetConstraint
TargetConstraint
CardinalityConstraint
CardinalityConstraint
 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 0 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:_anon030 owl:cardinality 0
sym:unasserted 0 rdf:type xsd:nonNegativeInteger
Symptom: TargetConstraint
Message: A range constraint for the property owl:maxCardinality was violated. The resource 0 should be an instance of xsd:nonNegativeInteger.
Axiom Violated: owl_DatatypeProperty
Severity: info
Statements:
Attribute Subject Predicate Object
sym:constraint owl:maxCardinality rdfs:range xsd:nonNegativeInteger
sym:asserted a:_anon001 owl:maxCardinality 0
sym:unasserted 0 rdf:type xsd:nonNegativeInteger
Symptom: TargetConstraint
Message: A range constraint for the property owl:minCardinality was violated. The resource 1 should be an instance of xsd:nonNegativeInteger.
Axiom Violated: owl_DatatypeProperty
Severity: info
Statements:
Attribute Subject Predicate Object
sym:constraint owl:minCardinality rdfs:range xsd:nonNegativeInteger
sym:asserted a:_anon012 owl:minCardinality 1
sym:unasserted 1 rdf:type xsd:nonNegativeInteger
Symptom: TargetConstraint
Message: A range constraint for the property owl:minCardinality was violated. The resource 1 should be an instance of xsd:nonNegativeInteger.
Axiom Violated: owl_DatatypeProperty
Severity: info
Statements:
Attribute Subject Predicate Object
sym:constraint owl:minCardinality rdfs:range xsd:nonNegativeInteger
sym:asserted a:_anon024 owl:minCardinality 1
sym:unasserted 1 rdf:type xsd:nonNegativeInteger
Symptom: TargetConstraint
Message: A range constraint for the property owl:cardinality was violated. The resource 0 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:_anon005 owl:cardinality 0
sym:unasserted 0 rdf:type xsd:nonNegativeInteger
Symptom: TargetConstraint
Message: A range constraint for the property owl:minCardinality was violated. The resource 1 should be an instance of xsd:nonNegativeInteger.
Axiom Violated: owl_DatatypeProperty
Severity: info
Statements:
Attribute Subject Predicate Object
sym:constraint owl:minCardinality rdfs:range xsd:nonNegativeInteger
sym:asserted a:_anon022 owl:minCardinality 1
sym:unasserted 1 rdf:type xsd:nonNegativeInteger
Symptom: TargetConstraint
Message: A range constraint for the property owl:minCardinality was violated. The resource 1 should be an instance of xsd:nonNegativeInteger.
Axiom Violated: owl_DatatypeProperty
Severity: info
Statements:
Attribute Subject Predicate Object
sym:constraint owl:minCardinality rdfs:range xsd:nonNegativeInteger
sym:asserted a:_anon032 owl:minCardinality 1
sym:unasserted 1 rdf:type xsd:nonNegativeInteger
Symptom: TargetConstraint
Message: A range constraint for the property owl:cardinality was violated. The resource 0 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:_anon018 owl:cardinality 0
sym:unasserted 0 rdf:type xsd:nonNegativeInteger
Symptom: TargetConstraint
Message: A range constraint for the property owl:maxCardinality was violated. The resource 0 should be an instance of xsd:nonNegativeInteger.
Axiom Violated: owl_DatatypeProperty
Severity: info
Statements:
Attribute Subject Predicate Object
sym:constraint owl:maxCardinality rdfs:range xsd:nonNegativeInteger
sym:asserted a:_anon028 owl:maxCardinality 0
sym:unasserted 0 rdf:type xsd:nonNegativeInteger
Symptom: TargetConstraint
Message: A range constraint for the property owl:minCardinality was violated. The resource 1 should be an instance of xsd:nonNegativeInteger.
Axiom Violated: owl_DatatypeProperty
Severity: info
Statements:
Attribute Subject Predicate Object
sym:constraint owl:minCardinality rdfs:range xsd:nonNegativeInteger
sym:asserted a:_anon007 owl:minCardinality 1
sym:unasserted 1 rdf:type xsd:nonNegativeInteger
Symptom: CardinalityConstraint
Message: A minimum cardinality constraint with cardinality 1 was not satisfied.
Axiom Violated: owl_minCardinality
Severity: info
Statements:
Attribute Subject Predicate Object
sym:property a:_anon036 owl:onProperty a:P.1
sym:restriction a:_anon036 rdfs:subClassOf a:_anon036
sym:constraint a:_anon036 owl:minCardinality 1
sym:instance a:_anon020 rdf:type a:_anon036
sym:unsatisfied 0 sym:geq 1
Symptom: CardinalityConstraint
Message: A minimum cardinality constraint with cardinality 1 was not satisfied.
Axiom Violated: owl_minCardinality
Severity: info
Statements:
Attribute Subject Predicate Object
sym:property a:_anon032 owl:onProperty a:P.2
sym:restriction a:_anon032 rdfs:subClassOf a:_anon032
sym:constraint a:_anon032 owl:minCardinality 1
sym:instance a:_anon020 rdf:type a:_anon032
sym:unsatisfied 0 sym:geq 1