Towards Hybrid Reasoning for Verifying and Validating Multilevel Models

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

doi:10.1007/978-3-642-16438-5_31

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 proceeding › Conference contribution

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 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 language	English
Title of host publication	Knowledge Engineering and Management by the Masses
Subtitle of host publication	17th International Conference, EKAW 2010, Lisbon, Portugal, October 11-15, 2010. Proceedings
Editors	Philipp Cimiano, H. Sofia Pinto
Place of Publication	Berlin, Heidelberg
Publisher	Springer
Pages	411-420
Number of pages	10
ISBN (Electronic)	978-3-642-16438-5
ISBN (Print)	978-3-642-16437-8
DOIs	https://doi.org/10.1007/978-3-642-16438-5_31
Publication status	Published - 13 Nov 2010
Event	17th International Conference on Knowledge Engineering and Knowledge Management - Lisbon, Portugal Duration: 11 Oct 2010 → 15 Oct 2010 Conference number: 17 http://ekaw2010.inesc-id.pt/

Publication series

Name	Lecture Notes in Computer Science
Publisher	Springer, Berlin, Heidelberg
Volume	6317
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	17th International Conference on Knowledge Engineering and Knowledge Management
Abbreviated title	EKAW 2010
Country/Territory	Portugal
City	Lisbon
Period	11/10/10 → 15/10/10
Internet address	http://ekaw2010.inesc-id.pt/

Access to Document

10.1007/978-3-642-16438-5_31Licence: All Rights Reserved

https://link.springer.com/chapter/10.1007/978-3-642-16438-5_31Licence: All Rights Reserved

Cite this

Jekjantuk, N., Gröner, G., Pan, J. Z., & Thomas, E. (2010). Towards Hybrid Reasoning for Verifying and Validating Multilevel Models. In P. Cimiano, & H. S. Pinto (Eds.), Knowledge Engineering and Management by the Masses: 17th International Conference, EKAW 2010, Lisbon, Portugal, October 11-15, 2010. Proceedings (pp. 411-420). (Lecture Notes in Computer Science; Vol. 6317). Springer. https://doi.org/10.1007/978-3-642-16438-5_31

Jekjantuk, Nophadol ; Gröner, Gerd ; Pan, Jeff Z. et al. / Towards Hybrid Reasoning for Verifying and Validating Multilevel Models. Knowledge Engineering and Management by the Masses: 17th International Conference, EKAW 2010, Lisbon, Portugal, October 11-15, 2010. Proceedings. editor / Philipp Cimiano ; H. Sofia Pinto. Berlin, Heidelberg : Springer, 2010. pp. 411-420 (Lecture Notes in Computer Science).

@inproceedings{ddaf6f839c6f4802bfdc7020f8104aea,

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 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.",

author = "Nophadol Jekjantuk and Gerd Gr{\"o}ner and Pan, \{Jeff Z.\} and Edward Thomas",

year = "2010",

month = nov,

day = "13",

doi = "10.1007/978-3-642-16438-5\_31",

language = "English",

isbn = "978-3-642-16437-8",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "411--420",

editor = "Philipp Cimiano and Pinto, \{H. Sofia\}",

booktitle = "Knowledge Engineering and Management by the Masses",

address = "United Kingdom",

note = "17th International Conference on Knowledge Engineering and Knowledge Management, EKAW 2010 ; Conference date: 11-10-2010 Through 15-10-2010",

url = "http://ekaw2010.inesc-id.pt/",

}

Jekjantuk, N, Gröner, G, Pan, JZ & Thomas, E 2010, Towards Hybrid Reasoning for Verifying and Validating Multilevel Models. in P Cimiano & HS Pinto (eds), Knowledge Engineering and Management by the Masses: 17th International Conference, EKAW 2010, Lisbon, Portugal, October 11-15, 2010. Proceedings. Lecture Notes in Computer Science, vol. 6317, Springer, Berlin, Heidelberg, pp. 411-420, 17th International Conference on Knowledge Engineering and Knowledge Management, Lisbon, Portugal, 11/10/10. https://doi.org/10.1007/978-3-642-16438-5_31

Towards Hybrid Reasoning for Verifying and Validating Multilevel Models. / Jekjantuk, Nophadol; Gröner, Gerd; Pan, Jeff Z. et al.
Knowledge Engineering and Management by the Masses: 17th International Conference, EKAW 2010, Lisbon, Portugal, October 11-15, 2010. Proceedings. ed. / Philipp Cimiano; H. Sofia Pinto. Berlin, Heidelberg: Springer, 2010. p. 411-420 (Lecture Notes in Computer Science; Vol. 6317).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

TY - GEN

T1 - Towards Hybrid Reasoning for Verifying and Validating Multilevel Models

AU - Jekjantuk, Nophadol

AU - Gröner, Gerd

AU - Pan, Jeff Z.

AU - Thomas, Edward

N1 - Conference code: 17

PY - 2010/11/13

Y1 - 2010/11/13

N2 - 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.

AB - 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.

U2 - 10.1007/978-3-642-16438-5_31

DO - 10.1007/978-3-642-16438-5_31

M3 - Conference contribution

SN - 978-3-642-16437-8

T3 - Lecture Notes in Computer Science

SP - 411

EP - 420

BT - Knowledge Engineering and Management by the Masses

A2 - Cimiano, Philipp

A2 - Pinto, H. Sofia

PB - Springer

CY - Berlin, Heidelberg

T2 - 17th International Conference on Knowledge Engineering and Knowledge Management

Y2 - 11 October 2010 through 15 October 2010

ER -

Jekjantuk N, Gröner G, Pan JZ, Thomas E. Towards Hybrid Reasoning for Verifying and Validating Multilevel Models. In Cimiano P, Pinto HS, editors, Knowledge Engineering and Management by the Masses: 17th International Conference, EKAW 2010, Lisbon, Portugal, October 11-15, 2010. Proceedings. Berlin, Heidelberg: Springer. 2010. p. 411-420. (Lecture Notes in Computer Science). doi: 10.1007/978-3-642-16438-5_31

Towards Hybrid Reasoning for Verifying and Validating Multilevel Models

Abstract

Publication series

Conference

Access to Document

Fingerprint

Cite this