{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,5]],"date-time":"2025-10-05T16:57:33Z","timestamp":1759683453972},"publisher-location":"Berlin, Heidelberg","reference-count":29,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642013461"},{"type":"electronic","value":"9783642013478"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-01347-8_44","type":"book-chapter","created":{"date-parts":[[2009,5,4]],"date-time":"2009-05-04T13:06:48Z","timestamp":1241442408000},"page":"528-538","source":"Crossref","is-referenced-by-count":32,"title":["A Model-Based Tool for Conceptual Modeling and Domain Ontology Engineering in OntoUML"],"prefix":"10.1007","author":[{"given":"Alessander Botti","family":"Benevides","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Giancarlo","family":"Guizzardi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"doi-asserted-by":"crossref","unstructured":"Levesque, H.J., Brachman, R.J.: Expressiveness and Tractability in Knowledge Representation and Reasoning. In: Computational Intelligence, vol. 3, pp. 78\u201393 (1985)","key":"44_CR1","DOI":"10.1111\/j.1467-8640.1987.tb00176.x"},{"unstructured":"Object Management Group (OMG): UML 2.0 Superstructure Specification, Doc.# ptc\/03-08-02 (2003)","key":"44_CR2"},{"doi-asserted-by":"crossref","unstructured":"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)","key":"44_CR3","DOI":"10.1145\/568760.568822"},{"doi-asserted-by":"crossref","unstructured":"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)","key":"44_CR4","DOI":"10.1109\/DBIS.2006.1678468"},{"key":"44_CR5","doi-asserted-by":"publisher","first-page":"34","DOI":"10.1145\/505168.505173","volume-title":"Proceedings of the international Conference on Formal ontology in information Systems. FOIS 2001","author":"W. Degen","year":"2001","unstructured":"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.\u00a02001, pp. 34\u201346. ACM, New York (2001)"},{"issue":"1","key":"44_CR6","first-page":"0905","volume":"18","author":"N. Guarino","year":"2006","unstructured":"Guarino, N., Guizzardi, G.: In the Defense of Ontological Foundations for Conceptual Modeling. Invited Paper. Scandinavian Journal of Information Systems\u00a018(1) (2006) ISSN 0905-0167","journal-title":"Scandinavian Journal of Information Systems"},{"key":"44_CR7","volume-title":"Frontiers in Artificial Intelligence and Applications, Databases and Information Systems IV","author":"G. Guizzardi","year":"2007","unstructured":"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"},{"unstructured":"Guizzardi, G.: Ontological Foundations for Structural Conceptual Models, Ph.D. Thesis, University of Twente, The Netherlands (2005)","key":"44_CR8"},{"key":"44_CR9","series-title":"Lecture Notes in Computer Science","first-page":"112","volume-title":"Advanced Information Systems Engineering","author":"G. Guizzardi","year":"2004","unstructured":"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.\u00a03084, pp. 112\u2013126. Springer, Heidelberg (2004)"},{"unstructured":"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\u00e3o Pessoa, Brazil (2007)","key":"44_CR10"},{"unstructured":"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\u201907), 22nd Brazilian Symposium on Databases (SBBD)\/21st Brazilian Symposium on Software Engineering (SBES), Jo\u00e3o Pessoa, Brazil (2007)","key":"44_CR11"},{"unstructured":"Object Management Group (OMG): Meta Object Facility MOF Core Specification, v2.0, Doc.# ptc\/06-01-01 (2006)","key":"44_CR12"},{"unstructured":"Object Management Group (OMG): Object Constraint Language, v2.0, Doc.# ptc\/06-05-01 (2006)","key":"44_CR13"},{"unstructured":"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)","key":"44_CR14"},{"unstructured":"Eclipse, http:\/\/www.eclipse.org","key":"44_CR15"},{"unstructured":"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)","key":"44_CR16"},{"unstructured":"Eclipse Modeling Framework Project (EMF), http:\/\/www.eclipse.org\/modeling\/emf","key":"44_CR17"},{"unstructured":"Model Development Tools (MDT), http:\/\/www.eclipse.org\/modeling\/mdt","key":"44_CR18"},{"unstructured":"Graphical Modeling Framework (GMF), http:\/\/www.eclipse.org\/modeling\/gmf","key":"44_CR19"},{"unstructured":"OntoClean, http:\/\/www.ontoclean.org","key":"44_CR20"},{"unstructured":"SUMO, http:\/\/www.ontologyportal.org","key":"44_CR21"},{"unstructured":"IEEE, http:\/\/suo.ieee.org","key":"44_CR22"},{"unstructured":"Prot\u00e9g\u00e9, http:\/\/protege.stanford.edu","key":"44_CR23"},{"unstructured":"AEON, http:\/\/ontoware.org\/projects\/aeon","key":"44_CR24"},{"unstructured":"Sandpiper Software, http:\/\/www.sandsoft.com","key":"44_CR25"},{"unstructured":"DOE, http:\/\/homepages.cwi.nl\/~troncy\/DOE","key":"44_CR26"},{"unstructured":"Sigma, http:\/\/sigmakee.sourceforge.net","key":"44_CR27"},{"key":"44_CR28","first-page":"3","volume-title":"Proceedings of the 13th International Symposium on Protocol Specification, Testing, and Verification (PSTV XIII)","author":"C. Vissers","year":"1993","unstructured":"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\u201326. Elsevier Science Publishers, Amsterdam (1993)"},{"issue":"1-2","key":"44_CR29","doi-asserted-by":"crossref","first-page":"91","DOI":"10.3233\/AO-2008-0049","volume":"3","author":"G. Guizzardi","year":"2008","unstructured":"Guizzardi, G., Halpin, T.: Ontological Foundations for Conceptual Modeling. Applied Ontology\u00a03(1-2), 91\u2013110 (2008) ISSN 1570-5838","journal-title":"Applied Ontology"}],"container-title":["Lecture Notes in Business Information Processing","Enterprise Information Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-01347-8_44","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,5,17]],"date-time":"2020-05-17T18:19:32Z","timestamp":1589739572000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-01347-8_44"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642013461","9783642013478"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-01347-8_44","relation":{},"ISSN":["1865-1348","1865-1356"],"issn-type":[{"type":"print","value":"1865-1348"},{"type":"electronic","value":"1865-1356"}],"subject":[],"published":{"date-parts":[[2009]]}}}