New-Feature-Keys-006
From OWL Test Cases
| [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 | http://www.w3.org/TR/owl2-syntax/#Keys |
| 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( : = <http://example.org/> )
Ontology( 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 |
