描述逻辑推理机中 OWL 分类的并行化框架
人工智能
2019-06-20 v1 分布式、并行与集群计算
摘要
在本文中，我们报告了一种将现有的用于 Web 本体语言（OWL）的描述逻辑（DL）推理机并行化的黑盒方法。我们聚焦于 OWL 本体分类，这是一项重要的推理服务，并被所有主流 OWL/DL 推理机所支持。我们提出了一个灵活的并行框架，可应用于现有 OWL 推理机以加速其分类过程。为测试其性能，我们通过并行化主流 OWL 推理机进行概念分类来评估我们的框架。与所选黑盒推理机相比，我们的结果表明，对于大多数真实世界本体，本体分类的挂钟时间可提升一个数量级。
引用
@article{arxiv.1906.07749,
title = {A Framework for Parallelizing OWL Classification in Description Logic Reasoners},
author = {Zixi Quan and Volker Haarslev},
journal= {arXiv preprint arXiv:1906.07749},
year = {2019}
}