Abstract
Conceptual Modeling is a discipline of great relevance to several areas in Computer Science. In a series of papers [1,2,3] we have been using the General Ontological Language (GOL) and its underlying upper level ontology, proposed in [4,5], to evaluate the ontological correctness of conceptual models and to develop guidelines for how the constructs of a modeling language (UML) should be used in conceptual modeling. In this paper, we focus on the modeling metaconcepts of classifiers and objects from an ontological point of view. We use a philosophically and psychologically well-founded theory of universals to propose a UML profile for Ontology Representation and Conceptual Modeling. The formal semantics of the proposed modeling elements is presented in a language of modal logics with quantification restricted to Sortal universals.
| Original language | Undefined |
|---|---|
| Title of host publication | First International Workshop on Philosophy and Informatics, WSPI 2004 |
| Editors | G. Büchel, B. Klein, T. Roth-Berghofer |
| Place of Publication | Germany |
| Publisher | Deutsche Forschnungszentrum fur Kunstliche Intelligenz Report |
| Pages | 10 |
| Number of pages | 10 |
| Publication status | Published - 2004 |
| Event | 1st Workshop on Philosophy and Informatics, WSPI 2004 - Cologne, Germany Duration: 31 Mar 2004 → 1 Apr 2004 Conference number: 1 |
Publication series
| Name | CEUR Workshop Proceedings |
|---|---|
| Publisher | CEUR-WS.org |
| Volume | 112 |
| ISSN (Print) | 1613-0073 |
Conference
| Conference | 1st Workshop on Philosophy and Informatics, WSPI 2004 |
|---|---|
| Abbreviated title | WSPI |
| Country/Territory | Germany |
| City | Cologne |
| Period | 31/03/04 → 1/04/04 |
Keywords
- IR-49866
- METIS-222865
- SCS-Services
- EWI-23191
Cite this
- APA
- Author
- BIBTEX
- Harvard
- Standard
- RIS
- Vancouver