A formal theory of conceptual modeling universals

G. Guizzardi, Gerd Wagner, Marten J. van Sinderen

Research output: Chapter in Book/Report/Conference proceedingConference contribution

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.
LanguageUndefined
Title of host publicationFirst International Workshop on Philosophy and Informatics, WSPI 2004
EditorsG. Büchel, B. Klein, T. Roth-Berghofer
Place of PublicationGermany
PublisherDeutsche Forschnungszentrum fur Kunstliche Intelligenz Report
Pages10
Number of pages10
StatePublished - 2004

Publication series

NameCEUR Workshop Proceedings
PublisherCEUR-WS.org
Volume112
ISSN (Print)1613-0073

Keywords

  • IR-49866
  • METIS-222865
  • SCS-Services
  • EWI-23191

Cite this

Guizzardi, G., Wagner, G., & van Sinderen, M. J. (2004). A formal theory of conceptual modeling universals. In G. Büchel, B. Klein, & T. Roth-Berghofer (Eds.), First International Workshop on Philosophy and Informatics, WSPI 2004 (pp. 10). (CEUR Workshop Proceedings; Vol. 112). Germany: Deutsche Forschnungszentrum fur Kunstliche Intelligenz Report.
Guizzardi, G. ; Wagner, Gerd ; van Sinderen, Marten J./ A formal theory of conceptual modeling universals. First International Workshop on Philosophy and Informatics, WSPI 2004. editor / G. Büchel ; B. Klein ; T. Roth-Berghofer. Germany : Deutsche Forschnungszentrum fur Kunstliche Intelligenz Report, 2004. pp. 10 (CEUR Workshop Proceedings).
@inproceedings{9ae51770d765406cb378c99806166dc4,
title = "A formal theory of conceptual modeling universals",
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.",
keywords = "IR-49866, METIS-222865, SCS-Services, EWI-23191",
author = "G. Guizzardi and Gerd Wagner and {van Sinderen}, {Marten J.}",
year = "2004",
language = "Undefined",
series = "CEUR Workshop Proceedings",
publisher = "Deutsche Forschnungszentrum fur Kunstliche Intelligenz Report",
pages = "10",
editor = "G. B{\"u}chel and B. Klein and T. Roth-Berghofer",
booktitle = "First International Workshop on Philosophy and Informatics, WSPI 2004",

}

Guizzardi, G, Wagner, G & van Sinderen, MJ 2004, A formal theory of conceptual modeling universals. in G Büchel, B Klein & T Roth-Berghofer (eds), First International Workshop on Philosophy and Informatics, WSPI 2004. CEUR Workshop Proceedings, vol. 112, Deutsche Forschnungszentrum fur Kunstliche Intelligenz Report, Germany, pp. 10.

A formal theory of conceptual modeling universals. / Guizzardi, G.; Wagner, Gerd; van Sinderen, Marten J.

First International Workshop on Philosophy and Informatics, WSPI 2004. ed. / G. Büchel; B. Klein; T. Roth-Berghofer. Germany : Deutsche Forschnungszentrum fur Kunstliche Intelligenz Report, 2004. p. 10 (CEUR Workshop Proceedings; Vol. 112).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

TY - GEN

T1 - A formal theory of conceptual modeling universals

AU - Guizzardi,G.

AU - Wagner,Gerd

AU - van Sinderen,Marten J.

PY - 2004

Y1 - 2004

N2 - 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.

AB - 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.

KW - IR-49866

KW - METIS-222865

KW - SCS-Services

KW - EWI-23191

M3 - Conference contribution

T3 - CEUR Workshop Proceedings

SP - 10

BT - First International Workshop on Philosophy and Informatics, WSPI 2004

PB - Deutsche Forschnungszentrum fur Kunstliche Intelligenz Report

CY - Germany

ER -

Guizzardi G, Wagner G, van Sinderen MJ. A formal theory of conceptual modeling universals. In Büchel G, Klein B, Roth-Berghofer T, editors, First International Workshop on Philosophy and Informatics, WSPI 2004. Germany: Deutsche Forschnungszentrum fur Kunstliche Intelligenz Report. 2004. p. 10. (CEUR Workshop Proceedings).