Browse wiki

From OWL Test Cases

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( : = <> )

  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  +
Test case status Test:Approved +
Test case syntax Test:FUNCTIONAL +
Categories EL profile test, No QL profile test, RL profile test, InconsistencyTest, Inconsistency form
hide properties that link here 
  No properties link to this page.


Enter the name of the page to start browsing from.
OWL 2 Informative
OWL 2 Normative