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

Re: yet another non-entailment (was Re: another revision of semantics document)

From: Peter F. Patel-Schneider <pfps@research.bell-labs.com>
Date: Wed, 21 Aug 2002 14:55:30 -0400
To: jonathan@openhealth.org
Cc: www-webont-wg@w3.org
Message-Id: <20020821145530A.pfps@research.bell-labs.com>

From: "Jonathan Borden" <jonathan@openhealth.org>
Subject: Re: yet another non-entailment (was Re: another revision of semantics  document)
Date: Wed, 21 Aug 2002 14:52:46 -0400

> Peter F. Patel-Schneider wrote:
> >
> > John rdf:type owl:Thing .
> >
> > does not entail
> >
> > John rdf:type _:x .
> > _:x owl:oneOf _:l .
> > _:l owl:first John .
> > _:l owl:rest owl:nil .
> >
> 
> Are these nonentailments fixable? i.e. are they just 'missing' or is it not
> possible to make such entailments with the particular approach?

I don't see how they are fixable.  

[...]

> Jonathan

peter
Received on Wednesday, 21 August 2002 14:55:46 GMT

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