On the Complexity of Semantic Integration of OWL Ontologies

05/12/2017
by   Yevgeny Kazakov, et al.
0

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.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
10/05/2018

A New Method for the Semantic Integration of Multiple OWL Ontologies using Alignments

This work is done as part of a master's thesis project. The goal is to i...
research
09/23/2017

Towards Classification of Web ontologies using the Horizontal and Vertical Segmentation

The new era of the Web is known as the semantic Web or the Web of data. ...
research
05/28/2009

Considerations on Construction Ontologies

The paper proposes an analysis on some existent ontologies, in order to ...
research
04/04/2023

An Embedding-based Approach to Inconsistency-tolerant Reasoning with Inconsistent Ontologies

Inconsistency handling is an important issue in knowledge management. Es...
research
01/20/2021

Bias in ontologies – a preliminary assessment

Logical theories in the form of ontologies and similar artefacts in comp...
research
04/20/2019

Learning the Right Expansion-ordering Heuristics for Satisfiability Testing in OWL Reasoners

Web Ontology Language (OWL) reasoners are used to infer new logical rela...
research
10/18/2018

Semantic Integration in the Information Flow Framework

The Information Flow Framework (IFF) is a descriptive category metatheor...

Please sign up or login with your details

Forgot password? Click here to reset