Towards Hybrid Reasoning for Verifying and Validating Multilevel Models

Nophadol Jekjantuk, Gerd Gröner, Jeff Z. Pan, Edward Thomas

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract / Description of output

Ontologies and its reasoning services are expected to play an important role in many application domains, as well as in software engineering in general. In model-driven engineering (MDE), models, like UML models, represent and specify software systems. One problem with using ontologies within software engineering is that while model-driven engineering realizes a four-layer metamodeling architecture, the new version of OWL Web Ontology Language, called OWL 2, it supports only simple metamodeling. Moreover, the semantics of metamodeling in OWL 2 corresponds to the contextual semantics, which leads to non-intuitive results. Another issue is that the Open World Assumption (OWA) assumes a model is incomplete. Therefore, we could not validate some constrains in OWA. In this paper, we demonstrate multilevel (meta-) modelling using ontologies described in OWL FA, which has a well-defined fixed-layered architecture and semantics. As well as an approach to integrate Closed World Assumption(CWA) with OWA in order to use both assumptions for verifying and validating multilevel models.
Original languageEnglish
Title of host publicationKnowledge Engineering and Management by the Masses
Subtitle of host publication17th International Conference, EKAW 2010, Lisbon, Portugal, October 11-15, 2010. Proceedings
EditorsPhilipp Cimiano, H. Sofia Pinto
Place of PublicationBerlin, Heidelberg
PublisherSpringer Berlin Heidelberg
Number of pages10
ISBN (Electronic)978-3-642-16438-5
ISBN (Print)978-3-642-16437-8
Publication statusPublished - 13 Nov 2010
Event17th International Conference on Knowledge Engineering and Knowledge Management - Lisbon, Portugal
Duration: 11 Oct 201015 Oct 2010
Conference number: 17

Publication series

NameLecture Notes in Computer Science
PublisherSpringer, Berlin, Heidelberg
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349


Conference17th International Conference on Knowledge Engineering and Knowledge Management
Abbreviated titleEKAW 2010
Internet address


Dive into the research topics of 'Towards Hybrid Reasoning for Verifying and Validating Multilevel Models'. Together they form a unique fingerprint.

Cite this