Re: Qualified names in OWL Abstract Syntax

Sorry for the delay in responding to your message.
http://lists.w3.org/Archives/Public/public-webont-comments/2004Apr/0010.html

You're quite right that
"The first sentence of the second paragraph in section 2.1 is repeated."

I noted this among the errata.
 http://www.w3.org/2001/sw/WebOnt/errata#owl-semantics
 $Id: errata.html,v 1.4 2004/08/06 02:39:16 connolly Exp $

Regarding "I can't find a mention of a Namespace terminal in the
description of the Abstract Syntax."

The abstract syntax is a specification mechanism; many details
regarding practical use as an exchange mechanism were not
dealt with; the OWL semantics says:

"The syntax used here is rather informal, even for an abstract syntax -
in general the arguments of a construct should be considered to be
unordered wherever the order would not affect the meaning of the
construct."

and so on.

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

Received on Thursday, 5 August 2004 22:43:57 UTC