Browse wiki

From OWL Test Cases

Jump to:navigation, search
Disjoint Props via Disjoint Ranges
Conclusion ontology
Prefix( : = <http://example.org/> )

Ontology(
  Declaration(ObjectProperty(:hasSon))
  Declaration(ObjectProperty(:hasDaughter))

  DisjointObjectProperties( :hasSon :hasDaughter )
)
Features DisjointClasses +, ObjectPropertyRange +, Declaration +, DisjointObjectProperties +
Has author Sebastian Rudolph +
Modification dateThis property is a special property in this wiki. 15 February 2010 16:27:52  +
Premise ontology
Prefix( : = <http://example.org/> )

Ontology(
  Declaration( Class( :Boy ) )
  Declaration( Class( :Girl ) )
  Declaration(ObjectProperty(:hasSon))
  Declaration(ObjectProperty(:hasDaughter))

  DisjointClasses( :Boy :Girl )
  ObjectPropertyRange(:hasSon :Boy)
  ObjectPropertyRange(:hasDaughter :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_Ranges  +
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.
 

 

Enter the name of the page to start browsing from.
Navigation
OWL 2 Informative
OWL 2 Normative
Toolbox