Questions regarding Manchester syntax specification

Dear list, dear authors of Manchester syntax specs,

I have a few questions regarding the now latest version of the 
Manchester syntax specification [0].

First, I was wondering whether there is a typo in the annotation 
property frame definition [1]. It says

   annotationPropertyFrame ::=
     'AnnotationProperty:' annotationPropertyIRI
         { 'Annotations:' annotationAnnotatedList } |
         'Domain:' IRIAnnotatedList |
         'Range:' IRIAnnotatedList |
         'SubPropertyOf:' annotationPropertyIRIAnnotatedList

So there may be either zero or more annotations, or a domain definition, 
or a range definition, or a sub-property definition. According to that 
definition the example in the made up partial ontology [2] would be wrong:

   AnnotationProperty: creator
     Annotations: ...
     Domain: Person ,...
     Range: integer ,...
     SubPropertyOf: initialCreator ,...

I would rather think the annotation property frame definition should be

   annotationPropertyFrame ::=
     'AnnotationProperty:' annotationPropertyIRI {
         'Annotations:' annotationAnnotatedList  |
         'Domain:' IRIAnnotatedList |
         'Range:' IRIAnnotatedList |
         'SubPropertyOf:' annotationPropertyIRIAnnotatedList }

My second question refers to the objectProperty2List and 
dataProperty2List as for example used in misc [3]. They do not strictly 
match the meta production rules (since there is no 
objectProperty/dataProperty but only objectPropertyIRI/dataPropertyIRI 
and objectPropertyExpression/dataPropertyExpression). In case of the 
dataProperty2List it does not really matter whether a 
dataPropertyIRI2List or dataPropertyExpression2List was meant, but it 
would differ in the object property case. So my question is, whether I'm 
right that actually objectPropertyExpression2List was meant instead of 
objectProperty2List.

Finally I'm wondering if there is a reason behind the mandatory 
annotation block for property characteristics in a data property frame 
[4]. I'm mainly asking because this is not the case in object property 
frames [5] (and I think also not enforced by the OWLAPI).

Thanks in advance and best regards,
Patrick

[0] https://www.w3.org/TR/2012/NOTE-owl2-manchester-syntax-20121211/
[1] https://www.w3.org/TR/owl2-manchester-syntax/#annotationPropertyFrame
[2] https://www.w3.org/TR/owl2-manchester-syntax/#Quick_Reference
[3] https://www.w3.org/TR/owl2-manchester-syntax/#misc
[4] https://www.w3.org/TR/owl2-manchester-syntax/#dataPropertyFrame
[5] https://www.w3.org/TR/owl2-manchester-syntax/#objectPropertyFrame

-- 
Patrick Westphal
Department of Computer Science, University of Leipzig
Research Group: http://aksw.org/
Phone: +49-341-9732305

Received on Thursday, 8 June 2017 13:18:28 UTC