# On the Complexity of Semantic Integration of OWL Ontologies

## TL;DR

This paper introduces a novel approach for integrating OWL ontologies through semantic import relations, reducing reasoning complexity by focusing only on relevant logical implications, especially beneficial for large ontology collections.

## Contribution

It presents a new semantic import mechanism for OWL ontologies and analyzes its reasoning complexity across different OWL fragments, providing tight bounds.

## Key findings

- Semantic import relations simplify reasoning tasks.
- Complexity bounds vary across OWL fragments.
- Approach is scalable for large ontology sets.

## Abstract

We propose a new mechanism for integration of OWL ontologies using semantic import relations. In contrast to the standard OWL importing, we do not require all axioms of the imported ontologies to be taken into account for reasoning tasks, but only their logical implications over a chosen signature. This property comes natural in many ontology integration scenarios, especially when the number of ontologies is large. In this paper, we study the complexity of reasoning over ontologies with semantic import relations and establish a range of tight complexity bounds for various fragments of OWL.