Re: editorial suggestion for Manchester Syntax

Editorial comment 2: There is an unbalanced parenthesis in the last line of 
Table 1.

-- Markus

On Montag, 19. Oktober 2009, Markus Krötzsch wrote:
> 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