Re: a problem with comprehensive entailments

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