Approximating horn knowledge bases in regular description logics to have PTIME data complexity

被引：0
|
作者：
Nguyen, Linh Anh [1 ]
机构：
[1] Warsaw Univ, Inst Informat, PL-02097 Warsaw, Poland
来源：
Logic Programming, Proceedings | 2007年 / 4670卷
关键词：
D O I：
10.1007/978-3-540-74610-2_35
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
引用
收藏
页码：438 / 439
页数：2
相关论文
共 21 条
  • [1] Horn Knowledge Bases in Regular Description Logics with PTIME Data Complexity
    Nguyen, Linh Anh
    [J]. FUNDAMENTA INFORMATICAE, 2010, 104 (04) : 349 - 384
  • [2] On Horn Knowledge Bases in Regular Description Logic with Inverse
    Linh Anh Nguyen
    Thi-Bich-Loc Nguyen
    Szalas, Andrzej
    [J]. KNOWLEDGE AND SYSTEMS ENGINEERING (KSE 2013), VOL 1, 2014, 244 : 37 - 49
  • [3] Horn-TeamLog: A Horn Fragment of TeamLog with PTime Data Complexity
    Dunin-Keplicz, Barbara
    Linh Anh Nguyen
    Szalas, Andrzej
    [J]. COMPUTATIONAL COLLECTIVE INTELLIGENCE: TECHNOLOGIES AND APPLICATIONS, 2013, 8083 : 143 - 153
  • [4] Reasoning with Projection in Multimodular Description Logics Knowledge Bases
    Goczyla, Krzysztof
    Waloszek, Aleksander
    Waloszek, Wojciech
    [J]. BEYOND DATABASES, ARCHITECTURES AND STRUCTURES, BDAS 2014, 2014, 424 : 102 - 111
  • [5] Regular Path Queries in Lightweight Description Logics: Complexity and Algorithms
    Bienvenu, Meghyn
    Ortiz, Magdalena
    Simkus, Mantas
    [J]. JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH, 2015, 53 : 315 - 374
  • [6] Data complexity in the εL family of description logics
    Krisnadhi, Adila
    Lutz, Carsten
    [J]. LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE, AND REASONING, PROCEEDINGS, 2007, 4790 : 333 - +
  • [7] Data Complexity of Query Answering in Description Logics
    Calvanese, D.
    De Giacomo, G.
    Lembo, D.
    Lenzerini, M.
    Rosati, R.
    [J]. PROCEEDINGS OF THE TWENTY-FOURTH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE (IJCAI), 2015, : 4163 - 4167
  • [8] Data complexity of query answering in description logics
    Calvanese, Diego
    De Giacomo, Giuseppe
    Lembo, Domenico
    Lenzerini, Maurizio
    Rosati, Riccardo
    [J]. ARTIFICIAL INTELLIGENCE, 2013, 195 : 335 - 360
  • [9] A web application for reasoning on probabilistic description logics knowledge bases
    Zese, Riccardo
    Bellodi, Elena
    [J]. SOFTWARE-PRACTICE & EXPERIENCE, 2023, 53 (09): : 1741 - 1762
  • [10] OPTIMAL COMPRESSION OF PROPOSITIONAL HORN KNOWLEDGE BASES - COMPLEXITY AND APPROXIMATION
    HAMMER, PL
    KOGAN, A
    [J]. ARTIFICIAL INTELLIGENCE, 1993, 64 (01) : 131 - 145
123