Where academic tradition
meets the exciting future

Representing and Validating Metamodels Using OWL 2 and SWRL

Sören Höglund, Ali Hanzala Khan, Ye Liu, Ivan Porres, Representing and Validating Metamodels Using OWL 2 and SWRL. In: Aplinskas Albertas, Pranevicius Henrikas, Nakatani Takako (Eds.), 9th Joint Conference on Knowledge-Based Software Engineering (JCKBSE'10), Joint Conference on Knowledge-Based Software Engineering, 133–144, Kaunas University of Technology, 2010.

Abstract:

In this article we show how to represent UML and MOF-like metamodels using the Web Ontology Language OWL 2. We focus on the main concepts that appear in metamodeling languages such as basic data types, classes, properties, and class and property specialization. The objective of this work is to provide 1) an unambiguous de nition of metamodels in terms of a formally de ned ontology language and 2) allow the use of reasoners to validate metamodels automatically. To demonstrate our work, we have implemented our approach using the
MOFScript transformation language and we have used the Pellet OWL 2
reasoner to validate automatically metamodels published in the Atlantic
metamodeling zoo.

Files:

Abstract in PDF-format

Full publication in PDF-format

BibTeX entry:

@INPROCEEDINGS{inpHoKhLiPo10a,
  title = {Representing and Validating Metamodels Using OWL 2 and SWRL},
  booktitle = {9th Joint Conference on Knowledge-Based Software Engineering (JCKBSE'10)},
  author = {Höglund, Sören and Khan, Ali Hanzala and Liu, Ye and Porres, Ivan},
  series = {Joint Conference on Knowledge-Based Software Engineering},
  editor = {Albertas, Aplinskas and Henrikas, Pranevicius and Takako, Nakatani},
  publisher = {Kaunas University of Technology},
  pages = {133–144},
  year = {2010},
  keywords = {Metamodel Validation, OWL2, Reasoning,},
}

Belongs to TUCS Research Unit(s): Software Engineering Laboratory (SE Lab)

Publication Forum rating of this publication: level 1

Edit publication