Abstract
This paper presents a Model-Based graphical editor for supporting the creation of conceptual models and domain ontologies in a philosophically and cognitively well-founded modeling language named OntoUML. The Editor is designed in a way that, on one hand, it shields the user from the complexity of the ontological principles underlying this language. On the other hand, it reinforces these principles in the produced models by providing a mechanism for automatic formal constraint verification.
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.
References
Levesque, H.J., Brachman, R.J.: Expressiveness and Tractability in Knowledge Representation and Reasoning. In: Computational Intelligence, vol. 3, pp. 78–93 (1985)
Object Management Group (OMG): UML 2.0 Superstructure Specification, Doc.# ptc/03-08-02 (2003)
Falbo, R.A., Guizzardi, G., Duarte, K.C.: An Ontological Approach to Domain Engineering. In: ACM XIV International Conference on Software Engineering and Knowledge Engineering (SEKE 2002), Ischia, Italy (2002)
Guizzardi, G.: The Role of Foundational Ontology for Conceptual Modeling and Domain Ontology Representation. In: 7th International Baltic Conference on Databases and Information Systems, Vilnius, Lithuania (2006)
Degen, W., Heller, B., Herre, H., Smith, B.: GOL: Toward an Axiomatized Upper-level Ontology. In: Proceedings of the international Conference on Formal ontology in information Systems. FOIS 2001, Ogunquit, Maine, USA, October 17 - 19, 2001, vol. 2001, pp. 34–46. ACM, New York (2001)
Guarino, N., Guizzardi, G.: In the Defense of Ontological Foundations for Conceptual Modeling. Invited Paper. Scandinavian Journal of Information Systems 18(1) (2006) ISSN 0905-0167
Guizzardi, G.: On Ontology, ontologies, Conceptualizations, Modeling Languages, and (Meta) Models. In: Vasilecas, O., Edler, J., Caplinskas, A. (eds.) Frontiers in Artificial Intelligence and Applications, Databases and Information Systems IV. IOS Press, Amsterdam (2007a) ISBN 978-1-58603-640-8
Guizzardi, G.: Ontological Foundations for Structural Conceptual Models, Ph.D. Thesis, University of Twente, The Netherlands (2005)
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)
Nunes, B.G., Guizzardi, G., Filho, J.G.P.: An Electrocardiogram (ECG) Domain Ontology. In: Proceedings of the Second Brazilian Workshop on Ontologies and Metamodels for Software and Data Engineering (WOMSDE 2007), 22nd Brazilian Symposium on Databases (SBBD)/21st Brazilian Symposium on Software Engineering (SBES). João Pessoa, Brazil (2007)
Oliveira, F., Antunes, J., Guizzardi, R.S.S.: Towards a Collaboration Ontology. In: Proceedings of the Second Brazilian Workshop on Ontologies and Metamodels for Software and Data Engineering (WOMSDE’07), 22nd Brazilian Symposium on Databases (SBBD)/21st Brazilian Symposium on Software Engineering (SBES), João Pessoa, Brazil (2007)
Object Management Group (OMG): Meta Object Facility MOF Core Specification, v2.0, Doc.# ptc/06-01-01 (2006)
Object Management Group (OMG): Object Constraint Language, v2.0, Doc.# ptc/06-05-01 (2006)
Benevides, A.B.: A Model-Based Tool for Well-Founded Conceptual Modeling (in portuguese), Computer Engineering Monograph, Computer Science Department, Federal University of Espirito Santo (2007)
Eclipse, http://www.eclipse.org
Dean, D., Gerber, A., Moore, B., Vanderheyden, P., Wagenknecht, G.: Eclipse Development using the Graphical Editing Framework and the Eclipse Modeling Framework, IBM Redbooks (2004)
Eclipse Modeling Framework Project (EMF), http://www.eclipse.org/modeling/emf
Model Development Tools (MDT), http://www.eclipse.org/modeling/mdt
Graphical Modeling Framework (GMF), http://www.eclipse.org/modeling/gmf
OntoClean, http://www.ontoclean.org
IEEE, http://suo.ieee.org
Protégé, http://protege.stanford.edu
Sandpiper Software, http://www.sandsoft.com
Vissers, C., van Sinderen, M., Pires, L.F.: What Makes Industries Believe in Formal Methods. In: Proceedings of the 13th International Symposium on Protocol Specification, Testing, and Verification (PSTV XIII), pp. 3–26. Elsevier Science Publishers, Amsterdam (1993)
Guizzardi, G., Halpin, T.: Ontological Foundations for Conceptual Modeling. Applied Ontology 3(1-2), 91–110 (2008) ISSN 1570-5838
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2009 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Benevides, A.B., Guizzardi, G. (2009). A Model-Based Tool for Conceptual Modeling and Domain Ontology Engineering in OntoUML. In: Filipe, J., Cordeiro, J. (eds) Enterprise Information Systems. ICEIS 2009. Lecture Notes in Business Information Processing, vol 24. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-01347-8_44
Download citation
DOI: https://doi.org/10.1007/978-3-642-01347-8_44
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-01346-1
Online ISBN: 978-3-642-01347-8
eBook Packages: Computer ScienceComputer Science (R0)