ConsVISor Report
  A service of Versatile Information Systems, Inc.

For http://www.w3.org/2002/03owlt/miscellaneous/inconsistent203

Consistency Verification Summary
Test Outcome: The result of the consistency check of http://www.w3.org/2002/03owlt/miscellaneous/inconsistent203 at level lite is: inconsistent.
Messages
Info Warn Error Fatal
No info messages! No warning messages! FunctionalityFailure
FunctionalityFailure
No fatal error messages!
Consistency Verification Detail
Symptom: FunctionalityFailure
Message: A resource, a:_anon001, is mapped to two values, <b:br/> <b:img xmlns="" alt="Venn diagram" longdesc="vn.html" src="vn.png" title="Venn"/> and <b:br/> <b:img xmlns="" alt="Venn diagram" longdesc="vn.html" src="vn.png" title="Venn"/> by the functional property a:fp.
Axiom Violated: owl_DatatypeProperty
Severity: error
Statements:
Attribute Subject Predicate Object
sym:asserted a:fp rdf:type owl:FunctionalProperty
sym:conflict a:_anon001 a:fp <b:br/> <b:img xmlns="" alt="Venn diagram" longdesc="vn.html" src="vn.png" title="Venn"/>
sym:conflict a:_anon001 a:fp <b:br/> <b:img xmlns="" alt="Venn diagram" longdesc="vn.html" src="vn.png" title="Venn"/>
Symptom: FunctionalityFailure
Message: A resource, a:_anon001, is mapped to two values, <b:br/> <b:img xmlns="" alt="Venn diagram" longdesc="vn.html" src="vn.png" title="Venn"/> and <b:br/> <b:img xmlns="" alt="Venn diagram" longdesc="vn.html" src="vn.png" title="Venn"/> by the functional property a:fp.
Axiom Violated: owl_DatatypeProperty
Severity: error
Statements:
Attribute Subject Predicate Object
sym:asserted a:fp rdf:type owl:FunctionalProperty
sym:conflict a:_anon001 a:fp <b:br/> <b:img xmlns="" alt="Venn diagram" longdesc="vn.html" src="vn.png" title="Venn"/>
sym:conflict a:_anon001 a:fp <b:br/> <b:img xmlns="" alt="Venn diagram" longdesc="vn.html" src="vn.png" title="Venn"/>