DL-Lite 家族及其关系
计算机科学中的逻辑
2014-01-16 v1 人工智能
摘要
最近引入的一系列以 DL-Lite 为共同代号的描述逻辑，一方面由于其推理的计算复杂度较低，另一方面由于其能够表示概念建模形式体系，引起了描述逻辑和语义网社区的关注。本文的主要目的是对原始 DL-Lite 逻辑扩展中的推理沿五个轴线进行彻底而系统的调查：将 布尔连接词和 数量限制添加到概念构造中，允许角色层次结构，允许角色互斥性、对称性、不对称性、自反性、反自反性和传递性约束，以及 采用或放弃唯一名假设。我们分析了所得逻辑的可满足性的组合复杂度，以及实例检查和回答正存在查询的数据复杂度。我们的方法基于将 DL-Lite 逻辑嵌入单变量一阶逻辑的适当片段，这为其性质，特别是计算行为，提供了有用的见解。
引用
@article{arxiv.1401.3487,
title = {The DL-Lite Family and Relations},
author = {Alessandro Artale and Diego Calvanese and Roman Kontchakov and Michael Zakharyaschev},
journal= {arXiv preprint arXiv:1401.3487},
year = {2014}
}