standpoint logic is a recently proposed formalism in the context of knowledge
integration, which advocates a multi-perspective approach permitting reasoning
with a selection of diverse and possibly conflicting st
本文提出了一种新的推理演算法，用于描述逻辑 SHOIQ+，该逻辑在语义 Web 等领域具有应用。我们基于超表和超分辨率演算，引入阻塞条件以保证演算终止，并采用任意配对阻塞来减少构造模型的大小。同时，还引入改进的名词引入规则，以确保在存在名词、逆向角色和数量限制等问题时，演算的终止性。我们的实现在多个知名本体上，优于先前的推理器。