Browse wiki

Jump to:navigation, search

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

	No properties link to this page.