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

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 13:57:13 -0400
To: phayes@ai.uwf.edu
Cc: www-webont-wg@w3.org
Message-Id: <20020821135713Y.pfps@research.bell-labs.com>


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 .

Received on Wednesday, 21 August 2002 13:57:24 GMT

This message: [ Message body ]
Next message: Lynn Andrea Stein: "Re: WOWG: agenda Aug 22 telecon"
Previous message: Christopher Welty: "5th f2f vote"
In reply to: pat hayes: "another revision of semantics document"
Next in thread: Jonathan Borden: "Re: yet another non-entailment (was Re: another revision of semantics document)"
Reply: Jonathan Borden: "Re: yet another non-entailment (was Re: another revision of semantics document)"
Reply: Ian Horrocks: "Re: yet another non-entailment (was Re: another revision of semantics document)"
Maybe reply: Jeremy Carroll: "Re: yet another non-entailment (was Re: another revision of semantics document)"

Mail actions: [ respond to this message ] [ mail a new topic ]
Contemporary messages sorted: [ by date ] [ by thread ] [ by subject ] [ by author ]
Help: [ How to use the archives ] [ Search in the archives ]

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