Towards Ontological Foundations for the Conceptual Modeling of Events

被引：0

作者：

Guizzardi, Giancarlo ^{[1
]}

Wagner, Gerd ^{[2
]}

Falbo, Ricardo de Almeida ^{[1
]}

Guizzardi, Renata S. S. ^{[1
]}

Almeida, Joao Paulo A. ^{[1
]}

机构：

[1] Univ Fed Espirito Santo, Ontol & Conceptual Modeling Res Grp NEMO, Vitoria, ES, Brazil

[2] Brandenburg Univ Tech, Inst Informat, Brandenburg, Germany

来源：

CONCEPTUAL MODELING, ER 2013 | 2013年 / 8217卷

关键词：

Ontological Foundations for Conceptual Modeling; Formal Ontology; Ontology of Events;

D O I：

暂无

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

In recent years, there has been a growing interest in the application of foundational ontologies, i.e., formal ontological theories in the philosophical sense, to provide a theoretically sound foundation for improving the theory and practice of conceptual modeling. In this paper, we present advances on our research on the ontological foundations of conceptual modeling by addressing the concept of events. We present a foundational ontology of events (termed UFO-B) together with its axiomatization in first-order logic. Moreover, we report on an implementation of UFO-B using the computational logic language Alloy, and discuss its consistency, validation and possible uses.

引用

页码：327 / +

页数：3

共 18 条

[1] Allen JF., 1983, COMMUNICATIONS ACM, V26
[2] [Anonymous], 1997, Parts: A study in ontology
[3] Braga B.F.B., 2010, ISSE SPRING, V6
[4] Carolo F.P., 2011, SEM TECHN BUS C SEMT
[5] Galton A., 2012, 7 INT C FORM ONT INF
[6] Guizzardi G., 2005, TELEMATICS I FUNDAME, V015
[7] Guizzardi G., 2008, P 11 IB WORKSH REQ E, P244
[8] Herre H., 2010, HDB THEORY APPL ONTO
[9] Jackson D, 2012, SOFTWARE ABSTRACTIONS: LOGIC, LANGUAGE, AND ANALYSIS, P1
[10] Kaneiwa K, 2007, LECT NOTES COMPUT SC, V4830, P394

← 1 2 →