QQ客服 官方微博 反馈留言

浏览/检索结果: 共6条，第1-6条 帮助 已选(0)清除 条数/页：5101520253035404550556065707580859095100   排序方式：请选择作者升序作者降序题名升序题名降序发表日期升序发表日期降序提交时间升序提交时间降序 Inconsistency-tolerant reasoning with OWL DL 其他 2014-01-01 Zhang, Xiaowang; Xiao, Guohui; Lin, Zuoquan; Van den Bussche, Jan 收藏  |  浏览/下载：1/0  |  提交时间：2015/11/11 Description logics  OWL DL  Quasi-classical logic  Paraconsistent reasoning  Inconsistency-tolerance  DESCRIPTION LOGICS  HANDLING INCONSISTENCY  SEMANTIC WEB  ONTOLOGIES  ARGUMENTATION  FRAMEWORK   Weight-based consistent query answering over inconsistent knowledge bases 期刊论文 KNOWLEDGE AND INFORMATION SYSTEMS, 2013, 卷号: 34, 期号: 2, 页码: 335-371 Du, Jianfeng; Qi, Guilin; Shen, Yi-Dong 收藏  |  浏览/下载：16/0  |  提交时间：2014/12/16 Semantic Web  Description logics  Query answering  Inconsistency-tolerant reasoning  Weight-based semantics   Weight-based consistent query answering over inconsistent ${\mathcal {SHIQ}}$ knowledge bases 期刊论文 Knowledge and Information Systems, 2013, 卷号: Vol.34 No.2, 页码: 335-371 作者:  Jianfeng Du;  Guilin Qi;  Yi-Dong Shen 收藏  |  浏览/下载：4/0  |  提交时间：2019/03/04 Semantic Web  Description logics  Query answering  Inconsistency-tolerant reasoning  Weight-based semantics   Measuring the blame of each formula for inconsistent prioritized knowledge bases 其他 2012-01-01 Mu, Kedian; Liu, Weiru; Jin, Zhi 收藏  |  浏览/下载：4/0  |  提交时间：2015/11/13 Inconsistency measures  prioritized knowledge base  minimal inconsistent subsets  blame of each formula in inconsistency  REQUIREMENTS   Quasi-Classical Description Logic 其他 2012-01-01 Zhang, Xiaowang; Lin, Zuoquan 收藏  |  浏览/下载：2/0  |  提交时间：2015/11/16 Ontology  description logic  quasi-classical logic  paraconsistent logic  multiple-valued Logic  inconsistency-tolerant reasoning  tableau algorithm  HANDLING INCONSISTENCY  PROPOSITIONAL LOGIC  INFORMATION  ALGORITHMS  ALC  OWL   语义Web中描述逻辑本体的可伸缩推理和非一致处理 学位论文 博士, 软件研究所: 中国科学院软件研究所, 2009 杜剑峰 收藏  |  浏览/下载：12/0  |  提交时间：2011/03/17 语义Web  本体  描述逻辑  可伸缩性  非一致处理  一阶逻辑  析取Datalog  命题逻辑  非一致容忍推理  字典序推理