描述逻辑ELU概念及术语公理集的表达能力刻画

doi:10.13328/j.cnki.jos.004460

CORC > 北京大学 > 信息科学技术学院

	描述逻辑ELU概念及术语公理集的表达能力刻画; Characterizing the Expressive Power for Concept Descriptions and Terminological Axioms Boxes in the Description LogicELU
	申宇铭 ; 王驹 ; 唐素勤
刊名	软件学报
	2014
关键词	描述逻辑概念描述术语公理集表达能力 description logic concept description terminological axioms box expressive power
DOI	10.13328/j.cnki.jos.004460
英文摘要	表达能力和推理复杂性是一个逻辑的两个重要特征，也是一对相互制约的关系。解释之间的互模拟关系是从语义的角度刻画逻辑表达能力的一个有效途径，其代表性的结果是命题模态逻辑表达能力的刻画定理--van Benthem刻画定理。给出了描述逻辑ELU(含构造子：原子概念、顶概念、概念交、概念并、完全存在约束)的模拟关系，建立了ELU中概念和术语公理集的表达能力刻画定理，即一阶逻辑公式与ELU中概念和术语公理集等价的充分必要条件。上述结果为寻求表达能力与推理复杂性之间的最佳平衡提供了有效的支持。; 国家自然科学基金; 高可信软件技术教育部重点实验室开放课题; 广西自然科学基金; 中文核心期刊要目总览(PKU); 中国科技核心期刊(ISTIC); 中国科学引文数据库(CSCD); 0; 8; 1794-1805
语种	中文
内容类型	期刊论文
源URL	[http://ir.pku.edu.cn/handle/20.500.11897/219650]
专题	信息科学技术学院
推荐引用方式 GB/T 7714	申宇铭,王驹,唐素勤. 描述逻辑ELU概念及术语公理集的表达能力刻画, Characterizing the Expressive Power for Concept Descriptions and Terminological Axioms Boxes in the Description LogicELU[J]. 软件学报,2014.
APA	申宇铭,王驹,&唐素勤.(2014).描述逻辑ELU概念及术语公理集的表达能力刻画.软件学报.
MLA	申宇铭,et al."描述逻辑ELU概念及术语公理集的表达能力刻画".软件学报 (2014).