Re: Semantics questions

From: Peter F. Patel-Schneider (pfps@research.bell-labs.com)
Date: 01/11/01

• Next message: Mike Dean: "DAML+OIL released"
• Previous message: Peter F. Patel-Schneider: "Re: Ready for release"
• In reply to: Lynn Andrea Stein: "Re: Semantics questions"
• Next in thread: Lynn Andrea Stein: "Re: Semantics questions"
• Reply: Lynn Andrea Stein: "Re: Semantics questions"
• Messages sorted by: [ date ] [ thread ] [ subject ] [ author ] [ attachment ]
• Mail actions: [ respond to this message ] [ mail a new topic ]

From: Lynn Andrea Stein <las@ai.mit.edu>
Subject: Re: Semantics questions
Date: Thu, 11 Jan 2001 15:47:43 -0500 (EST)

> Peter F. Patel-Schneider writes:
> > From: Lynn Andrea Stein <las@ai.mit.edu>
> > Subject: Semantics questions
> > Date: Tue, 9 Jan 2001 17:16:45 -0500 (EST)
> > 
> > 
> > > Thus, it seems to me that equivalentTo constrains not just IC but also
> > > IO.
> > >
> > > Also, if samePropertyAs is supposed to be a subPropertyOf
> > > equivalentTo, equivalentTo ought to constrain IR as well.
> > 
> > Actually, equivalentTo has to be semantics-free.  I have changed the
> > semantics document accordingly.
> 
> I don't see how this follows.  Wouldn't it make as much sense to
> change subPropertyOf?
> 
> Lynn

Any other avenue changes the meaning of samePropertyAs and sameClassAs.

peter

• Next message: Mike Dean: "DAML+OIL released"
• Previous message: Peter F. Patel-Schneider: "Re: Ready for release"
• In reply to: Lynn Andrea Stein: "Re: Semantics questions"
• Next in thread: Lynn Andrea Stein: "Re: Semantics questions"
• Reply: Lynn Andrea Stein: "Re: Semantics questions"
• Messages sorted by: [ date ] [ thread ] [ subject ] [ author ] [ attachment ]
• Mail actions: [ respond to this message ] [ mail a new topic ]

This archive was generated by hypermail 2.1.4 : 04/02/02 EST