GC-SROIQ(C)：面向 SROIQ 的表达性约束建模与有基限定
人工智能
2017-04-05 v4
摘要
语义网技术的发展促进了来自不同领域的知识本体编码。然而，许多实际领域的建模需要比标准描述逻辑（DLs）更具表达力的表示方案。我们通过约束网络和有基限定对描述逻辑 SROIQ 进行了扩展。约束建模的应用包括将本体嵌入时间或空间信息，而有基限定则允许可废止推理和封闭世界推理。本文通过引入表达性构造，克服了现有约束建模方法的限制。有基限定允许概念和角色最小化，并且对于 DL 是可判定的。我们为有基限定框架提供了一个通用且直观的算法，可应用于一系列逻辑。我们给出了最终得到的逻辑：GC-SROIQ(C)，并为其描述了一种 Tableau 判定过程。
引用
@article{arxiv.1411.0406,
title = {GC-SROIQ(C) : Expressive Constraint Modelling and Grounded Circumscription for SROIQ},
author = {Arjun Bhardwaj and Sangeetha},
journal= {arXiv preprint arXiv:1411.0406},
year = {2017}
}
备注
For an improved formulation of the problem, which addresses critical shortcomings of this paper, please refer to the following : Extending SROIQ with Constraint Networks and Grounded Circumscription, arXiv:1508.00116