Duh. Sorry. It is a functional property. I explained why myself at length here:
<http://www.imc.org/atom-syntax/mail-archive/msg12067.html>
All the rest can arguably be thought to be overspecification.
Henry Story
On 1 Feb 2005, at 17:06, Henry Story wrote:
Yes, the id is an inverse functional property relating an Entry to a URI/IRI.
It is really just as simple as that. See the Ontology at:
<http://www.intertwingly.net/wiki/pie/AtomOWL>
All the rest is over specification.