Abstract:Uniform Interpolation (UI) is an advanced non-standard reasoning service that seeks to refine ontologies by creating rewritten modules. These modules, known as uniform interpolants, retain only "relevant names" while preserving their meanings in the absence of other names. UI holds significant potential across various domains where tailored ontology modules are required. However, realizing its full potential demands highly optimized techniques for generating such modules. Previous studies have identified notable challenges in generating uniform interpolants for EL-ontologies, where their computation is substantially more complex and computationally demanding than standard subset modules. Despite these obstacles, this paper introduces an advanced "forgetting" method tailored for computing uniform interpolants of ELIO-ontologies with ABoxes. We show that with effective normalization and inference strategies, these uniform interpolants can be computed efficiently, matching the speed of standard module computation. A comprehensive evaluation using a prototype implementation of this method achieved a 100% success rate on two major benchmark datasets, Oxford-ISG and BioPortal, with results delivered within seconds. The efficiency of our approach is attributed to our novel linear strategy for introducing definers, in sharp contrast to existing strategies that lead to an exponential increase in definers and computational inefficiency. Our method is unique in its ability to create signature-restricted modules for large-scale ontologies, making it a vital addition to the community's toolkit.

A Platform-Independent Approach for Parallel Reasoning with OWL EL Ontologies Using Graph Representation

A Framework for Parallelizing OWL Classification in Description Logic Reasoners

OWL reasoning over big biomedical data

Scalable Distributed Ontology Reasoning Using DHT-Based Partitioning

Algorithms for Paraconsistent Reasoning with OWL

VEL: A Formally Verified Reasoner for OWL2 EL Profile

Paraconsistent Reasoning with OWL - Algorithms and the ParOWL Reasoner ?

Ontology Based Context Modeling and Reasoning Using Owl

Integrating Relational Databases with Semantic Web Ontologies : Reasoning and Query Answering using Views

GraphOTTER: Evolving LLM-based Graph Reasoning for Complex Table Question Answering

Large-Scale Reasoning with OWL

A Semantic Mapping System for Bridging the Gap between Relational Database and Semantic Web

Computing FO-Rewritings in EL in Practice: from Atomic to Conjunctive Queries

The Complexity of Ontology-Based Data Access with OWL 2 QL and Bounded Treewidth Queries

Towards Practicable Algorithms for Rewriting Graph Queries beyond DL-Lite

What a Surprise! Computing Rewritten Modules Can Be As Efficient As Computing Subset Modules

SQALER: Scaling Question Answering by Decoupling Multi-Hop and Logical Reasoning

A Complete Classification of the Complexity and Rewritability of Ontology-Mediated Queries based on the Description Logic EL

Automated reasoning support for Standpoint-OWL 2

Class Algebra for Ontology Reasoning

When one logic is not enough: Integrating first-order annotations in OWL ontologies