Re: Spec doesn't talk about two-valued relationships

Jan Grant wrote:
> Well, you could have an equivalent class to "everything" that was the
> disjoint superclass of "X" and "notX".

Yes, but DAML doesn't seem to have an everything class...

http://www.daml.org/2000/12/daml+oil.daml

There's Thing... would that work?

-- 
Aaron Swartz <me@aaronsw.com>|       The Info Network
  <http://www.aaronsw.com>   |     <http://theinfo.org>
AIM: JediOfPi | ICQ: 33158237| the way you want the web to be

Received on Sunday, 11 March 2001 01:22:21 UTC