宝塔

宝塔：使用数据日志推理器进行按需付费本体查询回答。在本体丰富的数据集上回答连接查询是许多应用程序的核心推理任务。然而，查询回答在计算上是非常昂贵的，这导致了为了提高可伸缩性而牺牲本体语言的表达能力或查询答案的完整性的查询应答过程的发展。在这篇文章中，我们描述了一个混合的方法，在owl2本体上结合了一个数据日志推理器和一个成熟的owl2推理器，以提供可伸缩的“现收现付”性能。我们方法的关键特性是它将大部分计算委托给数据日志推理器，并且仅在必要时才使用昂贵的owl2推理来完全回答查询。此外，虽然我们的主要目标是有效地回答对owl2本体和数据的查询，但我们的技术结果是非常一般的，我们的方法适用于一阶知识表示语言，这些语言可以通过规则捕捉，允许在头部存在量化和析取；我们唯一的假设是，可以为感兴趣的语言提供一个数据日志推理器和一个成熟的推理器，这两个推理器都被用作“黑匣子”。我们已经在宝塔系统中实现了我们的技术，它结合了数据日志推理器RDFox和owl2推理器HermiT。我们广泛的评估表明，PAGOdA成功地为各种owl2本体、数据集和查询提供了可伸缩的即付即用查询应答。

此软件的关键字

画布中支持的任何元素都将被替换

zbMATH参考文献（参考

显示结果1到3，共3个。
按年份排序(引文)

  1. Botoeva，Elena；Lutz，Carsten；Ryzhikov，Vladislav；Wolter，Frank；Zakharyaschev，Michael:本体论的查询不可分离性（2019）
  2. Glimm，Birte；Kazakov，Yevgeny；Tran，Trung-Kien：通过抽象超越DL-Lite的可伸缩推理（2016）
  3. Zhou，Yujiao；Grau，Bernardo Cuenca；Nenov，Yavor；Kaminski，Mark；Horrocks，Ian:PAGOdA:使用数据日志推理器进行即付即用本体查询回答（2015）