A formal theory of conceptual modeling universals

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

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

Fingerprint

Ontology
Computer science
Classifiers
Semantics
Modeling languages

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. 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: Scientific - peer-reviewConference contribution

@inbook{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",
series = "CEUR Workshop Proceedings",
publisher = "Deutsche Forschnungszentrum fur Kunstliche Intelligenz Report",
pages = "10",
editor = "G. Bü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: Scientific - peer-reviewConference contribution

TY - CHAP

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

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