OWL 本体语义集成的复杂性
人工智能
2017-05-16 v1
摘要
我们提出了一种利用语义导入关系集成 OWL 本体的新机制。与标准 OWL 导入不同，我们不要求将导入本体的所有公理都纳入推理任务，而仅需它们在所选签名上的逻辑蕴含。这一特性在许多本体集成场景中是自然的，尤其当本体数量庞大时。本文中，我们研究了带有语义导入关系的本体的推理复杂性，并确立了 OWL 各种片段的一系列紧复杂性界。
引用
@article{arxiv.1705.04719,
title = {On the Complexity of Semantic Integration of OWL Ontologies},
author = {Yevgeny Kazakov and Denis Ponomaryov},
journal= {arXiv preprint arXiv:1705.04719},
year = {2017}
}