- From: Jos De_Roo <jos.deroo.jd@belgium.agfa.com>
- Date: Sun, 10 Feb 2002 12:09:21 +0100
- To: jos.deroo.jd@belgium.agfa.com
- Cc: "pfps" <pfps@research.bell-labs.com>, ""www-webont-wg" <www-webont-wg" <www-webont-wg@w3.org>
[small correction] [...] >>Well then Euler cannot handle all of RDF. Are you sure you want this? > >I think so (but my opinion is not important, >we have to find rough consensus together) it is then ``incomplete'' i.e. it gives "No proof found" for e.g. [[ 1/ Does <an empty set of premises> imply _:1 a owl:Restriction . _:1 owl:onProperty rdf:type . _:1 owl:hasValue _:1 . _:1 a _:1 . ]] which is of course not the same as saying "No" :-) -- Jos
Received on Sunday, 10 February 2002 06:10:02 UTC