ConsVISor Report
  A service of Versatile Information Systems, Inc.

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

Consistency Verification Summary
Test Outcome: The result of the consistency check of http://www.w3.org/2002/03owlt/description-logic/inconsistent643 at level lite is: inconsistent.
Messages
Info Warn Error Fatal
CardinalityConstraint
TargetConstraint
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:_anon003 owl:onProperty a:P.1
sym:restriction a:_anon003 rdfs:subClassOf a:_anon003
sym:constraint a:_anon003 owl:minCardinality 1
sym:instance a:_anon011 rdf:type a:_anon003
sym:unsatisfied 0 sym:geq 1
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: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:_anon009 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:_anon005 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:_anon001 owl:minCardinality 1
sym:unasserted 1 rdf:type xsd:nonNegativeInteger
Symptom: CardinalityConstraint
Message: A maximum cardinality constraint with cardinality 0 was not satisfied.
Axiom Violated: owl_maxCardinality
Severity: error
Statements:
Attribute Subject Predicate Object
sym:property a:_anon005 owl:onProperty a:P.1
sym:restriction a:_anon005 rdfs:subClassOf a:_anon005
sym:constraint a:_anon005 owl:maxCardinality 0
sym:instance a:_anon011 rdf:type a:_anon005
sym:unsatisfied 1 sym:leq 0
Symptom: CardinalityConstraint
Message: A maximum cardinality constraint with cardinality 0 was not satisfied.
Axiom Violated: owl_maxCardinality
Severity: error
Statements:
Attribute Subject Predicate Object
sym:property a:_anon005 owl:onProperty a:P.1
sym:restriction oiled:d rdfs:subClassOf a:_anon005
sym:constraint a:_anon005 owl:maxCardinality 0
sym:instance a:_anon011 rdf:type oiled:d
sym:unsatisfied 1 sym:leq 0
Symptom: CardinalityConstraint
Message: A maximum cardinality constraint with cardinality 0 was not satisfied.
Axiom Violated: owl_maxCardinality
Severity: error
Statements:
Attribute Subject Predicate Object
sym:property a:_anon005 owl:onProperty a:P.1
sym:restriction a:_anon005 rdfs:subClassOf a:_anon005
sym:constraint a:_anon005 owl:maxCardinality 0
sym:instance a:_anon011 rdf:type a:_anon005
sym:unsatisfied 1 sym:leq 0
Symptom: TargetConstraint
Message: The DatatypeProperty a:P.1 maps the resource a:_anon011 to a:_anon012 which is not a literal.
Axiom Violated: owl_DatatypeProperty
Severity: info
Statements:
Attribute Subject Predicate Object
sym:constraint a:P.1 rdf:type owl:DatatypeProperty
sym:asserted a:_anon011 a:P.1 a:_anon012
sym:unasserted a:_anon012 rdf:type rdfs:Literal