From OWL Test Cases

Jump to:navigation, search
[Download OWL]
Test Id New-Feature-Keys-006
Description Demonstrates that a key axiom does not make all properties used in it functional, but these properties may be made functional with other axioms. Based on an example in the Structural Specification and Functional-Style Syntax document.
Status Approved (2009-07-15, when passed by 2 implementations) (proposed 2009-04-28)
Author Mike Smith
Original syntax Functional
Syntactic Species/Profile OWL 2 DL (EL, not QL, RL)
Semantics This test is applicable under both direct and RDF-based semantics.
Specification Reference
Inconsistent ontology (download)

Convert syntax: RDF, XML, Manchester      This informative conversion will be incorrect for OWL 2 Full. info.pngConversions are provided by the OWL Syntax Converter which tries to "repair" OWL 2 Full inputs to become DL.

Prefix( : = <> )

  Declaration( Class( :GriffinFamilyMember ) )
  Declaration( DataProperty( :hasName ) )

  HasKey( :GriffinFamilyMember () ( :hasName ) )

  DataPropertyAssertion( :hasName :Peter "Peter" )
  DataPropertyAssertion( :hasName :Peter "Kichwa-Tembo" )
  ClassAssertion( :GriffinFamilyMember :Peter )

  FunctionalDataProperty( :hasName )
Imported ontologies none
Auxiliary syntax documents New-Feature-Keys-006-RDFXML
OWL 2 Informative
OWL 2 Normative