提取 ABox 模块以实现高效本体查询
人工智能
2014-06-12 v4
摘要
从本体 ABox 中提取逻辑独立的片段有助于解决查询具有大型 ABox 的本体时的可处理性问题。在本文中，我们提出了 ABox 模块的形式化定义，使其能保证完全保留关于给定个体集的事实，从而可以独立于本体 TBox 进行推理。利用此类 ABox 模块，孤立或分布式（并行）ABox 推理变得可行，并且可以从本体 ABox 中实现更高效的数据检索。为了计算此类 ABox 模块，我们提出了一种理论方法以及针对 本体的近似方法。对不同种类本体上的模块近似评估表明，平均而言，提取的 ABox 模块显著小于整个 ABox，且基于 ABox 模块的本体推理时间可显著缩短。
引用
@article{arxiv.1305.4859,
title = {Extract ABox Modules for Efficient Ontology Querying},
author = {Jia Xu and Patrick Shironoshita and Ubbo Visser and Nigel John and Mansur Kabuka},
journal= {arXiv preprint arXiv:1305.4859},
year = {2014}
}