Thomas, AnittaGerber, Aurona JacobaVan der Merwe, Alta2017-05-082016-07Thomas A., Gerber A.J., van der Merwe A. (2016) An Investigation into OWL for Concrete Syntax Specification Using UML Notations. In: Jamnik M., Uesaka Y., Elzer Schwartz S. (eds) Diagrammatic Representation and Inference. Diagrams 2016. Lecture Notes in Computer Science, vol 9781: 197-211. Springer, Cham.0302-9743 (print)1611-3349 (online)10.1007/978-3-319-42333-3_15http://hdl.handle.net/2263/60264The Web Ontology Language OWL is a prominent ontology language for specifying ontologies. Although OWL ontologies are well-used for representing and reasoning about knowledge in various domains, they are sparsely studied for visual language specification. The work in this paper, therefore, explores OWL for visual language specification by specifying the concrete syntax of selected UML class diagram notations in an ontology. The selected diagram notations are specified as spatial configurations of primitive elements and qualitative base spatial relationships of Region Connection Calculus-8 (RCC-8). Furthermore, the automated reasoning features of ontology reasoners are investigated to verify the completeness and the correctness of the specification. The verification results indicate that the given specification needs to be revised to support applications to draw the selected notations. The value of such a specification in supporting a semantic diagram interpretation application is demonstrated using the automated instance classification feature of ontology reasoners.en© Springer-Verlag 2016. The original publication is available at : http://link.springer.combookseries/558.UML notationsConcrete Syntax speci cationRCC-8OWLOntologyOntology reasonerAn investigation into OWL for concrete syntax specification using UML notationsPostprint Article