A Connection Calculus for the Description Logic ALC

被引：4
|
作者：
Freitas, Fred [1 ]
Otten, Jens [1 ,2 ]
机构：
[1] Fed Univ Pernambuco CIn UFPE, Informat Ctr, Recife, PE, Brazil
[2] Univ Potsdam, Inst Informat, Potsdam, Germany
来源：
ADVANCES IN ARTIFICIAL INTELLIGENCE, AI 2016 | 2016年 / 9673卷
关键词：
Description logic; Connection method; Inference system; Reasoning;
D O I：
10.1007/978-3-319-34111-8_30
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
This paper presents a connection calculus for the description logic (DL) ALC. It replaces the usage of Skolem terms and unification by additional annotation and introduces blocking, a typical feature of DL provers, by a new rule, to ensure termination in the case of cyclic ontologies. Besides the connection calculus, a simplified clausal form normalization is presented. Furthermore, termination, soundness and completeness of the calculus are proven.
引用
收藏
页码：243 / 256
页数：14
相关论文
共 50 条
  • [21] Coalition Description Logic with Individuals
    Seylan, Inanc
    Jamroga, Wojciech
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2010, 262 : 231 - 248
  • [22] Description Logic for Rough Concepts
    Manoorkar, Krishna B.
    De Domenico, Andrea
    Palmigiano, Alessandra
    ROUGH SETS, PT I, IJCRS 2024, 2024, 14839 : 67 - 89
  • [23] The Description Logic for Relational Databases
    Ma Yue
    Shen Yuming
    Sui Yuefei
    Cao Cungen
    INTELLIGENT INFORMATION PROCESSING V, 2010, 340 : 64 - 71
  • [24] Model-theoretic inseparability and modularity of description logic ontologies
    Konev, Boris
    Lutz, Carsten
    Walther, Dirk
    Wolter, Frank
    ARTIFICIAL INTELLIGENCE, 2013, 203 : 66 - 103
  • [25] A Fuzzy Knowledge Representation Approach with Description Logic and Logic Program
    Ding, Song
    Tang, Sheng-Qun
    Zhang, Liang
    Liu, Kun
    Qin, Xue
    ADVANCED TECHNOLOGY IN TEACHING - PROCEEDINGS OF THE 2009 3RD INTERNATIONAL CONFERENCE ON TEACHING AND COMPUTATIONAL SCIENCE (WTCS 2009), VOL 2: EDUCATION, PSYCHOLOGY AND COMPUTER SCIENCE, 2012, 117 : 89 - 96
  • [26] Proof Search for the First-Order Connection Calculus in Maude
    Holen, Bjarne
    Johnsen, Einar Broch
    Waaler, Arild
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2009, 238 (03) : 173 - 188
  • [27] A Dual Description Logic for the Relations in Databases
    Li, Fengzhi
    ADVANCED MATERIALS AND COMPUTER SCIENCE, PTS 1-3, 2011, 474-476 : 168 - 171
  • [28] Hybridization of Description Logics and Logic Programming
    Sheela, Arun Raveendran Nair
    SEMANTIC WEB: ESWC 2024 SATELLITE EVENTS, PT II, 2025, 15345 : 135 - 145
  • [29] Prolog Based Description Logic Reasoning
    Lukacsy, Gergely
    Szeredi, Peter
    Kadar, Balazs
    LOGIC PROGRAMMING, PROCEEDINGS, 2008, 5366 : 455 - 469
  • [30] Translating description logic queries to Prolog
    Nagy, Z
    Lukácsy, G
    Szeredi, P
    PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, 2006, 3819 : 168 - 182
12345