Lucía Gómez Álvarez
Technische Universität Dresden
Thursday February 2nd, 2023, 14:00
C208, INRIA, Montbonnot
Ontologies and knowledge bases encode, to a certain extent, the standpoints or perspectives of their creators. As differences and conflicts between standpoints arise in multi-agent scenarios, this may challenge the shared creation and usage of knowledge sources. In this talk, I will present standpoint logic, a multi-modal logic suitable for expressing information with semantically heterogeneous vocabularies, where standpoints are partial interpretations of the domain that can be hierarchically organised and combined.
We will begin by introducing the framework of first-order standpoint logic (FOSL) and discussing its linguistic motivation, formal characteristics and some motivation examples. Subsequently, we will move towards decidable fragments of FOSL to provide an overview of our complexity results showing that standpoint logic is a reasonably well-behaved modal logic. Finally, we will discuss current work in implementations to provide practical reasoning support for ontology languages extended by standpoint modelling.