# Automated reasoning support for Standpoint-OWL 2

arXiv: https://arxiv.org/abs/2305.00559 · HTML: https://mlsanity.com/paper/2305.00559/

## Key facts

- No citing papers in the map yet (data through 14 Oct 2026).
- Builds on 1 of its 17 references that are in the map.
- First posted on arXiv 30 Apr 2023.

## Builds on (most cited first, 1 of 1)

- [How to Agree to Disagree: Managing Ontological Perspectives using Standpoint Logic](https://mlsanity.com/paper/2206.06793/) (2022)

## Abstract (arXiv)

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.