- 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 UTC