Re: UPDATE: longer version of layering document

[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