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.

翻译：我们提出了一种工具，用于对来自多种不同（且可能相互冲突）视角的知识进行建模与推理。其理论基础在于依据近期引入的形式化方法（本文亦将重新回顾）向基础逻辑添加立场。该工具通过将描述逻辑SROIQ的立场增强版本转换为其普通（即经典）版本来实现功能。现有推理器随后可被直接用于提供针对多视角推理的自动化支持。