Standpoint EL is a multi-modal extension of the popular description logic EL
that allows for the integrated representation of domain knowledge relative to
diverse standpoints or perspectives. Advantageously, its satisfiability problem
has recently been shown to be in PTime, making it a promising framework for
large-scale knowledge integration.
In this paper, we show that we can further push the expressivity of this
formalism, arriving at an extended logic, called Standpoint EL+, which allows
for axiom negation, role chain axioms, self-loops, and other features, while
maintaining tractability. This is achieved by designing a
satisfiability-checking deduction calculus, which at the same time addresses
the need for practical algorithms. We demonstrate the feasibility of our
calculus by presenting a prototypical Datalog implementation of its deduction
rules.

本文中，我们引入了一种称为 Standpoint EL + 的扩展逻辑，它允许公理否定、角色链公理、自我循环等特性，并且通过设计一个满足可实际算法需求的可满足性检查演绎规则，同时保持了可处理性。我们通过展示该演绎规则的一个原型 Datalog 实现来证明实现的可行性。

拓展可处理的多视角推理边界：一种适用于观点 EL+ 的演绎演算法

Pushing the Boundaries of Tractable Multiperspective Reasoning: A  Deduction Calculus for Standpoint EL+

The tractability of the lightweight description logic EL has allowed for the
construction of large and widely used ontologies that support semantic
interoperability. However, comprehensive domains with a broad user base are
often at odds with strong axiomatisations otherwise useful for inferencing,
since these are usually context-dependent and subject to diverging
perspectives. In this paper we introduce Standpoint EL, a multi-modal extension
of EL that allows for the integrated representation of domain knowledge
relative to diverse, possibly conflicting standpoints (or contexts), which can
be hierarchically organised and put in relation to each other. We establish
that Standpoint EL still exhibits EL's favourable PTime standard reasoning,
whereas introducing additional features like empty standpoints, rigid roles,
and nominals makes standard reasoning tasks intractable.

介绍了一种名为 Standpoint EL 的多模态扩展版本，它允许相对于不同且可能相冲突的观点（或上下文）集成表示领域知识，具有轻量级描述逻辑的可解性，同时引入一些额外的功能使得标准的推理任务变得不可行。