Towards Statistical Reasoning in Description Logics over Finite Domains

被引：6
|
作者：
Penaloza, Rafael [1 ]
Potyka, Nico [2 ]
机构：
[1] Free Univ Bozen Bolzano, KRDB Res Ctr, Bolzano, Italy
[2] Univ Osnabruck, Osnabruck, Germany
来源：
SCALABLE UNCERTAINTY MANAGEMENT (SUM 2017) | 2017年 / 10564卷
关键词：
D O I：
10.1007/978-3-319-67582-4_20
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
We present a probabilistic extension of the description logic ALC for reasoning about statistical knowledge. We consider conditional statements over proportions of the domain and are interested in the probabilistic-logical consequences of these proportions. After introducing some general reasoning problems and analyzing their properties, we present first algorithms and complexity results for reasoning in some fragments of Statistical ALC.
引用
收藏
页码：280 / 294
页数：15
相关论文
共 50 条
  • [1] Finite model reasoning in description logics
    Calvanese, D
    [J]. PRINCIPLES OF KNOWLEDGE REPRESENTATION AND REASONING: PROCEEDINGS OF THE FIFTH INTERNATIONAL CONFERENCE (KR '96), 1996, : 292 - 303
  • [2] The complexity of finite model reasoning in description logics
    Lutz, C
    Sattler, U
    Tendera, L
    [J]. INFORMATION AND COMPUTATION, 2005, 199 (1-2) : 132 - 171
  • [3] Finite Model Reasoning in Horn Description Logics
    Ibanez-Garcia, Yazmin
    Lutz, Carsten
    Schneider, Thomas
    [J]. FOURTEENTH INTERNATIONAL CONFERENCE ON THE PRINCIPLES OF KNOWLEDGE REPRESENTATION AND REASONING, 2014, : 288 - 297
  • [4] The complexity of finite model reasoning in description logics
    Lutz, C
    Sattler, U
    Tendera, L
    [J]. AUTOMATED DEDUCTION - CADE-19, PROCEEDINGS, 2003, 2741 : 60 - 74
  • [5] Towards Spatial Reasoning in Fuzzy Description Logics
    Straccia, Umberto
    [J]. 2009 IEEE INTERNATIONAL CONFERENCE ON FUZZY SYSTEMS, VOLS 1-3, 2009, : 512 - 517
  • [6] Modal logics, description logics and arithmetic reasoning
    Ohlbach, HJ
    Koehler, J
    [J]. ARTIFICIAL INTELLIGENCE, 1999, 109 (1-2) : 1 - 31
  • [7] Analogical Reasoning in Description Logics
    d'Amato, Claudia
    Fanizzi, Nicola
    Esposito, Floriana
    [J]. UNCERTAINTY REASONING FOR THE SEMANTIC WEB I, 2008, 5327 : 330 - 347
  • [8] Hypertableau Reasoning for Description Logics
    Motik, Boris
    Shearer, Rob
    Horrocks, Ian
    [J]. JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH, 2009, 36 : 165 - 228
  • [9] Automated Reasoning over Deontic Action Logics with Finite Vocabularies
    Castro, Pablo F.
    Maibaum, Thomas S. E.
    [J]. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2013, (139): : 16 - 30
  • [10] Tailoring Temporal Description Logics for Reasoning over Temporal Conceptual Models
    Artale, Alessandro
    Kontchakov, Roman
    Ryzhikov, Vladislav
    Zakharyaschev, Michael
    [J]. FRONTIERS OF COMBINING SYSTEMS, 2011, 6989 : 1 - +
12345