ALC中的Tableau算法及其性质

• 作者: 段跃兴
• 来源期刊: 计算机应用与软件
• 学科: 工学
• 关键词: 描述逻辑 Tableau算法 语义Web ALC
• 年，卷（期）: 2010,（10）
• 页码范围: 272-274
• 分类号: TP3
• 字数: 4259字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-386X.2010.10.086

摘要

描述逻辑是一族知识表示的形式化语言,是一阶谓词逻辑的可判定子集,已成为语义Web的理论基础.描述逻辑中ALC是最小命题封闭的,是其它描述语言的基础,而可判定是描述逻辑的最重要的问题,在ALC中Tableau算法巧妙地解决了这一问题,掌握ALC中的Tableau算法是理解各种描述逻辑中可判定性的基础.对ALC中的Tableau算法进行详细阐述,并对其关键的几个性质: 可终止性、完备性和判定性给出了证明,为研究SHOIN(D)中的Tableau算法及性质奠定了基础.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	段跃兴	太原理工大学理学院计算机基础教学部	15	55	4.0	7.0