A Comparison of Paraconsistent Description Logics

来源 :智能科学国际期刊(英文) | 被引量 : 0次 | 上传用户：zshuangjiamin

【摘要】

：

Description logics (DLs) are a family of logic-based knowledge representation formalisms with a number of computer science applications. DLs are especially well

【作者】

：

Norihiro Kamide

【机构】

：

FacultyofInformationTechnologyandBusiness

【出处】

：

智能科学国际期刊(英文)

【发表日期】

：

2013年2期

【关键词】

：

Paraconsistent Description LOGIC Paraconsistent SEMANTICS Four-Valued SEMANTICS

下载到本地 , 更方便阅读

下载此文赞助VIP

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

论文部分内容阅读

Description logics (DLs) are a family of logic-based knowledge representation formalisms with a number of computer science applications. DLs are especially well-known to be valuable for obtaining logical foundations of web ontology languages (e.g., W3C’s

其他文献

青藏高原全天空下行短波辐射的卫星遥感估算研究

回回产卜爹仇贱回——回日E回。”。回祖一回“。回干肉果幻中 N_。NH lP7-ewwe--一”＄ MN。W;- __._——————》砧叫]们羽制作:陈恬’＃陈川个美食 Back to yield

会议

下行短波辐射Heliosat全天空青藏高原

成都地区COPD急性加重期患者中医证候及体质类型分布特点研究

学位

慢性阻塞性肺疾病证候中医体质成都

网络时代的电子病历

随着医疗保健体制的改革和网络技术的发展 ,电子病历的应用日益迫切。本文讲述了电子病历的概念、现状、关键因素和发展前景 ,提出了网络化电子病历的发展方向

期刊

电子病历网络标准化安全性

李鸿章“和戎”思想及其在边防建设中的实践

李鸿章所生活的时代,晚清政府国力衰退,内部危机四伏,外部面对数千年未有之强敌。在前所未有的大变局中,李鸿章走上晚清政坛,长期参与中外交涉。在与西方列强的接触中,李鸿章

学位

李鸿章和戎思想海塞防之争伊犁危机中法战争

民初财政部研究（1912-1916）

财政部是民国初年重要的经济部门,管理会计、库帑、赋税、公债、钱币、官产等事务,监督所辖各官署及府县与公共之财产。在袁世凯政府的五年间,担任过财政总长的有熊希龄、周

学位

周学熙中华民国财政部

Push技术在图书馆网络信息服务中的应用

Push技术是一种新的网上信息服务技术,能够提供及时、主动的定制化信息服务.本文就这一问题,阐述Push技术的含义、Push技术实现方式以及Push技术在图书馆网络信息服务中的应

期刊

PUSH技术信息推送图书馆网络信息服务信息传输CGI频道技术信息代理

网络资源的组织与DC元数据

通过对DC元数据对网络资源的标引和管理的分析,说明它是对网络资源组织与管理的一种新方法.

期刊

DC元数据网络资源组织都柏林核心元素集网络资源管理

On the Limit of Machine Intelligence

Whether digital computers can eventually be as intelligent as humans has been a topic of controversy for decades. Neither side of the debate has provided solid

期刊

ArtificialINTELLIGENCENATUREofCONSCIOUSNESSINTELLIGENTCOMPUTERSArtificial

魔道重生《陈情令》还可期否

期刊

感情线江金榜《陈情令》

基于在线开放课程的翻转课堂模式在地方高校中的应用

目前,国家精品课程、视频公开课、资源共享课、慕课、微课等在线开放课程资源的出现使高校出现课程教学模式的历史性变革,同时翻转课堂模式也成为这场变革的焦点之一。而地方

期刊

在线开放课程翻转课堂模式地方高校

A Comparison of Paraconsistent Description Logics

与本文相关的学术论文