An Approach to Exploring Description Logic Knowledge Bases

被引：0
|
作者：
Distel, Felix [1 ]
机构：
[1] Tech Univ Dresden, Dresden, Germany
来源：
FORMAL CONCEPTS ANALYSIS, PROCEEDINGS | 2010年 / 5986卷
关键词：
D O I：
暂无
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
This paper is the successor to two previous papers published at the ICFCA conference. In the first paper we have shown that in the Description Logics epsilon L and epsilon L(gfp), the set of general concept inclusions holding in a finite model always has a finite basis. An exploration formalism that can be used to obtain this basis was presented in the second paper. In this paper we show how this formalism can be modified such that counterexamples to GM can be provided in the form of ABox-individuals. In a second part of the paper we examine which description logics can be used for this ABox.
引用
收藏
页码：209 / 224
页数：16
相关论文
共 50 条
  • [1] Description logic knowledge and action bases
    1600, AI Access Foundation (46):
  • [2] Description Logic Knowledge and Action Bases
    Hariri, Babak Bagheri
    Calvanese, Diego
    Montali, Marco
    De Giacomo, Giuseppe
    De Masellis, Riccardo
    Felli, Paolo
    JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH, 2013, 46 : 651 - 686
  • [3] Syllogistic Knowledge Bases with Description Logic Reasoners
    Cine, Ersin
    2018 3RD INTERNATIONAL CONFERENCE ON COMPUTER SCIENCE AND ENGINEERING (UBMK), 2018, : 558 - 563
  • [4] Query Inseparability for Description Logic Knowledge Bases
    Botoeva, E.
    Kontchakov, R.
    Ryzhikov, V
    Wolter, F.
    Zakharyaschev, M.
    FOURTEENTH INTERNATIONAL CONFERENCE ON THE PRINCIPLES OF KNOWLEDGE REPRESENTATION AND REASONING, 2014, : 238 - 247
  • [5] Updating inconsistent Description Logic knowledge bases
    Lenzerini, Maurizio
    Savo, Domenico Fabio
    20TH EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE (ECAI 2012), 2012, 242 : 516 - 521
  • [6] Verification of Description Logic Knowledge and Action Bases
    Hariri, Babak Bagheri
    Calvanese, Diego
    De Giacomo, Giuseppe
    De Masellis, Riccardo
    Felli, Paolo
    Montali, Marco
    20TH EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE (ECAI 2012), 2012, 242 : 103 - +
  • [7] When Are Description Logic Knowledge Bases Indistinguishable?
    Botoeva, E.
    Kontchakov, R.
    Ryzhikov, V.
    Wolter, F.
    Zakharyaschev, M.
    PROCEEDINGS OF THE TWENTY-FOURTH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE (IJCAI), 2015, : 4240 - 4246
  • [8] Realizing Default Logic over Description Logic Knowledge Bases
    Dao-Tran, Minh
    Eiter, Thomas
    Krennwallner, Thomas
    SYMBOLIC AND QUANTITATIVE APPROACHES TO REASONING WITH UNCERTAINTY, PROCEEDINGS, 2009, 5590 : 602 - 613
  • [9] Games for query inseparability of description logic knowledge bases
    Botoeva, Elena
    Kontchakov, Roman
    Ryzhikov, Vladislav
    Wolter, Frank
    Zakharyaschev, Michael
    ARTIFICIAL INTELLIGENCE, 2016, 234 : 78 - 119
  • [10] On Horn Knowledge Bases in Regular Description Logic with Inverse
    Linh Anh Nguyen
    Thi-Bich-Loc Nguyen
    Szalas, Andrzej
    KNOWLEDGE AND SYSTEMS ENGINEERING (KSE 2013), VOL 1, 2014, 244 : 37 - 49
12345