Browse wiki
From OWL Test Cases
| Inconsistent-pattern-disjointness |
| Features | DataSomeValuesFrom +, SubClassOf +, DisjointDataProperties +, DatatypeRestriction +, ClassAssertion +, DataPropertyAssertion +, Declaration + |
|---|---|
| Has author | Birte Glimm + |
| Modification dateThis property is a special property in this wiki. | 30 July 2009 13:04:13 + |
| Premise ontology |
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) ) |
| Test case author | Birte Glimm + |
| Test case 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. |
| Test case id | Inconsistent String Pattern with Disjoint Dataproperties + |
| Test case semantics | Test:DIRECT +, Test:RDF-BASED + |
| Test case species | Test:DL +, Test:FULL + |
| Test case status | Test:Proposed + |
| Test case syntax | Test:FUNCTIONAL + |
| Categories | No EL profile test, No QL profile test, No RL profile test, InconsistencyTest, Inconsistency form |
| hide properties that link here |
| No properties link to this page. |
