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

Re: UPDATE: longer version of layering document

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>
Message-ID: <OF781386C9.AD43082D-ONC1256B5C.003C2459@agfa.be>

[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 GMT

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