中国科学院软件研究所机构知识库
Advanced  
ISCAS OpenIR  > 计算机科学国家重点实验室  > 期刊论文
题名:
描述逻辑μALCIO的语义及推理
其他题名: Semantics and Reasoning of Description Logic μALCIO
作者: 蒋运承 ; 王驹 ; 邓培民 ; 汤庸 ; 周生明
关键词: 描述逻辑
刊名: 计算机学报
发表日期: 2009
卷: 32, 期:7, 页:1280-1290
收录类别: 其他
部门归属: 华南师范大学计算机学院,广州,510631;中国科学院软件研究所计算机科学国家重点实验室,北京,100190;广西师范大学计算机科学与信息工程学院,广西,桂林,541004;广西师范大学计算机科学与信息工程学院,广西,桂林,541004;中山大学计算机科学系,广州,510275;广西师范大学计算机科学与信息工程学院,广西,桂林,541004
摘要: 循环术语集是描述逻辑长期以来的研究难点,它的最基本的问题即语义及推理问题没有得到合理的解决.分析了描述逻辑循环术语集的研究现状和存在的问题,基于混合μ-演算将不动点构造算子引入到含有枚举构造算子的描述逻辑ALCIO中,提出了一种允许包含循环术语集的描述逻辑μALCIO.给出了μALCIO的语法和语义,证明了μALCIO的可满足性推理等价于混合μ-演算的可满足性推理,并利用树自动机理论给出了μALCIO的可满足性推理算法以及给出了推理算法正确性证明和复杂性定理.
语种: 中文
内容类型: 期刊论文
URI标识: http://ir.iscas.ac.cn/handle/311060/7968
Appears in Collections:计算机科学国家重点实验室 _期刊论文

Files in This Item:
File Name/ File Size Content Type Version Access License
描述逻辑_ALCIO的语义及推理.pdf(5247KB)----限制开放-- 联系获取全文

Recommended Citation:
蒋运承,王驹,邓培民,等. 描述逻辑μALCIO的语义及推理[J]. 计算机学报,2009-01-01,32(7):1280-1290.
Service
Recommend this item
Sava as my favorate item
Show this item's statistics
Export Endnote File
Google Scholar
Similar articles in Google Scholar
[蒋运承]'s Articles
[王驹]'s Articles
[邓培民]'s Articles
CSDL cross search
Similar articles in CSDL Cross Search
[蒋运承]‘s Articles
[王驹]‘s Articles
[邓培民]‘s Articles
Related Copyright Policies
Null
Social Bookmarking
Add to CiteULike Add to Connotea Add to Del.icio.us Add to Digg Add to Reddit
所有评论 (0)
暂无评论
 
评注功能仅针对注册用户开放,请您登录
您对该条目有什么异议,请填写以下表单,管理员会尽快联系您。
内 容:
Email:  *
单位:
验证码:   刷新
您在IR的使用过程中有什么好的想法或者建议可以反馈给我们。
标 题:
 *
内 容:
Email:  *
验证码:   刷新

Items in IR are protected by copyright, with all rights reserved, unless otherwise indicated.

 

 

Valid XHTML 1.0!
Copyright © 2007-2017  中国科学院软件研究所 - Feedback
Powered by CSpace