A model-based tool for conceptual modeling and domain ontology engineering in ontoUML

Lecture Notes in Business Information Processing

Volumn 24 LNBIP, Issue , 2009, Pages 528-538

  Benevides, Alessander Botti ^a   Guizzardi, Giancarlo ^a  

^a FEDERAL UNIVERSITY OF ESPÍRITO SANTO   (Brazil)

Author keywords

Conceptual modeling; Ontology engineering

Indexed keywords

INFORMATION SYSTEMS; LINGUISTICS;

CONCEPTUAL MODEL; CONCEPTUAL MODELING; DOMAIN ONTOLOGIES; GRAPHICAL EDITORS; MODEL-BASED; MODEL-BASED TOOLS; MODELING LANGUAGES; ONTOLOGY ENGINEERING;

ONTOLOGY;

EID: 65949095432     PISSN: 18651348     EISSN: None     Source Type: Book Series    
DOI: 10.1007/978-3-642-01347-8_44     Document Type: Conference Paper

References (29)

1. Levesque, H.J., Brachman, R.J.: Expressiveness and Tractability in Knowledge Representation and Reasoning. In: Computational Intelligence, vol. 3, pp. 78-93 (1985)
2. Object Management Group (OMG): UML 2.0 Superstructure Specification, Doc.# ptc/0308-02 (2003)
3. 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)
4. 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)
5. 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)
6. 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
7. 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
8. Guizzardi, G.: Ontological Foundations for Structural Conceptual Models, Ph.D. Thesis, University of Twente, The Netherlands (2005)
9. 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)
10. 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)
11. 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)
12. Object Management Group (OMG): Meta Object Facility MOF Core Specification, v2.0, Doc.# ptc/06-01-01 (2006)
13. Object Management Group (OMG): Object Constraint Language, v2.0, Doc.# ptc/06-0501 (2006)
14. 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)
15. Eclipse, http://www.eclipse.org
16. 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)
17. Eclipse Modeling Framework Project (EMF), http://www.eclipse.org/ modeling/emf
18. Model Development Tools (MDT), http://www.eclipse.org/modeling/mdt
19. Graphical Modeling Framework (GMF), http://www.eclipse.org/modeling/gmf
20. OntoClean, http://www.ontoclean.org
21. SUMO, http://www.ontologyportal.org
22. IEEE, http://suo.ieee.org
23. Protégé, http://protege.stanford.edu
24. AEON, http://ontoware.org/projects/aeon
25. Sandpiper Software, http://www.sandsoft.com
26. DOE, http://homepages.cwi.nl/∼troncy/DOE
27. Sigma, http://sigmakee.sourceforge.net
28. 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)
29. Guizzardi, G., Halpin, T.: Ontological Foundations for Conceptual Modeling. Applied Ontology 3(1-2), 91-110 (2008) ISSN 1570-5838