W3C home > Mailing lists > Public > www-webont-wg@w3.org > May 2002

Re: a problem with comprehensive entailments

From: Jonathan Borden <jonathan@openhealth.org>
Date: Mon, 6 May 2002 13:14:14 -0400
Message-ID: <006301c1f521$72c89b40$0a2e249b@nemc.org>
To: "WebOnt WG" <www-webont-wg@w3.org>
Jos,

> >
> > Does your use of nested contexts and unasserted triples support the need
> > for this mechanism in OWL, as a solution to Peter's most recent paradox?
> > (this is turning into the Patel-Schneider paradox -hopefully finite-
> > set)
> >
> > I am reading this as yes, but want to confirm.
>
> I would say yes
> but what is that -hopefully finite- set?
>

Just a little joke, an _infinite_ set of paradoxes would be a bad thing I
imagine -- it would probably take an infinite amount of time to resolve :-))

Jonathan
Received on Monday, 6 May 2002 13:18:17 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 7 December 2009 10:57:50 GMT