ACTION-268

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.