CLASSIC 描述逻辑中子概念的语义与完备算法
人工智能
2009-09-25 v1
摘要
本文分析了 CLASSIC 子概念算法的正确性。CLASSIC 是一种基于描述逻辑的知识表示系统，正在被用于实际应用中。为了高效处理 CLASSIC 描述中的个体，开发商必须使用一个相对于描述逻辑标准模型论语义不完备的算法。我们提供了一个 CLASSIC 描述的变体语义，使得当前实现在该语义下完备，并且可以独立地得到论证。使用描述图（description graphs）证明了多项式时间子概念算法的 soundness 与完备性。这些描述图是 CLASSIC 实现结构的抽象版本，本身也具有独立的价值。
引用
@article{arxiv.cs/9406101,
title = {A Semantics and Complete Algorithm for Subsumption in the CLASSIC Description Logic},
author = {A. Borgida and P. F. Patel-Schneider},
journal= {arXiv preprint arXiv:cs/9406101},
year = {2009}
}
备注
See http://www.jair.org/ for any accompanying files