主页期刊介绍编委会编辑部服务介绍道德声明在线审稿编委办公编辑办公English
2018-2019年专刊出版计划 微信服务介绍 最新一期:2019年第10期
     
在线出版
各期目录
纸质出版
分辑系列
论文检索
论文排行
综述文章
专刊文章
美文分享
各期封面
E-mail Alerts
RSS
旧版入口
中国科学院软件研究所
  
投稿指南 问题解答 下载区 收费标准 在线投稿
申宇铭,王驹,唐素勤.描述逻辑εLU概念及术语公理集的表达能力刻画.软件学报,2014,25(8):1794-1805
描述逻辑εLU概念及术语公理集的表达能力刻画
Characterizing the Expressive Power for Concept Descriptions and Terminological Axioms Boxes in the Description Logic εLU
投稿时间:2012-12-13  修订日期:2013-06-21
DOI:10.13328/j.cnki.jos.004460
中文关键词:  描述逻辑  概念描述  术语公理集  表达能力
英文关键词:description logic  concept description  terminological axioms box  expressive power
基金项目:国家自然科学基金(60573010,61103169);高可信软件技术教育部重点实验室开放课题(HCST201302);广西自然科学基金(2011GXNSFA018159)
作者单位E-mail
申宇铭 广东外语外贸大学 思科信息学院, 广东 广州 510420 ymshen2002@163.com 
王驹 广西师范大学 计算机科学与信息工程学院, 广西 桂林 541004
高可信软件技术教育部重点实验室(北京大学), 北京 100871 
 
唐素勤 广西师范大学 计算机科学与信息工程学院, 广西 桂林 541004  
摘要点击次数: 1841
全文下载次数: 2302
中文摘要:
      表达能力和推理复杂性是一个逻辑的两个重要特征,也是一对相互制约的关系.解释之间的互模拟关系是从语义的角度刻画逻辑表达能力的一个有效途径,其代表性的结果是命题模态逻辑表达能力的刻画定理——vanBenthem 刻画定理.给出了描述逻辑εLU(含构造子:原子概念、顶概念、概念交、概念并、完全存在约束)的模拟关系,建立了εLU中概念和术语公理集的表达能力刻画定理,即一阶逻辑公式与ELU中概念和术语公理集等价的充分必要条件.上述结果为寻求表达能力与推理复杂性之间的最佳平衡提供了有效的支持.
英文摘要:
      The two most important properties of a logic are its expressive power and the complexity of reasoning, which are also an opposing relation in the logic. Bisimulations between interpretations are effective way to characterize the expressive power, and the van Benthem characterization theorem is a classical result which gives an exact condition for when a first-order formula with one free variable is equivalent to a modal logic formula. This paper provides a simulation for εLU (including atomic concept, top concept, conjunction concept, disjunction concept, and existential quantification). Based on the simulation, the characterization theorems of expressive power for concept descriptions and TBoxes are established to give the sufficient and necessary conditions for when a first-order formula is equivalent to a concept description or a TBox are set up. The above results provide effective supports for the tradeoff between the expressive power and the complexity of reasoning problems.
HTML  下载PDF全文  查看/发表评论  下载PDF阅读器
 

京公网安备 11040202500064号

主办单位:中国科学院软件研究所 中国计算机学会 京ICP备05046678号-4
编辑部电话:+86-10-62562563 E-mail: jos@iscas.ac.cn
Copyright 中国科学院软件研究所《软件学报》版权所有 All Rights Reserved
本刊全文数据库版权所有,未经许可,不得转载,本刊保留追究法律责任的权利