W3C home > Mailing lists > Public > public-owl-wg@w3.org > October 2009

editorial suggestion for Manchester Syntax

From: Markus Krötzsch <markus.kroetzsch@kit.edu>
Date: Mon, 19 Oct 2009 22:06:54 +0200
To: public-owl-wg@w3.org, "Peter F. Patel-Schneider" <pfps@research.bell-labs.com>, matthew.horridge@cs.man.ac.uk
Message-Id: <200910192207.02949.markus.kroetzsch@kit.edu>
Dear Manchester-Syntax editors,

using the OWL Syntax Converter, I have recently debugged the Manchester Syntax 
examples in the Primer (Matthew: I believe the remaining errors I get are 
limitations of the converter, not problems in the input; you may want to check 
the single Manchester Syntax ontology in the Primer Appendix).

Looking back at the Manchester spec, I found it difficult to identify the 
correct syntax for lists since a text search for the related non-terminals did 
not yield any results. The document, if read from top to bottom, explains this 
properly, but I suggest to add a sentence (near the meta-productions, or 
anywhere else where it can be found when searching the names): 

"These meta-productions are instantiated for the following cases: literalList, 
individualList, description2List, objectProperty2List, dataProperty2List, 
individual2List, annotationAnnotatedList, descriptionAnnotatedList,  
objectPropertyCharacteristicAnnotatedList, 
objectPropertyExpressionAnnotatedList, descriptionAnnotatedList, 
dataRangeAnnotatedList, dataPropertyExpressionAnnotatedList, IRIAnnotatedList, 
annotationPropertyIRIAnnotatedList, factAnnotatedList, and 
individualAnnotatedList."

Alternatively, it would help to make all occurrences of these terms internal 
hyperlinks that point to their meta-definition. 

Note that this is is an internal comment; no formal reply needed ;-)

-- Markus

-- 
Markus Krötzsch
Karlsruhe Institute of Technology (KIT), Institute AIFB
Englerstraße 11 (Geb. 11.40), 76131 Karlsruhe,  Germany

phone: +49 (0)721 608 7362
fax:   +49 721 608 6580
email: markus.kroetzsch@kit.edu
web:   http://korrekt.org

http://semantic-web-book.org
http://semantic-mediawiki.org

KIT - Universität des Landes Baden-Württemberg und nationales
Großforschungszentrum in der Helmholtz-Gemeinschaft


Received on Monday, 19 October 2009 20:07:36 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 19 October 2009 20:07:36 GMT