We are pursuing our work on Standpoint logics in relation and independently from knowledge evolution.
In prior work we had shown that it is possible to add standpoints to numerous decidable fragments of first-order logics – including very expressive DLs up to SROIQbs – while preserving their reasoning complexity, so long as standpoint modalities are limited to the axiom level. A more expressive tighter modal integration, where standpoint modalities are also allowed to occur in concept expressions, had so far only been investigated for the much less expressive EL+ logic.
We pushed this line of research further, showing that the SHIQ logic allows for a tight modal integration with standpoints without compromising its ExpTime reasoning complexity [Gómez Álvarez 2024a]. The core insight toward this result is that any satisfiable knowledge base admits a model with only polynomially many worlds. This allowed us to establish a polynomial equisatisfiable translation into plain SHIQ which, beyond showing the theoretical result, enables us to use highly optimised OWL reasoners to provide practical reasoning support for ontology languages extended by standpoint modelling.
| Publications on standpoint logic |