Relevant closure: A new form of defeasible reasoning for description logics

被引：28
|
作者：
Casini, Giovanni [1 ]
Meyer, Thomas [1 ]
Moodley, Kodylan [1 ]
Nortjé, Riku [1 ]
机构：
[1] Centre for Artificial Intelligence Research (CSIR Meraka and UKZN), South Africa
来源：
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | 2014年 / 8761卷
关键词：
D O I：
10.1007/978-3-319-11558-0_7
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：92 / 106
相关论文
共 50 条
  • [21] Including Quantification in Defeasible Reasoning for the Description Logic EL⊥
    Pensel, Maximilian
    Turhan, Anni-Yasmin
    LOGIC PROGRAMMING AND NONMONOTONIC REASONING, LPNMR 2017, 2017, 10377 : 78 - 84
  • [22] Reasoning with Fuzzy Description Logics CFALC
    He, Siping
    Fang, Meiqi
    ADVANCES IN BUSINESS INTELLIGENCE AND FINANCIAL ENGINEERING, 2008, 5 : 236 - 239
  • [23] Reasoning within fuzzy description logics
    Straccia, U
    JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH, 2001, 14 : 137 - 166
  • [24] Finite model reasoning in description logics
    Calvanese, D
    PRINCIPLES OF KNOWLEDGE REPRESENTATION AND REASONING: PROCEEDINGS OF THE FIFTH INTERNATIONAL CONFERENCE (KR '96), 1996, : 292 - 303
  • [25] Reasoning and quantification in fuzzy description logics
    Sánchez, D
    Tettamanzi, AGB
    FUZZY LOGIC AND APPLICATIONS, 2006, 3849 : 81 - 88
  • [26] Reasoning within fuzzy description logics
    Straccia, Umberto
    Journal of Artificial Intelligence Research, 2001, 14 : 147 - 176
  • [27] Distributed reasoning with fuzzy description logics
    Lu, Jianjiang
    Li, Yanhui
    Zhou, Bo
    Kang, Dazhou
    Zhang, Yafei
    COMPUTATIONAL SCIENCE - ICCS 2007, PT 1, PROCEEDINGS, 2007, 4487 : 196 - +
  • [28] Reasoning in collaboration diagrams by description logics
    Nakanishi, H
    Miura, T
    Shioya, I
    COMPUTERS AND THEIR APPLICATIONS, 2004, : 127 - 130
  • [29] Tractable Reasoning with Bayesian Description Logics
    d'Amato, Claudia
    Fanizzi, Nicola
    Lukasiewicz, Thomas
    SCALABLE UNCERTAINTY MANAGEMENT, SUM 2008, 2008, 5291 : 146 - +
  • [30] Rational closure for all description logics
    Bonatti, P. A.
    ARTIFICIAL INTELLIGENCE, 2019, 274 : 197 - 223
12345