Title: | 基于最大不动点模型的描述逻辑系统FLε的有穷基 |
Alternative Title: | Finite Basis for gfp-Model of Description Logic FLε
|
Author: | 唐素勤
; 蔡自兴
; 王驹
; 蒋运承
|
Keyword: | 描述逻辑
; 有穷基
; 形式概念分析
; 蕴含
; 最大不动点
|
Source: | 计算机研究与发展
|
Issued Date: | 2010
|
Volume: | 47, Issue:9, Pages:1514-1521 | Department: | 中南大学信息科学与工程学院;广西师范大学计算机科学与信息工程学院;计算机科学国家重点实验室(中国科学院软件研究所);
|
Abstract: | 研究了描述逻辑的有穷基问题,分析了有穷基在描述逻辑中的重要意义及其研究现状,并研究了形式概念分析中的属性蕴含和Duguenne-Guigues基问题.利用形式概念分析中Duguenne-Guigues基存在的证明结果,在F.Baader工作基础上设置了描述逻辑的描述背景,重新定义了描述背景下的属性蕴含,证明了带循环术语的描述逻辑系统FLε存在最大不动点语义(greatest fixed-points,gfp)模型,给出了带循环术语的描述逻辑系统FLε在最大不动点模型下的有穷基的存在性定理,并证明有穷基的可靠性和完备性.描述逻辑有穷基可以帮助知识工程师构建一个更适用于推理的描述逻辑知识库. |
Language: | 中文
|
Content Type: | 期刊论文
|
URI: | http://ir.iscas.ac.cn/handle/311060/9964
|
Appears in Collections: | 计算机科学国家重点实验室 _期刊论文
|
File Name/ File Size |
Content Type |
Version |
Access |
License |
|
基于最大不动点模型的描述逻辑系统FLε的有穷基.pdf(569KB) | -- | -- | 限制开放 | -- | 联系获取全文 |
|
Recommended Citation: |
唐素勤,蔡自兴,王驹,等. 基于最大不动点模型的描述逻辑系统FLε的有穷基[J]. 计算机研究与发展,2010-01-01,47(9):1514-1521.
|
|
|