Browse wiki
From OWL Test Cases
| Disjoint Props via Disjoint Domains |
| Conclusion ontology |
Prefix( : = <http://example.org/> ) Ontology( Declaration(ObjectProperty(:sonOf)) Declaration(ObjectProperty(:daughterOf)) DisjointObjectProperties( :sonOf :daughterOf ) ) |
|---|---|
| Features | DisjointClasses +, ObjectPropertyDomain +, Declaration +, DisjointObjectProperties + |
| Has author | Sebastian Rudolph + |
| Modification dateThis property is a special property in this wiki. | 15 February 2010 16:16:55 + |
| Premise ontology |
Prefix( : = <http://example.org/> ) Ontology( Declaration( Class( :Boy ) ) Declaration( Class( :Girl ) ) Declaration(ObjectProperty(:sonOf)) Declaration(ObjectProperty(:daughterOf)) DisjointClasses( :Boy :Girl ) ObjectPropertyDomain(:sonOf :Boy) ObjectPropertyDomain(:daughterOf :Girl) ) |
| Test case author | Sebastian Rudolph + |
| Test case description | Two properties having disjoint domains are necessarily disjoint themselves. |
| Test case id | Disjoint_Props_via_Disjoint_Domains + |
| Test case lacks | QL status + |
| Test case profile | Test:EL +, Test:RL + |
| Test case semantics | Test:DIRECT +, Test:RDF-BASED + |
| Test case species | Test:DL +, Test:FULL + |
| Test case syntax | Test:FUNCTIONAL + |
| Categories | No status test, EL profile test, RL profile test, PositiveEntailmentTest, Entailment form |
| hide properties that link here |
| No properties link to this page. |
