国家自然科学基金(61103169)
- 作品数：6 被引量：13H指数：3
- 相关作者：王驹申宇铭王娜娜唐素勤康旺强更多>>
- 相关机构：广西师范大学广西师范大学漓江学院贵州工程应用技术学院更多>>
- 发文基金：国家自然科学基金广西壮族自治区自然科学基金教育部重点实验室开放基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 描述逻辑FL_0概念及术语公理集的表达能力刻画被引量：2
- 2014年
- 表达能力和推理复杂性是一个逻辑的两个重要特征,也是一对相互制约的关系。解释之间的互模拟关系是从语义的角度刻画逻辑表达能力的一个有效途径,其代表性的结果是命题模态逻辑表达能力的刻画定理-van Benthem刻画定理。文中给出了描述逻辑FL0(含构造子:原子概念、顶概念、概念交、全称量词约束)的模拟关系,建立了FL0中概念和术语公理集的表达能力刻画定理,即一阶逻辑公式与FL0概念和术语公理集等价的充分必要条件。上述结果为寻求表达能力与推理复杂性之间的最佳平衡提供了有效的支持。
- 申宇铭文习明王驹
- 关键词：描述逻辑
- 基于OMKast的术语关系获取和验证被引量：1
- 2015年
- 为了从海量数据中获取知识,提出了术语间关系的抽取方法:定义了上下位关系和整分关系,在此基础上新增加了N条关系,从关系的定义域和值域、关系的限制条件、关系的公理等出发,准确地定义出关系的内涵,并根据关系的内涵定义出关系的语义特征。最后针对关系表达的灵活性,总结出了关系表述的语法特征和表述文法。结合上述语法特征和语义特征,编写了一种可执行的知识抽取程序——OMKast程序,并从原始文本语料中抽取关系。利用语义特征和统计学的方法验证抽取出的关系。实验结果表明,该方法具有良好的有效性。
- 王娜娜黄运有唐素勤王石曹存根
- 描述逻辑VL的保守扩充被引量：4
- 2013年
- 保守扩充是数理逻辑中一个重要的性质。本体的保守扩充在本体设计和本体集成中扮演重要的角色,它可形式地精练本体、可靠地进行本体合并及在本体内部进行本体模块化。在本体的进化和本体的合并中,保守扩充最基本的任务是判定合并后的本体是否是原始本体的保守扩充,如果不是,那么进化后的本体与原始本体将不能保持一致的逻辑结论。分析了现有的描述逻辑的保守扩充及其相应的判定算法,提出描述逻辑VL的保守扩充,并构建了VL的典范模型,证明了VL的保守扩充的判定算法是指数时间复杂的。
- 聂登国曹发生
- 关键词：描述逻辑本体
- 描述逻辑FL_0的包含推理及其保守扩充被引量：5
- 2015年
- 本体作为知识库表示知识已经成为计算机理论与应用的研究热点.在描述逻辑中,将本体看作一个逻辑理论,一个本体被形式化为给定的描述逻辑系统的一个Tbox.本体是动态的实体,为了适应新领域的发展,需要对原始本体进行扩充.但是扩充后的本体与原始本体是否保持逻辑一致性是目前研究者们所关注的焦点.在Lutz等人研究的基础上探究的保守扩充问题.首先构建了的典范模型,将包含推理问题转换为典范模型的模拟问题;其次由典范模型之间的最大模拟是多项式时间复杂的,证明了的包含推理是多项式时间复杂的;最后给出描述逻辑的保守扩充及其判定算法,证明了的保守扩充的判定算法是指数时间复杂的.
- 聂登国康旺强曹发生王驹
- 关键词：描述逻辑本体
- 基于受限领域本体的中文问句分析被引量：3
- 2013年
- 基于受限领域本体的中文问句的研究方法多数都是将构建的领域本体作为存储知识的知识库,针对问句进行语法、语义相似度的计算或者将它与句型模板进行匹配,再利用本体的查询和推理规则来反馈答案。但上述方法对问句自身语义的处理以及本体查询的精度存在缺陷。为了克服上述不足,侧重用汉语中词的词性和中词来增强问句的结构描述,采用基于形式化的语义框架来刻画问句的语义,并在Jena技术的基础上进行了二次开发。通过分析网络本体语言(OWL)文件中关于本体的属性和等价类的表达规律,将知识的外延与内涵完整地反馈给用户。实验表明,该方法在受限领域本体的问句测试中返回的结果更为精确、合理,扩展性强且无需高成本的语料进行模型的训练,可以有效地应用于网络教学等领域。
- 李炜卓魏秀丽黎槟华申宇铭王驹
- 关键词：领域本体中词形式化语义框架
- 基于依存语法及本体技术的问句分析被引量：1
- 2014年
- 与传统的基于框架的问句分析方法不同,本文结合汉语语法对问句的依存关系进行分析,提取问句的语义及问句各成分间的限制关系,得到主要针对领域本体知识库的问句理解结果。本文把问句分析细化为如下几个过程:命名实体识别、问句分类、问句预处理(包括:分词、词性标注以及句子解析)、问句焦点提取和问句成分间的语义关系及限制提取。最后通过实验验证算法的有效性。
- 唐素勤黄运有王娜娜
- 关键词：问句分析本体
