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 条
  • [31] Resolution in modal, description and hybrid logic
    Areces, C
    de Rijke, M
    de Nivelle, H
    JOURNAL OF LOGIC AND COMPUTATION, 2001, 11 (05) : 717 - 736
  • [32] IMAGE RETRIEVAL QUERIES IN DESCRIPTION LOGIC
    Mocanu, Irina
    Negreanu, Lorina
    ANNALS OF DAAAM FOR 2009 & PROCEEDINGS OF THE 20TH INTERNATIONAL DAAAM SYMPOSIUM, 2009, 20 : 333 - 334
  • [33] Modelling Imprecise Arguments in Description Logic
    Letia, Ioan A.
    Groza, Adrian
    ADVANCES IN ELECTRICAL AND COMPUTER ENGINEERING, 2009, 9 (03) : 94 - 99
  • [34] Non-distributive Description Logic
    van der Berg, Ineke
    De Domenico, Andrea
    Greco, Giuseppe
    Manoorkar, Krishna B.
    Palmigiano, Alessandra
    Panettiere, Mattia
    AUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS, TABLEAUX 2023, 2023, 14278 : 49 - 69
  • [35] Quasi-Classical Description Logic
    Zhang, Xiaowang
    Lin, Zuoquan
    JOURNAL OF MULTIPLE-VALUED LOGIC AND SOFT COMPUTING, 2012, 18 (3-4) : 291 - 327
  • [36] THE DATA COMPLEXITY OF DESCRIPTION LOGIC ONTOLOGIES
    Lutz, Carsten
    Wolter, Frank
    LOGICAL METHODS IN COMPUTER SCIENCE, 2017, 13 (04)
  • [37] Model Checking Using Description Logic
    Ben-David, Shoham
    Trefler, Richard
    Weddell, Grant
    JOURNAL OF LOGIC AND COMPUTATION, 2010, 20 (01) : 111 - 131
  • [38] An Extended Description Logic for Event Ontology
    Liu, Wei
    Xu, Wenjie
    Fu, Jianfeng
    Liu, Zongtian
    Zhong, Zhaomang
    ADVANCES IN GRID AND PERVASIVE COMPUTING, PROCEEDINGS, 2010, 6104 : 471 - 481
  • [39] Reasoning on XBRL metadata in description logic
    Wang, Dong
    Pan, Ding
    Zhang, Yingmin
    Information Technology Journal, 2013, 12 (24) : 8000 - 8004
  • [40] ABox Abduction in the Description Logic ALL
    Klarman, Szymon
    Endriss, Ulle
    Schlobach, Stefan
    JOURNAL OF AUTOMATED REASONING, 2011, 46 (01) : 43 - 80
12345