Institutional Repository
| 基于最大不动点模型的描述逻辑系统FLε的有穷基 | |
| Alternative Title | Finite Basis for gfp-Model of Description Logic FLε |
| 唐素勤; 蔡自兴; 王驹; 蒋运承 | |
| 2010 | |
| Source | 计算机研究与发展
 |
| ISSN | 1000-1239 |
| Volume | 47Issue:9Pages:1514-1521 |
| English Abstract | 研究了描述逻辑的有穷基问题,分析了有穷基在描述逻辑中的重要意义及其研究现状,并研究了形式概念分析中的属性蕴含和Duguenne-Guigues基问题.利用形式概念分析中Duguenne-Guigues基存在的证明结果,在F.Baader工作基础上设置了描述逻辑的描述背景,重新定义了描述背景下的属性蕴含,证明了带循环术语的描述逻辑系统FLε存在最大不动点语义(greatest fixed-points,gfp)模型,给出了带循环术语的描述逻辑系统FLε在最大不动点模型下的有穷基的存在性定理,并证明有穷基的可靠性和完备性.描述逻辑有穷基可以帮助知识工程师构建一个更适用于推理的描述逻辑知识库. |
| Keyword | 描述逻辑 有穷基 形式概念分析 蕴含 最大不动点 |
| Department | 中南大学信息科学与工程学院;广西师范大学计算机科学与信息工程学院;计算机科学国家重点实验室(中国科学院软件研究所); |
| Language | 中文 |
| Content Type | 期刊论文 |
| URI | http://ir.iscas.ac.cn/handle/311060/9964 |
| Collection | 基础软件与系统重点实验室 |
| Recommended Citation 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. |
| Files in This Item: | ||||||
| File Name/Size | DocType | Version | Access | License | ||
| 基于最大不动点模型的描述逻辑系统FLε的（569KB） | 开放获取 | -- | Application Full Text | |||
Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.
Edit Comment