- From: Jonathan Borden <jonathan@openhealth.org>
- Date: Wed, 21 Aug 2002 15:04:15 -0400
- To: "Peter F. Patel-Schneider" <pfps@research.bell-labs.com>
- Cc: <www-webont-wg@w3.org>
Peter F. Patel-Schneider wrote: > > I don't see how they are fixable. > Related question then would: John rdf:type owl:Thing . foo owl:sameClassAs _:x _:x owl:oneOf _:l . _:l owl:first John . _:l owl:rest owl:nil . entail John rdf:type foo . ? If not, that would (obviously) be a showstopper nonentailment. Otherwise are you saying that we are back to the solipsistic model? Jonathan
Received on Wednesday, 21 August 2002 15:02:33 UTC