Resolution on issue 4.6 - equivalentTo:

The following, from the IRC log is the wording proposed for the 
resolution (accepted) which closed issue 4.6

Resolved by consensus: We will have owl: sameClassAs, samePropertyAs, 
SameIndividualAs and SameAs which is a synonym for sameIndividualAs. 
The ref/guide documents will include a note that owl:sameAs is 
typically used when it is not known whether the types are the same.

(Note that this was the ammendment to Peter's proposal - so the 
semantics are as in that document)

I consider my ACTION to mail this to WebOnt DONE. - JH
-- 
Professor James Hendler				  hendler@cs.umd.edu
Director, Semantic Web and Agent Technologies	  301-405-2696
Maryland Information and Network Dynamics Lab.	  301-405-6707 (Fax)
Univ of Maryland, College Park, MD 20742	  240-731-3822 (Cell)
http://www.cs.umd.edu/users/hendler

Received on Thursday, 7 November 2002 15:08:46 UTC