Browse wiki

From OWL Test Cases

Jump to:navigation, search
Individual-Class Punning vs. ObjectOneOf
Features ObjectOneOf +, SubClassOf +, Declaration +
Has author Markus Krötzsch +
Modification dateThis property is a special property in this wiki. 15 February 2010 17:01:52  +
Nonconclusion ontology
Prefix( : = <http://example.org/> )

Ontology(
  Declaration( Class( :Person ) )
  Declaration( Class( :Lois ) )
  SubClassOf( :Lois  :Person )
)
Premise ontology
Prefix( : = <http://example.org/> )

Ontology(
  Declaration( Class( :Person ) )
  SubClassOf( ObjectOneOf( :Lois ) :Person )
)
Test case author Markus Krötzsch  +
Test case description Tools must not confuse atomic classes with ObjectOneOf expressions that contain a single individual named like that class.
Test case id Individual-Class_Punning_vs._ObjectOneOf  +
Test case lacks QL status  +
Test case profile Test:EL +, Test:RL +
Test case semantics Test:DIRECT +, Test:RDF-BASED +
Test case species Test:DL +, Test:FULL +
Test case syntax Test:FUNCTIONAL +
Categories No status test, EL profile test, RL profile test, NegativeEntailmentTest, Nonentailment form
hide properties that link here 
  No properties link to this page.
 

 

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