积分商城

最新搜索： 海速芯 DO-160G stm32f407 can 程序源码 cad 32位单片机
您现在的位置是：首页 > 技术资料 > 非周期tbox框架下的推理——拟经典描述逻辑与超协调表演算
推荐星级：
  • 1
  • 2
  • 3
  • 4
  • 5

非周期tbox框架下的推理——拟经典描述逻辑与超协调表演算

更新时间：2019-07-28 13:51:09 大小：5M 上传用户：sun2152查看TA发布的资源 标签：tbox 下载积分：1分 评价赚积分 （如何评价?） 打赏 收藏 评论(0) 举报

资料介绍

Abstract The forthcoming semantic Web evolving from the current World Wide Web is designed to define the semantics of information and services on the web, thereby endowing the web with intelligence to automatically reason about the web contents. Description logics(DLs) play a substantial role in the semantic Web, since they underlie the W3C-recommended Web ontology language(OWL), which is derived from ontology research in artificial intelligence(AI) in order to achieve the goal of the semantic Web. However, the knowledge and data in the Semantic Web are large-scale, dispersive, multi-authored, and therefore usually inconsistent. It is reasonableand imperative to develop practical reasoning techniques for inconsistent ontologies. This paper proposes a new type of paraconsistent description logics based on Hunter's quasi-classical logic (QCL), which are termed as quasi-classical description logics (QCDLs). 

部分文件列表

文件名 大小
非周期tbox框架下的推理——拟经典描述逻辑与超协调表演算.pdf 5M

【关注B站账户领20积分】

相关下载

全部评论(0)

暂无评论
评论赚积分>>

上传资源 上传优质资源有赏金

热门标签

更多>>

最新上传

  • 打赏
  • 30日榜单

热门下载

资料专题

推荐下载

本站上的所有资源均为源于网上收集或者由用户自行上传，仅供学习和研究使用，无任何商业目的，版权归原作如有侵权，请 来信指出，本站将立即改正。

ICP许可证号：京ICP证070360号     21IC电子网 2000- 版权所有

京ICP备11013301号

京公网安备 11010802024343号