Relations in Ontology-Driven Conceptual Modeling

Fonseca, Claudenir M.; Porello, Daniele; Guizzardi, Giancarlo; Almeida, João Paulo A.; Guarino, Nicola

doi:10.1007/978-3-030-33223-5_4

Cited by 27 publications

(36 citation statements)

References 20 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…UFO is divided in three parts representing different aspects of reality: Aendurants (dependent and independent objects and their types), B -perdurants (events and situations), and Csocial entities, with notions such as beliefs, desires, intentions, etc. UFO-A has been formalized in First-Order Modal Logics [33,36,37] (e.g., the microtheory of endurant universals contains 22 terms and 31 axioms [36]; the microtheory theory dealing with relations contains 25 terms and 20 axioms) [19]; UFO-B has been completely formalized in First-Order Logics (26 terms and 185 axioms) with a (partial) translation to SROIQ [4].…”

Section: Foundational Ontologiesmentioning

confidence: 99%

See 1 more Smart Citation

Foundational ontologies meet ontology matching: A survey

Santos

Vieira

Schmidt

et al. 2022

Self Cite

View full text Add to dashboard Cite

Ontology matching is a research area aimed at finding ways to make different ontologies interoperable. Solutions to the problem have been proposed from different disciplines, including databases, natural language processing, and machine learning. The role of foundational ontologies for ontology matching is an important one, as they provide a well-founded reference model that can be shared across domains. It is multifaceted and with room for development. This paper presents an overview of the different tasks involved in ontology matching that consider foundational ontologies. We discuss the strengths and weaknesses of existing proposals and highlight the challenges to be addressed in the future.

show abstract

Section: Foundational Ontologiesmentioning

confidence: 99%

“…In [58], SUMO was originally mapped manually to WordNet 1.6 and then manually updated to 3.0. 19 It is the only manual alignment of an ontology to every word sense in WordNet.…”

Section: Matching Foundational Ontologies To Lexiconsmentioning

confidence: 99%

Foundational ontologies meet ontology matching: A survey

Santos

Vieira

Schmidt

et al. 2022

Self Cite

View full text Add to dashboard Cite

show abstract

“…UFO is divided into three incrementally layered compliance sets: UFO-A, an ontology of endurants (objects) [12], UFO-B, an ontology of events (perdurants) [16], and UFO-C, an ontology of social entities built on the top of UFO-A and UFO-B, which addresses terms related to the spheres of intentional and social things [13,17]. For an in-depth discussion and formalization, one should refer to, for example, [2,7,12,14].…”

Section: The Unified Foundational Ontologymentioning

confidence: 99%

“…Finally, the stereotype «category» is used to represent rigid universals (which necessarily instantiate their instances such as physical object, which aggregates essential properties of tables, cars, books). The reader interested in more details on the modeling primitives of OntoUML is referred to [1,7,14].…”

Section: The Unified Foundational Ontologymentioning

confidence: 99%

Modeling the Emergence of Value and Risk in Game Theoretical Approaches

Amaral

Porello²,

Sales

et al. 2021

Advances in Enterprise Engineering XIV

Self Cite

View full text Add to dashboard Cite

Game theory is largely about interactions of agents whose decisions affect each other. The combination of agents' actions corresponds to outcomes, which may impact agents' goals, either positively or negatively. The analysis of the probable consequences and expected utilities of all possible outcomes is fundamental to support agents when deciding whether to engage in a certain strategy. In this paper, we move in this direction by initiating the investigation of the ontological foundation of the emergence of value and risk from outcomes in game theoretical approaches. In order to understand the influence of these forces over outcomes, a precise and rigorous conceptualization, based on foundational ontologies, is needed. To this aim, we present and discuss here a preliminary ontological modeling of basic concepts of game theory, as well as the relation to value, risk and outcomes.

show abstract

“…1 presents a fragment of UFO that contains the categories that are essential for the purpose of this article. UFO has been formally characterized in [12,15,25,26]. Its representation as UML diagrams is used here for illustration/communication purposes only.…”

Section: The Unified Foundational Ontology (Ufo)mentioning

confidence: 99%