- From: Patrick Westphal <patrick.westphal@informatik.uni-leipzig.de>
- Date: Thu, 8 Jun 2017 15:15:21 +0200
- To: public-owl-comments@w3.org
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