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.
This work has been partially supported by the European Project Marrying Ontologies and Software Technologies (MOST ICT 2008-216691).
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
OMG Unified Modeling Language (OMG UML) Infrastructure. Version 2.2 (2009), http://www.omg.org/spec/UML/2.2/Infrastructure
Atkinson, C., Gutheil, M., Kennel, B.: A Flexible Infrastructure for Multilevel Language Engineering. IEEE Trans. Software Eng. 35(6), 742–755 (2009)
Berardi, D., Calvanese, D., De Giacomo, G.: Reasoning on UML class diagrams. Artificial Intelligence 168(1-2), 70–118 (2005)
Brown, A.: An introduction to Model Driven Architecture. IBM Technical Report (2004), http://www-128.ibm.com/developerworks/rational/library/3100.html
Cabot, J., Clariso, R., Riera, D.: Verification of UML/OCL Class Diagrams using Constraint Programming. In: Software Testing Verification and Validation Workshop, pp. 73–80 (2008)
Donini, F.M., Nardi, D., Rosati, R.: Description logics of minimal knowledge and negation as failure. ACM Transactions on Computational Logic (TOCL) 3(2), 225 (2002)
Etzioni, O., Golden, K., Weld, D.: Tractable Closed World Reasoning. In: Proc. of Knowledge Representation, KR (2004)
Grimm, S., Motik, B.: Closed World Reasoning in the Semantic Web through Epistemic Operators. In: CEUR Proceedings of the OWL Experiences and Directions Workshop, Galway, Ireland, Citeseer (2005)
Jekjantuk, N., Gröner, G., Pan, J.Z.: Reasoning in Metamodeling Enabled Ontologies. In: Proceeding of the International Workshop on OWL: Experience and Directions, OWL-ED 2009 (2009)
Kaneiwa, K., Satoh, K.: Consistency checking algorithms for restricted UML class diagrams. In: Dix, J., Hegner, S.J. (eds.) FoIKS 2006. LNCS, vol. 3861, pp. 219–239. Springer, Heidelberg (2006)
Malgouyres, H., Motet, G.: A UML Model Consistency Verification Approach based on Meta-Modeling Formalization. In: SAC 2006: Proceedings of the 2006 ACM Symposium on Applied Computing, pp. 1804–1809. ACM, New York (2006)
Motik, B., Horrocks, I., Rosati, R., Sattler, U.: Can OWL and Logic Programming live together happily ever after? In: Cruz, I., Decker, S., Allemang, D., Preist, C., Schwabe, D., Mika, P., Uschold, M., Aroyo, L.M. (eds.) ISWC 2006. LNCS, vol. 4273, pp. 501–514. Springer, Heidelberg (2006)
Motik, B., Patel-Schneider, P.F., Parsia, B.: Owl 2 web ontology language: Structural specification and functional-style syntax. W3C Recommendation (October 27, 2009)
Motik, B.: On the properties of metamodeling in owl. J. Log. Comput. 17(4), 617–637 (2007)
Ober, I., Prinz, A.: What do we need metamodels for?
Pan, J.Z., Horrocks, I.: RDFS(FA) and RDF MT: Two Semantics for RDFS. In: Fensel, D., Sycara, K., Mylopoulos, J. (eds.) ISWC 2003. LNCS, vol. 2870, pp. 30–46. Springer, Heidelberg (2003)
Pan, J.Z., Horrocks, I., Schreiber, G.: OWL FA: A Metamodeling Extension of OWL DL. In: Proceeding of the International Workshop on OWL: Experience and Directions, OWL-ED 2005 (2005)
Roe, D., Broda, K., Russo, A., Department of Computing: Mapping UML models incorporating OCL constraints into Object-Z. In: Imperial College of Science, Technology and Medicine, Department of Computing (2003)
UML. Unified Modeling Language, http://www.uml.org/
Welty, C.A., Ferrucci, D.A.: What’s in an instance? Technical report, RPI Computer Science (1994)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2010 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Jekjantuk, N., Gröner, G., Pan, J.Z., Thomas, E. (2010). Towards Hybrid Reasoning for Verifying and Validating Multilevel Models. In: Cimiano, P., Pinto, H.S. (eds) Knowledge Engineering and Management by the Masses. EKAW 2010. Lecture Notes in Computer Science(), vol 6317. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-16438-5_31
Download citation
DOI: https://doi.org/10.1007/978-3-642-16438-5_31
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-16437-8
Online ISBN: 978-3-642-16438-5
eBook Packages: Computer ScienceComputer Science (R0)