Browse wiki

From OWL Test Cases

Jump to:navigation, search
DisjointClasses-001
Auxiliary test inputs DisjointClasses-001-RDFXML +
Conclusion ontology
Prefix( : = <http://example.org/> )

Ontology(
  Declaration( Class( :Girl ) )

  ClassAssertion( ObjectComplementOf( :Girl ) :Stewie )
)
Features DisjointClasses +, ClassAssertion +, Declaration +, ObjectComplementOf +
Has author Mike Smith +
Modification dateThis property is a special property in this wiki. 26 May 2009 20:41:53  +
Premise ontology
Prefix( : = <http://example.org/> )

Ontology(
  Declaration( Class( :Boy ) )
  Declaration( Class( :Girl ) )

  DisjointClasses( :Boy :Girl )
  ClassAssertion( :Boy :Stewie )
)
Test case author Mike Smith  +
Test case description Demonstrates a binary disjoint classes axiom based on example in the Structural Specification and Functional-Style Syntax document.
Test case id DisjointClasses-001  +
Test case profile Test:RL +
Test case semantics Test:DIRECT +, Test:RDF-BASED +
Test case species Test:DL +, Test:FULL +
Test case specref http://www.w3.org/TR/owl2-syntax/#Disjoint_Classes  +
Test case status Test:Approved +
Test case syntax Test:FUNCTIONAL +
Categories No EL profile test, No QL 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