Browse wiki

Jump to:navigation, search

Auxiliary test inputs	DisjointClasses-002-RDFXML +
Features	DisjointClasses +, ClassAssertion +, Declaration +
Has author	Mike Smith +
Modification dateThis property is a special property in this wiki.	26 May 2009 20:42:11 +
Premise ontology	Prefix( : = <http://example.org/> ) Ontology( Declaration( Class( :Boy ) ) Declaration( Class( :Girl ) ) DisjointClasses( :Boy :Girl ) ClassAssertion( :Boy :Stewie ) ClassAssertion( :Girl :Stewie ) )
Test case author	Mike Smith +
Test case description	Demonstrates a binary disjoint classes axiom and class assertions causing an inconsistency based on example in the Structural Specification and Functional-Style Syntax document.
Test case id	DisjointClasses-002 +
Test case profile	Test:EL +, Test:QL +, 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	EL profile test, QL profile test, RL profile test, InconsistencyTest, Inconsistency form

	No properties link to this page.