基于最大不动点模型的描述逻辑系统FLε的有穷基

	基于最大不动点模型的描述逻辑系统FLε的有穷基
	唐素勤 ; 蔡自兴 ; 王驹 ; 蒋运承
刊名	计算机研究与发展
	2010
卷号	47 期号:9 页码:1514-1521
关键词	描述逻辑有穷基形式概念分析蕴含最大不动点
ISSN号	1000-1239
其他题名	Finite Basis for gfp-Model of Description Logic FLε
中文摘要	研究了描述逻辑的有穷基问题,分析了有穷基在描述逻辑中的重要意义及其研究现状,并研究了形式概念分析中的属性蕴含和Duguenne-Guigues基问题.利用形式概念分析中Duguenne-Guigues基存在的证明结果,在F.Baader工作基础上设置了描述逻辑的描述背景,重新定义了描述背景下的属性蕴含,证明了带循环术语的描述逻辑系统FLε存在最大不动点语义(greatest fixed-points,gfp)模型,给出了带循环术语的描述逻辑系统FLε在最大不动点模型下的有穷基的存在性定理,并证明有穷基的可靠性和完备性.描述逻辑有穷基可以帮助知识工程师构建一个更适用于推理的描述逻辑知识库.
语种	中文
公开日期	2011-05-23
内容类型	期刊论文
源URL	[http://124.16.136.157/handle/311060/9964]
专题	软件研究所_计算机科学国家重点实验室 _期刊论文
推荐引用方式 GB/T 7714	唐素勤,蔡自兴,王驹,等. 基于最大不动点模型的描述逻辑系统FLε的有穷基[J]. 计算机研究与发展,2010,47(9):1514-1521.
APA	唐素勤,蔡自兴,王驹,&蒋运承.(2010).基于最大不动点模型的描述逻辑系统FLε的有穷基.计算机研究与发展,47(9),1514-1521.
MLA	唐素勤,et al."基于最大不动点模型的描述逻辑系统FLε的有穷基".计算机研究与发展 47.9(2010):1514-1521.