Transformation of OWL2 Property Axioms to Groovy

摘要

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.