An argumentation framework for non-monotonic reasoning in description logic | |
Wang, Geng ; Lin, Zuoquan | |
2012 | |
英文摘要 | With the development of semantic web technology, ontology level reasoning among various agents has become an important topic. To handle the inconsistency between different knowledge bases, a non-monotonic reasoning method is always in need. However, for most approaches to non-monotonic ontology reasoning, new mechanism must be added into the reasoning procedure. In this paper, we will try to perform a type of ontology level non-monotonic reasoning by using argumentation theory, and show that such argumentation framework can be completely carried out under description logic. Also, the framework we present can be used for other types of reasoning, for example, inductive reasoning. ? 2012 Springer-Verlag.; EI; 0 |
语种 | 英语 |
出处 | EI |
内容类型 | 其他 |
源URL | [http://hdl.handle.net/20.500.11897/412298] |
专题 | 数学科学学院 |
推荐引用方式 GB/T 7714 | Wang, Geng,Lin, Zuoquan. An argumentation framework for non-monotonic reasoning in description logic. 2012-01-01. |
个性服务 |
查看访问统计 |
相关权益政策 |
暂无数据 |
收藏/分享 |
除非特别说明,本系统中所有内容都受版权保护,并保留所有权利。
修改评论