Towards a first-order modal formalisation of the unified foundational ontology

In this paper, we present a succinct formalisation of the main categories of the Unified Foundational Ontology (UFO) by summarising and simplifying a fragment of the version of [Gui05]. In this version, we show that the use first-order modal logic with no higher-order constructs suffices for many modelling tasks. We focus here on the case of universals.We slightly modify the original version of UFO by presenting new definitions of the intension and of the extension of universals and by approaching a taxonomy of universals.

Publication type: 
Contributo in atti di convegno
Author or Creator: 
Porello D.
Guizzardi G.
Publisher: 
M. Jeusfeld c/o Redaktion Sun SITE, Informatik V, RWTH Aachen., Aachen, Germania
Source: 
Proceedings of the Joint Ontology Workshops 2017 Episode 3: The Tyrolean Autumn of Ontology, Bozen-Bolzano, Italy, September 21-23, 2017}, Bozen-Bolzano, Italy, 21-23, 2017
info:cnr-pdr/source/autori:Porello D.; Guizzardi G./congresso_nome:Proceedings of the Joint Ontology Workshops 2017 Episode 3: The Tyrolean Autumn of Ontology, Bozen-Bolzano, Italy, September 21-23, 2017}/congresso_luogo:Bozen-Bolzano, Italy/congresso_dat
Date: 
2017
Resource Identifier: 
http://www.cnr.it/prodotto/i/415074
http://www.scopus.com/record/display.url?eid=2-s2.0-85045578481&origin=inward
Language: 
Eng
ISTC Author: 
Daniele Porello's picture
Real name: