ConsVISor Report
  A service of Versatile Information Systems, Inc.

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

Consistency Verification Summary
Test Outcome: The result of the consistency check of http://www.w3.org/2002/03owlt/description-logic/inconsistent644 at level lite is: inconsistent.
Messages
Info Warn Error Fatal
CardinalityConstraint
TargetConstraint
TargetConstraint
TargetConstraint
TargetConstraint
 No warning messages! CardinalityConstraint
CardinalityConstraint
CardinalityConstraint
 No fatal error messages!
Consistency Verification Detail
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:_anon001 owl:onProperty a:P.2
sym:restriction a:_anon001 rdfs:subClassOf a:_anon001
sym:constraint a:_anon001 owl:minCardinality 1
sym:instance a:_anon009 rdf:type a:_anon001
sym:unsatisfied 0 sym:geq 1
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:_anon007 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:_anon001 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:_anon003 owl:minCardinality 1
sym:unasserted 1 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:_anon005 owl:maxCardinality 0
sym:unasserted 0 rdf:type xsd:nonNegativeInteger
Symptom: CardinalityConstraint
Message: A cardinality constraint with cardinality 0 was not satisfied.
Axiom Violated: owl_cardinality
Severity: error
Statements:
Attribute Subject Predicate Object
sym:property a:_anon007 owl:onProperty a:P.2
sym:restriction a:_anon007 rdfs:subClassOf a:_anon007
sym:constraint a:_anon007 owl:cardinality 0
sym:instance a:_anon009 rdf:type a:_anon007
sym:unsatisfied 1 sym:equal 0
Symptom: CardinalityConstraint
Message: A cardinality constraint with cardinality 0 was not satisfied.
Axiom Violated: owl_cardinality
Severity: error
Statements:
Attribute Subject Predicate Object
sym:property a:_anon007 owl:onProperty a:P.2
sym:restriction a:_anon007 rdfs:subClassOf a:_anon007
sym:constraint a:_anon007 owl:cardinality 0
sym:instance a:_anon009 rdf:type a:_anon007
sym:unsatisfied 1 sym:equal 0
Symptom: CardinalityConstraint
Message: A cardinality constraint with cardinality 0 was not satisfied.
Axiom Violated: owl_cardinality
Severity: error
Statements:
Attribute Subject Predicate Object
sym:property a:_anon007 owl:onProperty a:P.2
sym:restriction oiled:d1.comp rdfs:subClassOf a:_anon007
sym:constraint a:_anon007 owl:cardinality 0
sym:instance a:_anon009 rdf:type oiled:d1.comp
sym:unsatisfied 1 sym:equal 0