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.
Towards a first-order modal formalisation of the unified foundational ontology
Contributo in atti di convegno
M. Jeusfeld c/o Redaktion Sun SITE, Informatik V, RWTH Aachen., Aachen, Germania
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