Towards using OWL DL as a metamodelling framework for ATL

Model Transformation with ATL 2010.

工业技术;计算机科学

Dennis Wagelaar

Others  :  http://ceur-ws.org/Vol-711/paper9.pdf
PID  :  41806

来源: CEUR

【 摘 要 】

Ontologies have become increasingly relevant to the modelling community, providing a knowledgebase to support several software engineering activities. As such, several eorts have been made to inte- grate ontology technology with modelling technology. This has resulted in the Ontology Denition Metamodel (ODM), which allows model transformation languages to interact directly with ontologies. The ODM limits itself to data structure, however, and does not integrate the reasoning capabilities within ontologies. Therefore, we have done an experiment with an OWL DL driver for ATL, where ATL has direct access to the reasoning capabilities of the OWL DL ontology language. OWL DL is used as a metamodelling framework, where OWL classes serve as meta-classes and OWL individuals serve as model elements. The envisioned benets are optimisation possibilities through automatic classication, and static analysis of ATL transformations written using OWL DL ex- pressions. This paper will discuss our ndings so far regarding these two