用约束网络与 Grounded Circumscription 扩展 SROIQ
计算机科学中的逻辑
2015-08-04 v1 人工智能
摘要
语义网技术的发展促进了来自不同领域的知识的本体编码。然而，对许多实际领域的建模需要比标准描述逻辑（最突出的是 SROIQ）所支持的更强的表达性。在本文中，我们用约束网络（产生逻辑 SROIQc）和 grounded circumscription（产生逻辑 GC-SROIQ）扩展了极具表达力的描述逻辑 SROIQ。约束建模的应用包括嵌入带有时间或空间信息的本体，而 grounded circumscription 的应用包括可废止推理与封闭世界推理。我们描述了在 SROIQ 中纳入约束建模构造所形成的逻辑的语法与语义，并为其提供了一个可靠、完备且终止的 tableau 算法。我们进一步提供了 SROIQc 中 Grounded Circumscription 的一个直观算法，它遵循 grounded circumscription 的一般框架，并且可应用于一大类目前尚无此类特定算法的表达逻辑。
引用
@article{arxiv.1508.00116,
title = {Extending SROIQ with Constraint Networks and Grounded Circumscription},
author = {Arjun Bhardwaj},
journal= {arXiv preprint arXiv:1508.00116},
year = {2015}
}