机构

• 软件研究所 [11]
• 计算技术研究所 [3]
• 长春光学精密机械与物... [1]
• 数学与系统科学研究院 [1]

采集方式

• OAI收割 [16]

内容类型

• 期刊论文 [11]
• 会议论文 [5]

发表日期

• 2020 [1]
• 2017 [1]
• 2014 [1]
• 2013 [1]
• 2011 [2]
• 2010 [5]
• 更多

学科主题

• Computer S... [4]
• Applied [2]
• Artificial... [1]
• Artificial... [1]
• Electrical... [1]
• Interdisci... [1]
• 更多

筛选

浏览/检索结果: 共16条，第1-10条 帮助 条数/页： 5101520253035404550556065707580859095100 排序方式： 请选择题名升序题名降序提交时间升序提交时间降序作者升序作者降序发表日期升序发表日期降序 Repairing mappings across biomedical ontologies by probabilistic reasoning and belief revision 期刊论文  OAI收割 KNOWLEDGE-BASED SYSTEMS, 2020, 卷号: 209, 页码: 21 作者:  Li, Weizhuo;  Zhang, Songmao   |  收藏  |  浏览/下载：31/0  |  提交时间：2021/01/14 Mapping validation and repair  Biomedical ontologies  Probabilistic description logics  Belief revision   Contrary description logic: Gentzen deduction system 期刊论文  OAI收割 SCIENCE CHINA-INFORMATION SCIENCES, 2017, 卷号: 60, 期号: 11, 页码: 9 作者:  Li, Wei;  Sui, Yuefei;  Luo, Jie;  Chen, Bo   |  收藏  |  浏览/下载：18/0  |  提交时间：2019/12/10 description logics  contradictory  contrary  soundness  completeness   D3L（ccy）的属性及分布式Tableaux推理算法的研究 期刊论文  OAI收割 计算机研究与发展, 2014, 卷号: 51.0, 期号: 003, 页码: 570 作者:  赵晓非;  田东平;  张文波;  史忠植   |  收藏  |  浏览/下载：19/0  |  提交时间：2023/12/04 分布式动态描述逻辑  知识传播  组合一致性  分布式推理  Tableaux推理算法  distributed  dynamic  description  logics  （D3L）   Weight-based consistent query answering over inconsistent knowledge bases 期刊论文  OAI收割 KNOWLEDGE AND INFORMATION SYSTEMS, 2013, 卷号: 34, 期号: 2, 页码: 335-371 Du, Jianfeng; Qi, Guilin; Shen, Yi-Dong   |  收藏  |  浏览/下载：19/0  |  提交时间：2014/12/16 Semantic Web  Description logics  Query answering  Inconsistency-tolerant reasoning  Weight-based semantics   A hybrid system combining intuitionistic fuzzy description logics with intuitionistic fuzzy logic programs (EI CONFERENCE) 会议论文  OAI收割 2011 8th International Conference on Fuzzy Systems and Knowledge Discovery, FSKD 2011, Jointly with the 2011 7th International Conference on Natural Computation, ICNC'11, July 26, 2011 - July 28, 2011, Shanghai, China 作者:  Sun T.;  Shi L. 收藏  |  浏览/下载：13/0  |  提交时间：2013/03/25 In this paper  we present a novel combination of intuitionistic fuzzy Description Logics with intuitionistic fuzzy logic programs  which yields a more realistic and intelligent hybrid system  whitch offers the best of both aspects: the extension of Description Logics with intuitionistic fuzzy sets are suitable for describing vague and imprecise concepts in a given domain  on the other hand  inuitionistic fuzzy logic programs suffice for rules with vague atoms. We show that the new formalism remains faithful to both individual intuitionistic fuzzy components  and we provide the decidability and complexity of the framework under some suitable assumptions. 2011 IEEE.   probabilistic model checking on propositional projection temporal logic 会议论文  OAI收割 International MultiConference of Engineers and Computer Scientists 2011, IMECS 2011, Kowloon, Hong kong, March 16, Yang Xiaoxiao 收藏  |  浏览/下载：16/0  |  提交时间：2011/10/10 Algorithms  Computer hardware  Computer science  Engineers  Markov processes  Probabilistic logics  Temporal logic   finding data tractable description logics for computing a minimum cost diagnosis based on abox decomposition 期刊论文  OAI收割 Tsinghua Science & Technology, 2010, 卷号: 15, 期号: 6, 页码: 623 - 632 Jianfeng Du; Guilin Qi; Jeff Z. Pan   |  收藏  |  浏览/下载：14/0  |  提交时间：2011/05/23 ontology diagnosis  minimum cost diagnosis  description logics  data tractability   on hierarchically developing reactive systems 期刊论文  OAI收割 INFORMATION AND COMPUTATION, 2010, 卷号: 208, 期号: 9, 页码: 997-1019 Zhan Naijun; Majster-Cederbaum Mila   |  收藏  |  浏览/下载：12/0  |  提交时间：2011/05/24 Action refinement  Modal logics  Specification  Verification  Reactive systems   representation and reasoning of context-dependant knowledge in distributed fuzzy ontologies 期刊论文  OAI收割 EXPERT SYSTEMS WITH APPLICATIONS, 2010, 卷号: 37, 期号: 8, 页码: 6052-6060 Jiang Yuncheng; Tang Yong; Wang Ju; Tang Suqin   |  收藏  |  浏览/下载：19/0  |  提交时间：2011/05/24 Knowledge representation and reasoning  Context-aware systems  Fuzzy ontologies  Distributed ontologies  Description logics   expressive fuzzy description logics over lattices 期刊论文  OAI收割 KNOWLEDGE-BASED SYSTEMS, 2010, 卷号: 23, 期号: 2, 页码: 150-161 Jiang Yuncheng; Tang Yong; Wang Ju; Deng Peimin; Tang Suqin   |  收藏  |  浏览/下载：13/0  |  提交时间：2011/05/24 Description logics  Fuzzy description logics  Certainty lattices  Transitive roles  Inverse roles  Role hierarchies