Abstract
Ontology is a formal representation of domain knowledge. It may be effectively used in software development – large parts of the object-oriented code can be automatically generated from existing domain ontologies. The paper is related to transformations from OWL2 to Groovy. It proposes transformations of OWL2 properties together with object property axioms. Many axioms, e.g. asymmetry, irreflexivity have not been considered in the existing literature up to now. Mapping of some others is incomplete. Proposed transformations preserve the OWL2 semantics of axioms, assuring model consistency with the original definition. The implemented rules either guarantee consistency of the source code by performing additional actions ‘behind the scene’ or prohibit inconsistency by throwing exceptions. As a result, their application can speed up the development process and produce the source code of high quality at the same time. All defined transformation rules were implemented and verified by several examples. A bigger case study confirmed the usability of the rules. Both the tool as well as the case study are publicly available.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Borst, W.N.: Construction of engineering ontologies for knowledge sharing and reuse. CTIT Ph.D-series No. 97–14, Enschede, The Netherlands (1997)
Athanasiadis, I.N., Villa, F., Rizzoli, A.E.: Ontologies, JavaBeans and relational databases for enabling semantic programming. In: 31th IEEE Annual International Computer Software and Applications Conference (COMPSAC), Beijing (2007)
Stevenson, G., Dobson, S.: Sapphire: generating java runtime artefacts from OWL ontologies. In: Salinesi, C., Pastor, O. (eds.) CAiSE 2011. LNBIP, vol. 83, pp. 425–436. Springer, Heidelberg (2011). https://doi.org/10.1007/978-3-642-22056-2_46
Kalyanpur, A., Pastor, D.J., Battle, S., Padget, J.: Automatic mapping of OWL ontologies into Java. In: Proceedings of Sixteenth International Conference on Software Engineering and Knowledge Engineering (SEKE), Banff (2004)
Protégé. http://protege.stanford.edu/. Accessed 27 June 2017
Groovy Language Documentation. http://groovy-lang.org/single-page-documentation.html. Accessed 27 June 2017
OWL2 Web Ontology Language. Structural Specification and Functional-Style Syntax, 2nd edn. https://www.w3.org/TR/owl2-syntax. Accessed 03 June 2017
Object-Oriented Programming Concepts. https://docs.oracle.com/javase/tutorial/java/concepts/index.html. Accessed 27 June 2017
OMG Unified Modeling Language, Version 2.5. http://www.omg.org/spec/UML/2.5. Accessed 27 June 2017
Ohlbach, H.J..: Java2OWL a system for synchronising Java and OWL. In: 4th International Conference on Knowledge Engineering and Ontology Development, pp. 15–24. SciTePress, Barcelona (2012)
Data Types and Data Binding in WebLogic Web Services. https://docs.oracle.com/cd/E13222_01/wls/docs100/webserv/data_types.html#wp209610. Accessed 22 May 2017
OWL2 to Groovy Converter. https://bitbucket.org/pworoniecki/owl-to-groovy/. Accessed 03 June 2017
The OWL API. http://owlapi.sourceforge.net/. Accessed 03 June 2017
OWL2 Web Ontology Language XML Serialization, 2nd edn. https://www.w3.org/TR/owl2-xml-serialization/. Accessed 03 June 2017
OWL2 Web Ontology Language Mapping to RDF Graphs, 2nd edn. https://www.w3.org/TR/2012/REC-owl2-mapping-to-rdf-20121211/. Accessed 03 June 2017
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2018 Springer International Publishing AG
About this paper
Cite this paper
Hnatkowska, B., Woroniecki, P. (2018). Transformation of OWL2 Property Axioms to Groovy. In: Tjoa, A., Bellatreche, L., Biffl, S., van Leeuwen, J., Wiedermann, J. (eds) SOFSEM 2018: Theory and Practice of Computer Science. SOFSEM 2018. Lecture Notes in Computer Science(), vol 10706. Edizioni della Normale, Cham. https://doi.org/10.1007/978-3-319-73117-9_19
Download citation
DOI: https://doi.org/10.1007/978-3-319-73117-9_19
Published:
Publisher Name: Edizioni della Normale, Cham
Print ISBN: 978-3-319-73116-2
Online ISBN: 978-3-319-73117-9
eBook Packages: Computer ScienceComputer Science (R0)