Browse wiki

Jump to:navigation, search

Auxiliary test inputs	New-Feature-AsymmetricProperty-001-RDFXML +
Features	AsymmetricObjectProperty +, ObjectPropertyAssertion +, Declaration +
Has author	Mike Smith +
Modification dateThis property is a special property in this wiki.	13 May 2009 12:49:13 +
Premise ontology	Prefix( : = <http://example.org/> ) Ontology( Declaration( ObjectProperty( :parentOf ) ) AsymmetricObjectProperty( :parentOf ) ObjectPropertyAssertion( :parentOf :Peter :Stewie ) ObjectPropertyAssertion( :parentOf :Stewie :Peter ) )
Test case author	Mike Smith +
Test case description	Demonstrates use of an asymmetric object property axiom to cause a trivial inconsistency based on the example in the Structural Specification and Functional-Style Syntax document.
Test case id	New-Feature-AsymmetricProperty-001 +
Test case profile	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/#Asymmetric_Object_Properties +
Test case status	Test:Approved +
Test case syntax	Test:FUNCTIONAL +
Categories	No EL profile test, QL profile test, RL profile test, InconsistencyTest, Inconsistency form

	No properties link to this page.