W3C home > Mailing lists > Public > public-owl-wg@w3.org > January 2009

ACTION-268

From: Bijan Parsia <bparsia@cs.man.ac.uk>
Date: Wed, 21 Jan 2009 19:31:33 +0000
Message-Id: <26EDBF41-3F18-46E1-950E-83F20991DC80@cs.man.ac.uk>
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 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Wednesday, 21 January 2009 19:28:11 GMT