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

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

## Key facts

- Cited by 3 papers in the map (data through 14 Oct 2026).
- Builds on 3 of its 56 references that are in the map.
- First posted on arXiv 27 Apr 2023.

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

- [How to Agree to Disagree: Managing Ontological Perspectives using Standpoint Logic](https://mlsanity.com/paper/2206.06793/) (2022)
- [Tractable Diversity: Scalable Multiperspective Ontology Management via Standpoint EL](https://mlsanity.com/paper/2302.13187/) (2023)
- [The Logical Difference for the Lightweight Description Logic EL](https://mlsanity.com/paper/1401.5850/) (2014)

## Built on by (most cited first, 3 of 3)

- [Towards Propositional KLM-Style Defeasible Standpoint Logics](https://mlsanity.com/paper/2410.04245/) (2024)
- [Extending Defeasibility for Propositional Standpoint Logics](https://mlsanity.com/paper/2507.10133/) (2025)
- [Supporting Risk Management for Medical Devices via the Riskman Ontology and Shapes (Preprint)](https://mlsanity.com/paper/2405.09875/) (2024)

## Abstract (arXiv)

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.