Automated reasoning support for Standpoint-OWL 2
This work provides a practical tool for researchers and practitioners in knowledge representation to handle multi-perspective reasoning, though it is incremental as it builds on existing formalisms and reasoners.
The authors tackled the problem of modeling and reasoning with knowledge from diverse, potentially conflicting viewpoints by developing a tool that translates standpoint-enhanced SROIQ to its classical version, enabling the use of existing reasoners for automated support.
We present a tool for modelling and reasoning with knowledge from various diverse (and possibly conflicting) viewpoints. The theoretical underpinnings are provided by enhancing base logics by standpoints according to a recently introduced formalism that we also recall. The tool works by translating the standpoint-enhanced version of the description logic SROIQ to its plain (i.e. classical) version. Existing reasoners can then be directly used to provide automated support for reasoning about diverse standpoints.