Paper Info
Title
Towards hybrid reasoning for verifying and validating multilevel models
Abstract
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 nonintuitive 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.
Year
DOI
Venue
2010
10.1007/978-3-642-16438-5_31
EKAW
Keywords
Field
DocType
software system,contextual semantics,model-driven engineering,closed world assumption,simple metamodeling,multilevel model,owl web ontology language,software engineering,four-layer metamodeling architecture,towards hybrid reasoning,open world assumption,owl fa,web ontology language,model driven engineering,layered architecture,software systems
Ontology (information science),Data mining,Unified Modeling Language,Computer science,Software system,Open-world assumption,Metadata modeling,Closed-world assumption,Metamodeling,Web Ontology Language
Conference
Volume
ISSN
ISBN
6317
0302-9743
3-642-16437-4
Citations 
PageRank 
References 
1
0.36
13
Authors
4
Name
Order
Citations
PageRank
Nophadol Jekjantuk1254.61
Gerd Gröner217114.70
Jeff Z. Pan32218158.01
Edward Thomas41719.54