On the Complexity of Semantic Integration of OWL Ontologies

2017/05/12 by Yevgeny Kazakov, Kazakov, Yevgeny, Denis Ponomaryov +1
Computer Science · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #cs.AI

paper · pdf · doi:10.48550/arxiv.1705.04719

arxiv created 2017/05/12 · arxiv updated 2017/05/16

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.

Related

• A New Method for the Semantic Integration of Multiple OWL Ontologies using Alignments
• When one Logic is Not Enough: Integrating First-order Annotations in OWL Ontologies
• Translating OWL and Semantic Web Rules into Prolog: Moving Toward Description Logic Programs
• TransBox: EL++-closed Ontology Embedding
• Modeling in OWL 2 without Restrictions