Browse wiki

Jump to:navigation, search

Auxiliary test inputs	New-Feature-IrreflexiveProperty-001-RDFXML +
Features	IrreflexiveObjectProperty +, ObjectPropertyAssertion +, Declaration +
Has author	Mike Smith +
Modification dateThis property is a special property in this wiki.	20 May 2009 21:33:57 +
Premise ontology	Prefix( : = <http://example.org/> ) Ontology( Declaration( ObjectProperty( :marriedTo ) ) IrreflexiveObjectProperty( :marriedTo ) ObjectPropertyAssertion( :marriedTo :Peter :Peter ) )
Test case author	Mike Smith +
Test case description	Demonstrates use of an irreflexive 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-IrreflexiveProperty-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/#Irreflexive_Object_Properties +
Test case status	Test:Approved +
Test case syntax	Test:FUNCTIONAL +
Categories	No EL profile test, No QL profile test, RL profile test, InconsistencyTest, Inconsistency form

	No properties link to this page.