Research output: Contribution to journal › Conference article › peer-review
On the complexity of semantic integration of OWL ontologies. / Kazakov, Yevgeny; Ponomaryov, Denis.
In: CEUR Workshop Proceedings, Vol. 1879, 01.01.2017.Research output: Contribution to journal › Conference article › peer-review
}
TY - JOUR
T1 - On the complexity of semantic integration of OWL ontologies
AU - Kazakov, Yevgeny
AU - Ponomaryov, Denis
PY - 2017/1/1
Y1 - 2017/1/1
N2 - 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. 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.
AB - 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. 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.
UR - http://www.scopus.com/inward/record.url?scp=85027847362&partnerID=8YFLogxK
M3 - Conference article
AN - SCOPUS:85027847362
VL - 1879
JO - CEUR Workshop Proceedings
JF - CEUR Workshop Proceedings
SN - 1613-0073
ER -
ID: 9963172