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

[Fwd: Re: outline of semantics document]

From: Dan Connolly <connolly@w3.org>
Date: 28 Oct 2002 16:04:06 -0600
To: www-webont-wg@w3.org
Message-Id: <1035842646.25518.5448.camel@dirk>
[the machine asked me to verify that
this wasn't spam, since it came from
an unrecognized address...]

-- 
Dan Connolly, W3C http://www.w3.org/People/Connolly/


attached mail follows:






> The outline and, in fact, the contents, can be found at 

>   http://www-db.research.bell-labs.com/user/pfps/owl/semantics.html

> or by following the links in that document.


Hi

some quick high level comments ... I don't expect to look at the detail for a 
week or two.

1: I am surprised that the proof in the appendix is "normative" - a quick 
glance did not reveal quite what that was intended to mean.

2: I was surprised at the use of N-triples (in section 4)
I note that: the use of q-names is not actually allowed, (in the OWL test 
cases I think I specifically use N-triple augmented with q-names), and that 
you omit discussion of all the literal escaping stuff.
I would more have expected the use of triples and the graph abstract syntax.
I believe that the phrasing in the RDF Model Theory has avoided these pitfalls 
by being somehow 'clearly' at a more abstract level.
i.e. it would be mistaken to respond to these comments by fixing ntriple, or 
avoiding qnames in the rules, or by defining escaping algorithms - all these 
isses are uninteresting at the OWL level.

Are you looking for detailed review at this stage? If so I think I will be 
able to for 11th Nov.

Jeremy
Received on Monday, 28 October 2002 17:03:51 GMT

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