Re: LANG: closing issue 4.6 (was Re: ADMIN: Draf agenda for July 25 telecon)

I previously thought that I was the only one using equivalentTo but 
not the sameXXXas, obviously I was wrong, and at least the chat 
discussion seems to favor the provision of equivalentTo.

I therefore will suggest a different CLOSING motion:

Issue 4.6 EquivalentTo

The decision is for OWL to provide the same syntactic forms as were 
provided in DAML+OIL - this includes equivalentTo, sameClassAs, 
sameInstanceAs, and samePropertyAs.   However, depending on the 
decision for issue 5.19 (Classes as Instances), some constraints may 
be placed as to what things can be asserted to be equivalentTo each 
other without violating semantic constraints.

Professor James Hendler
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)

Received on Wednesday, 24 July 2002 22:45:51 UTC