ConsVISor Report
A service of Versatile Information Systems, Inc.
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. |
| Symptom: |
CardinalityConstraint |
| Message: |
A minimum cardinality constraint with cardinality 1 was not satisfied. |
| Axiom Violated: |
Owl Axiom 11 |
| 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:maxCardinality was violated. The resource 0 should be an instance of xsd:nonNegativeInteger. |
| Axiom Violated: |
Owl Axiom 28/29 |
| 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 Axiom 28/29 |
| 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 Axiom 28/29 |
| 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:minCardinality was violated. The resource 1 should be an instance of xsd:nonNegativeInteger. |
| Axiom Violated: |
Owl Axiom 28/29 |
| 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 Axiom 12 |
| 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 Axiom 12 |
| 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 Axiom 12 |
| 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 Axiom 28 |
| 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 |
Back to Menu