– Titre: Standpoint Logic: Multi-Perspective Knowledge Representation
– Présentatrice : Lucía Gómez Álvarez
– Résumé: Ontologies and knowledge bases encode, to a certain extent, the standpoints or perspectives of their creators. As differences and conflicts between standpoints should be expected in multi-agent scenarios, this will pose challenges for the shared creation and usage of knowledge sources. Our work pursues the idea that, in some cases, a framework that can handle diverse and possibly conflicting standpoints is more useful and versatile than forcing their unification, and avoids common compromises required for their merge.
To this end, we present standpoint logic, a multi-modal logic that is suitable for expressing information with semantically heterogeneous vocabularies, where a standpoint is a partial interpretation of the domain, and standpoints can be hierarchically organised and combined. After introducing the framework with a propositional base, we provide the syntax and semantics for the first-order standpoint logic (FOSL) and we narrow our attention to the fragment of sentential formulas, for which a polynomial translation into the base language can be established. We then show that we can transfer this result to widely used decidable fragments of FOL such as SROIQ, and thus enjoy straightforward reasoning with off-the-shelf reasoners.