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 条
  • [1] Cardinality Restrictions Within Description Logic Connection Calculi
    Freitas, Fred
    Varzinczak, Ivan
    RULES AND REASONING (RULEML+RR 2018), 2018, 11092 : 65 - 80
  • [2] Generalized satisfiability for the description logic ALC
    Meier, Arne
    Schneider, Thomas
    THEORETICAL COMPUTER SCIENCE, 2013, 505 : 55 - 73
  • [3] BALC: a Belief Extension of Description Logic ALC
    Cai, Shubin
    Ming, Zhong
    Li, Shixian
    PROCEEDINGS OF THE 9TH INTERNATIONAL CONFERENCE FOR YOUNG COMPUTER SCIENTISTS, VOLS 1-5, 2008, : 1711 - +
  • [4] An ALC Description Default Logic with Exceptions-First
    Frota, Debora Farias
    Martins, Ana Teresa
    Alcantara, Joao
    Bustamante, Luis Henrique
    2014 BRAZILIAN CONFERENCE ON INTELLIGENT SYSTEMS (BRACIS), 2014, : 172 - 179
  • [5] f-ALC(D)-LTL: A Fuzzy Spatio-Temporal Description Logic
    Cheng, Haitao
    Ma, Zongmin
    KNOWLEDGE SCIENCE, ENGINEERING AND MANAGEMENT (KSEM 2017): 10TH INTERNATIONAL CONFERENCE, KSEM 2017, MELBOURNE, VIC, AUSTRALIA, AUGUST 19-20, 2017, PROCEEDINGS, 2017, 10412 : 93 - 105
  • [6] An Efficient Tableau Prover using Global Caching for the Description Logic ALC
    Nguyen, Linh Anh
    FUNDAMENTA INFORMATICAE, 2009, 93 (1-3) : 273 - 288
  • [7] A tableau calculus for temporal description logic: the expanding domain case
    Sturm, H
    Wolter, F
    JOURNAL OF LOGIC AND COMPUTATION, 2002, 12 (05) : 809 - 838
  • [8] A Framework for Image Retrieval Based on Uncertainty Description Logic U-ALC
    Wang, Songxin
    Huang, Hailiang
    SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING: THEORY AND PRACTICE, VOL 1, 2012, 114 : 547 - 553
  • [9] A NEUTROSOPHIC DESCRIPTION LOGIC
    Wang, Haibin
    Rogatko, Andre
    Smarandache, Florentin
    Sunderraman, Rajshekhar
    NEW MATHEMATICS AND NATURAL COMPUTATION, 2008, 4 (03) : 273 - 290
  • [10] A neutrosophic Description Logic
    Wang, Haibin
    Rogatko, Andre
    Smarandache, Florentin
    Sunderraman, Rajshekhar
    2006 IEEE INTERNATIONAL CONFERENCE ON GRANULAR COMPUTING, 2006, : 305 - +
12345