A formal theory of conceptual modeling universals

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    76 Downloads (Pure)


    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
    Number of pages10
    Publication statusPublished - 2004
    Event1st Workshop on Philosophy and Informatics, WSPI 2004 - Cologne, Germany
    Duration: 31 Mar 20041 Apr 2004
    Conference number: 1

    Publication series

    NameCEUR Workshop Proceedings
    ISSN (Print)1613-0073


    Conference1st Workshop on Philosophy and Informatics, WSPI 2004
    Abbreviated titleWSPI


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

    Cite this