扩展描述罗辑ALC~+到谓词逻辑的转换研究初探

来源 :云南大学学报(自然科学版) | 被引量 : 0次 | 上传用户：tanwenbin89

【摘要】

：

首先介绍了描述逻辑ALC+,描述逻辑ALC+是在ALC的基础上增加了传递关系、反关系、关系并、关系复合、个体实例集和一般数量约束构造器对其进行了扩展,并给出了ALC+的语法和语

【作者】

：

文斌甘健侯夏幼明徐天任

【机构】

：

云南师范大学计算机科学与信息技术学院,云南师范大学旅游与地理科学学院

【出处】

：

云南大学学报(自然科学版)

【发表日期】

：

2006年S2期

【关键词】

：

描述逻辑 ALC ALC~+ description logics ALC ALC+

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

首先介绍了描述逻辑ALC+,描述逻辑ALC+是在ALC的基础上增加了传递关系、反关系、关系并、关系复合、个体实例集和一般数量约束构造器对其进行了扩展,并给出了ALC+的语法和语义,对ALC+的完备性进行了讨论,谓词逻辑是比较经典的知识表示方法,然后探讨了描述逻辑ALC+到谓词逻辑的转换,给出了描述逻辑ALC+到谓词逻辑的转换思想．

其他文献

标准点亮“国际光日”

从150年前灯泡发明以来,人工照明取得了长足的进步。为了庆祝光在我们生活的各个方面和社会可持续发展中发挥的重要作用,5月16日被联合国教科文组织确定为国际光日。每年5月1

期刊

联合国教科文组织标准点社会可持续发展人工照明IDL文化

缓变动态Reissner-Nordstrm黑洞的熵

采用薄膜brick-wall模型，运用WKB近似，计算了缓变动态Reissner-Nordstroem黑洞的标量场的熵．结果表明，通过适当选取截断因子，仍可得出黑洞熵与视界面积成正比的结论．

期刊

缓变薄膜brick-wall模型黑洞熵slowly changing thin brick-wall model entropy of black h

阿里巴巴联合质检机构和品牌商制定并发布《儿童智能手表》标准,保障儿童消费安全和体验

儿童智能手表的有害物质过量、关键性能参数虚假标注、续航能力差等问题频繁曝出,面对五花八门的品牌、各种各样的功能,如何选择一块合适的智能手表,既能保证孩子佩戴时的安

期刊

智能手表行业标准阿里巴巴消费安全儿童质检机构品牌电子商务平台

贫困村基层组织建设存在问题与对策研究

打好脱贫攻坚,实施乡村振兴,村组织作用巨大。贫困村组织存在的问题阻挠着脱贫攻坚和乡村振兴战略实施,对此,本课题提出对策,为脱贫攻坚和乡村振兴助力。

期刊

贫困村组织建设问题对策

股权分置改革与深化国有企业改革

阐述了在国有企业改革的历史进程中,国有企业经过股权分置后的状况.分析了股权分置在新的历史阶段的缺陷,论述进行股权分置改革的必要性.股权分置改革的实施,有利于国有上市

期刊

股权分置国企改革公司治理结构the capital marketthe state-owned enterprises' reform

香港与内地蔬菜农药残留限量标准比对研究及大湾区食品标准体系建设思考

摘要：在国家重点建设和发展粤港澳大湾区的背景下，本研究选择香港和内地的主要蔬菜品种为研究对象，对两地重点蔬菜产品涉及的农药残留限量指标及限量值规定进行综合比对分析，研究两地蔬菜农药残留限量标准的差异情况，为两地蔬菜质量安全管理和风险防控提供参考，对大湾区食品标准体系建设提出思考与建议。　　关键词：蔬菜农药残留标准比对大湾区食品标准体系　　Comparative Analysis on Pes

期刊

蔬菜农药残留标准比对大湾区食品标准体系vegetablepesticide residuecomparative analysis of stand

东亚地区人为硫酸盐气溶胶辐射气候效应不同模拟方法的对比

利用区域气候模式RegCM2与大气化学模式连接的模拟系统,研究了中国地区人为排放生成的硫酸盐气溶胶分布及其辐射气候效应,并与全球模式的结果进行了比较,同时对比了硫酸盐气

期刊

硫酸盐气溶胶直接辐射强迫气候响应在线模拟离线模拟sulfate aerosoldirect radiative forcingclimate re

“跳出”中国文化圈的自闭症

自闭症如今越来越多的在我们生活中出现,它往往的被世人认为是一种医学上的残疾,是因为患者跟社会不相容。但社会也只是我们多年传承下来的文化的产物,文化心理学鼓励我们跳

期刊

自闭症文化心理学

标准中图的规范化

图是除文字之外表达标准技术内容的另一重要形式。在用文字表达技术内容较困难，或者图提供的信息能够更加简明、直观、清晰地表达标准的技术内容时，则宜使用图，以方便读者对标准的理解。在标准中，通常用图来反映标准中需要规定的结构形式、形状、工艺流程、工作程序或者组织结构等。本文就图在标准中的使用规范进行适当梳理、总结，为标准起草、审查、编辑等相关工作者提供参考。　　一、图的构成　　标准中图的构成至少包括：图

期刊

标准技术工艺流程组织结构工作程序使用规范工作者文字

基于LabVIEW的生物医学信号数据采集程序设计

虚拟仪器是在仪器仪表领域中应用计算机技术所形成的一种新型的、富有生命力的仪器种类.它可以充分利用现有计算机资源,配以独特设计的软硬件来控制、测试硬件,提供和分析测

期刊

虚拟仪器LABVIEWG语言数据采集virtual instrument LabVIEW G language date acquiring

扩展描述罗辑ALC~+到谓词逻辑的转换研究初探

其他学术论文