Re: more on a same-syntax extension from RDF(S) to OWL

Peter,

>
>
> Well what I think that all this points out is the difficulty of writing
> things in this way.  In particular, you have to be *very* careful how
> you label what you are doing.
>
> Note that you said that it doesn't *entail*, which is a semantic
> relationship.  I pointed out that it does *entail*, which it does.  Your
> rules won't infer it, as they are incomplete.
>
> I think that it would be much better if everyone using N3 refrained from
> using log:entails as the predicate in rule.  It would be even better if
> they refrained from using log:implies, log:Truth, and other such
properties
> without pointing to a readable description of what they meant by such
> properties.
>
> Peter F. Patel-Schneider
> Bell Labs Research

Perhaps an MT for N3 would be useful. One of the major benefitts of N3 over
RDF (including N-Triples) is the simple ability to write down a set of
statements _without asserting them_. I have a hunch that if RDF were able to
do that, then much of the layering issues would either go away or at least
be more easily solvable. Short of that we are stuck with the real issues you
are raising.

Jonathan

Received on Tuesday, 5 March 2002 10:05:06 UTC