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 条
  • [41] Reasoning in Description Logics with Typicalities and Probabilities of Exceptions
    Pozzato, Gian Luca
    SYMBOLIC AND QUANTITATIVE APPROACHES TO REASONING WITH UNCERTAINTY, ECSQARU 2017, 2017, 10369 : 409 - 420
  • [42] Reasoning with very expressive fuzzy description logics
    Stoilos, Giorgos
    Starnou, Giorgos
    Pan, Jeff Z.
    Tzouvaras, Vassilis
    Horrocks, Ian
    Journal of Artificial Intelligence Research, 1600, 30 : 273 - 320
  • [43] TBox and ABox reasoning in expressive description logics
    DeGiacomo, G
    Lenzerini, M
    PRINCIPLES OF KNOWLEDGE REPRESENTATION AND REASONING: PROCEEDINGS OF THE FIFTH INTERNATIONAL CONFERENCE (KR '96), 1996, : 316 - 327
  • [44] Reasoning and Explanation in EL and in Expressive Description Logics
    Turhan, Anni-Yasmin
    REASONING WEB: SEMANTIC TECHNOLOGIES FOR SOFTWARE ENGINEERING, 2010, 6325 : 1 - 27
  • [45] Defeasible Reasoning in SROεL: from Rational Entailment to Rational Closure
    Giordano, Laura
    Dupre, Daniele Theseider
    FUNDAMENTA INFORMATICAE, 2018, 161 (1-2) : 135 - 161
  • [46] Towards Spatial Reasoning in Fuzzy Description Logics
    Straccia, Umberto
    2009 IEEE INTERNATIONAL CONFERENCE ON FUZZY SYSTEMS, VOLS 1-3, 2009, : 512 - 517
  • [47] Fixed-Domain Reasoning for Description Logics
    Gaggl, Sarah
    Rudolph, Sebastian
    Schweizer, Lukas
    ECAI 2016: 22ND EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE, 2016, 285 : 819 - 827
  • [48] Reasoning with very expressive fuzzy description logics
    Stoilos, Giorgos
    Stamou, Giorgos
    Pan, Jeff Z.
    Tzouvaras, Vassilis
    Horrocks, Ian
    JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH, 2007, 30 : 273 - 320
  • [49] Reasoning in Description Logics by a Reduction to Disjunctive Datalog
    Ullrich Hustadt
    Boris Motik
    Ulrike Sattler
    Journal of Automated Reasoning, 2007, 39 : 351 - 384
  • [50] Reasoning in Fuzzy Description Logics using Automata
    Borgwardt, Stefan
    Penaloza, Rafael
    FUZZY SETS AND SYSTEMS, 2016, 298 : 22 - 43
12345