ConsVISor Report
A service of Versatile Information Systems, Inc.
| Consistency Verification Summary |
| Test Outcome: |
The result of the consistency check of http://www.w3.org/2002/03owlt/description-logic/consistent906 at level dl is: unknown. |
| Symptom: |
TargetConstraint |
| Message: |
A range constraint for the property owl:cardinality was violated. The resource 20 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:_anon002 |
owl:cardinality |
20 |
| sym:unasserted |
20 |
rdf:type |
xsd:nonNegativeInteger |
| Symptom: |
TargetConstraint |
| Message: |
A range constraint for the property owl:cardinality was violated. The resource 30 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 |
30 |
| sym:unasserted |
30 |
rdf:type |
xsd:nonNegativeInteger |
| Symptom: |
TargetConstraint |
| Message: |
A range constraint for the property owl:cardinality was violated. The resource 600 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:_anon004 |
owl:cardinality |
600 |
| sym:unasserted |
600 |
rdf:type |
xsd:nonNegativeInteger |
| Symptom: |
CardinalityConstraint |
| Message: |
A cardinality constraint was not satisfied. |
| Axiom Violated: |
owl_cardinality |
| Severity: |
info |
| Statements: |
| Attribute | Subject | Predicate | Object |
| sym:property |
a:_anon002 |
owl:onProperty |
a:invP-1-to-N |
| sym:restriction |
a:only-d |
rdfs:subClassOf |
a:_anon002 |
| sym:constraint |
a:_anon002 |
owl:cardinality |
20 |
| sym:instance |
a:d |
rdf:type |
a:only-d |
| sym:unsatisfied |
0 |
sym:equal |
20 |
| Symptom: |
TargetConstraint |
| Message: |
A domain constraint for the property a:p-N-to-1 was violated. The resource a:_anon011 should be an instance of a:cardinality-N. |
| Axiom Violated: |
owl_DatatypeProperty |
| Severity: |
info |
| Statements: |
| Attribute | Subject | Predicate | Object |
| sym:constraint |
a:p-N-to-1 |
rdfs:domain |
a:cardinality-N |
| sym:asserted |
a:_anon011 |
a:p-N-to-1 |
a:d |
| sym:unasserted |
a:_anon011 |
rdf:type |
a:cardinality-N |
| Symptom: |
CardinalityConstraint |
| Message: |
A cardinality constraint was not satisfied. |
| Axiom Violated: |
owl_cardinality |
| Severity: |
info |
| Statements: |
| Attribute | Subject | Predicate | Object |
| sym:property |
a:_anon007 |
owl:onProperty |
a:invQ-1-to-M |
| sym:restriction |
a:_anon007 |
rdfs:subClassOf |
a:_anon007 |
| sym:constraint |
a:_anon007 |
owl:cardinality |
30 |
| sym:instance |
a:_anon011 |
rdf:type |
a:_anon007 |
| sym:unsatisfied |
0 |
sym:equal |
30 |
| Symptom: |
TargetConstraint |
| Message: |
A domain constraint for the property a:q-M-to-1 was violated. The resource a:_anon012 should be an instance of a:cardinality-N-times-M. |
| Axiom Violated: |
owl_DatatypeProperty |
| Severity: |
info |
| Statements: |
| Attribute | Subject | Predicate | Object |
| sym:constraint |
a:q-M-to-1 |
rdfs:domain |
a:cardinality-N-times-M |
| sym:asserted |
a:_anon012 |
a:q-M-to-1 |
a:_anon011 |
| sym:unasserted |
a:_anon012 |
rdf:type |
a:cardinality-N-times-M |