- From: Bijan Parsia <bparsia@cs.man.ac.uk>
- Date: Wed, 21 Jan 2009 19:31:33 +0000
- To: W3C OWL Working Group <public-owl-wg@w3.org>
Done with: http://www.w3.org/2007/OWL/wiki/index.php?title=Syntax&oldid=17348 [Bijan Parsia] To: http://www.w3.org/2007/OWL/wiki/Syntax#Keys I added the second sentence: """A key axiom of the form HasKey( owl:Thing OPE ) is similar to the axiom InverseFunctionalProperty( OPE ); the main difference is that the first axiom is applicable only to individuals that are explicitly named in an ontology, while the second axiom is also applicable to individuals whose existence is implied by existential quantification. Another, more minor, difference is that while inverse-functional property is inverse-functional for all assertions using that property, keys can be scoped to assertions involving individuals of a certain class.""" Cheers, Bijan.
Received on Wednesday, 21 January 2009 19:28:10 UTC