- From: Peter F. Patel-Schneider <pfps@research.bell-labs.com>
- Date: Tue, 06 May 2008 06:45:26 -0400 (EDT)
- To: schneid@fzi.de
- Cc: public-owl-wg@w3.org
Precisely.
peter
From: "Michael Schneider" <schneid@fzi.de>
Subject: RE: proposal to close issue-4
Date: Tue, 6 May 2008 11:48:22 +0200
> Hi all!
>
> I am trying to understand what ISSUE-4 is about.
>
> Does this issue refer, for example, to the grammar of "Ontology"?
>
> DL-Syntax: <http://www.w3.org/2007/OWL/wiki/Syntax#Ontologies>
>
> Ontology := 'Ontology' '(' [ ontologyURI ] { import } { Annotation } {
> Axiom } ')'
>
> So this would mean that there is first an (optional) URI, than all imports,
> then all annotations, and last all axioms. And, according to the grammatical
> expression above, this ordering must not be different (for example no
> imports after the axioms).
>
> Is it this?
>
> Cheers,
> Michael
Received on Tuesday, 6 May 2008 10:49:24 UTC