Inconsistent-pattern-disjointness
From OWL Test Cases
Revision as of 13:04, 30 July 2009 by Markus Krötzsch (Talk | contribs)
| [Download OWL] | |
| Test Id | Inconsistent String Pattern with Disjoint Dataproperties |
|---|---|
| Description | The data properties dp1 and dp2 are disjoint. The strings ab and ac are dp1 fillers for the individual a and can, thus, not be used as dp2 fillers for a. The pattern a(b|c), however, admits only ab and ac as values, which makes the ontology inconsistent. |
| Status | Proposed (2009-05-26) |
| Author | Birte Glimm |
| Original syntax | Functional |
| Syntactic Species/Profile | OWL 2 DL (not EL, not QL, not RL) |
| Semantics | This test is applicable under both direct and RDF-based semantics. |
| Inconsistent ontology (download)
Convert syntax: RDF, XML, Manchester This informative conversion will be incorrect for OWL 2 Full. info.pngConversions are provided by the OWL Syntax Converter which tries to "repair" OWL 2 Full inputs to become DL. | |
| Prefix(:=<http://example.org/>)
Prefix(xsd:=<http://www.w3.org/2001/XMLSchema#>) Ontology( Declaration(NamedIndividual(:a)) Declaration(DataProperty(:dp1)) Declaration(DataProperty(:dp2)) Declaration(Class(:A)) DisjointDataProperties(:dp1 :dp2) DataPropertyAssertion(:dp1 :a "ab"^^xsd:string) DataPropertyAssertion(:dp1 :a "ac"^^xsd:string) SubClassOf(:A DataSomeValuesFrom(:dp2 DatatypeRestriction( xsd:string xsd:pattern "a(b|c)"^^xsd:string) ) ) ClassAssertion(:A :a) ) | |
| Imported ontologies | none |
