Abstract
In this paper, we revisit a number of classical formal meta-properties that have been used in the conceptual modeling and ontology engineering literature to provide finer-grained distinctions among the category of Object Types. These distinctions constitute an essential part of relevant existing approaches, in particular, the ontology-driven conceptual modeling language OntoUML, and the ontology and taxonomy evaluation methodology OntoClean. The idea in this paper is to investigate the interaction between these meta-properties and Derived Object Types, i.e., Object Types which extensions are dynamically inferred via Derivation Rules. The contributions here are two-fold: firstly, we revisit two classical Derivation Patterns and prove a number of results that can be used to infer the modal meta-properties of Derived Types from those of the types participating in the associated derivation rules; secondly, we demonstrate how these results can be applied in the automated support for model construction in OntoUML.
Chapter PDF
Similar content being viewed by others
References
Guizzardi, G.: Ontological Foundations for Structural Conceptual Models. Universal Press, The Netherlands (2005) ISBN 1381-3617
Guizzardi, G., Lopes, M., Baião, F., Falbo, R.: On the importance of truly ontological representation languages. International Journal of Information Systems Modeling and Design, IJISMD (2010) ISSN: 1947-8186
Carolo, F., Burlamaqui, L.: Improving Web Content Management with Semantic Technologies. In: Semantic Technology Conference (SemTech), San Francisco (2011)
Object Management Group, Semantic Information Model Federation (SIMF): Candidates and Gaps, http://www.omgwiki.org/architecture-ecosystem/
Bauman, B.T.: Prying Apart Semantics and Implementation: Generating XML Schemata directly from ontologically sound conceptual models. Balisage Markup Conference (2009)
U.S. Department of Defense, Data Modeling Guide (DMG) for an Enterprise Logical Data Model (ELDM), http://www.omgwiki.org/architecture-ecosystem/lib/exe/fetch.php?media=dmg_for_enterprise_ldm_v2_3.pdf
Guizzardi, G., Wagner, G., Guarino, N., van Sinderen, M.: An Ontologically Well-Founded Profile for UML Conceptual Models. In: Persson, A., Stirna, J. (eds.) CAiSE 2004. LNCS, vol. 3084, pp. 112–126. Springer, Heidelberg (2004)
Guarino, N., Welty, C.: Evaluating Ontological Decisions with OntoClean. Communications of the ACM 45(2), 61–65 (2002)
Guarino, N., Welty, C.: An Overview of OntoClean. In: Staab, S., Studer, R. (eds.) Handbook on Ontologies. Springer (2010)
Halpin, T., Morgan, T.: Information Modeling and Relational Dababases. Morgan Kaufman (2008) ISBN 1558606726
Benevides, A.B., Guizzardi, G.: A Model-Based Tool for Conceptual Modeling and Domain Ontology Engineering in OntoUML. In: Filipe, J., Cordeiro, J. (eds.) ICEIS 2009. LNBIP, vol. 24, pp. 528–538. Springer, Heidelberg (2009)
Benevides, A.B., et al.: Validating modal aspects of OntoUML conceptual models using automatically generated visual world structures. Journal of Universal Computer Science 16/20, Special Issue on Evolving Theories of Conceptual Modeling (2010)
Guizzardi, G., das Graças, A., Guizzardi, R.S.S.: Design Patterns and Inductive Modeling Rules to Support the Construction of Ontologically Well-Founded Conceptual Models in OntoUML. In: 3rd Intl. Workshop on Ontology Driven Inf. Systems (ODISE 2011), London (2011)
Olive, A.: Conceptual Modeling of Information Systems. Springer (2007)
Wieringa, R.J., de Jonge, W., Spruit, P.A.: Using dynamic classes and role classes to model object migration. Theory and Practice of Object Systems 1(1), 61–83 (1995)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2012 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Guizzardi, G. (2012). Ontological Meta-properties of Derived Object Types. In: Ralyté, J., Franch, X., Brinkkemper, S., Wrycza, S. (eds) Advanced Information Systems Engineering. CAiSE 2012. Lecture Notes in Computer Science, vol 7328. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-31095-9_21
Download citation
DOI: https://doi.org/10.1007/978-3-642-31095-9_21
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-31094-2
Online ISBN: 978-3-642-31095-9
eBook Packages: Computer ScienceComputer Science (R0)