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 条
  • [41] Extending the description logic εL with threshold concepts induced by concept measures
    Baader, Franz
    Gil, Oliver Fernandez
    [J]. ARTIFICIAL INTELLIGENCE, 2024, 326
  • [42] Separation Logic plus Superposition Calculus = Heap Theorem Prover
    Perez, Juan Antonio Navarro
    Rybalchenko, Andrey
    [J]. ACM SIGPLAN NOTICES, 2011, 46 (06) : 556 - 566
  • [43] Type-2 fuzzy description logic
    Li, Ruixuan
    Wen, Kunmei
    Gu, Xiwu
    Li, Yuhua
    Sun, Xiaolin
    Li, Bing
    [J]. FRONTIERS OF COMPUTER SCIENCE IN CHINA, 2011, 5 (02): : 205 - 215
  • [44] DESCRIPTION PLAUSIBLE LOGIC PROGRAMS FOR STREAM REASONING
    Letia, Ioan Alfred
    Groza, Adrian
    [J]. ICAART: PROCEEDINGS OF THE 4TH INTERNATIONAL CONFERENCE ON AGENTS AND ARTIFICIAL INTELLIGENCE, VOL 1, 2012, : 560 - 566
  • [45] Reasoning within extended fuzzy description logic
    Lu, Jianjiang
    Li, Yanhui
    Zhou, Bo
    Kang, Dazhou
    [J]. KNOWLEDGE-BASED SYSTEMS, 2009, 22 (01) : 28 - 37
  • [46] Mapping of Description Logic to the Relational Data Model
    Andon P.I.
    Reznichenko V.A.
    Chistyakova I.S.
    [J]. Cybernetics and Systems Analysis, 2017, 53 (6) : 963 - 977
  • [47] Syllogistic Knowledge Bases with Description Logic Reasoners
    Cine, Ersin
    [J]. 2018 3RD INTERNATIONAL CONFERENCE ON COMPUTER SCIENCE AND ENGINEERING (UBMK), 2018, : 558 - 563
  • [48] Plausible Description Logic Programs for Stream Reasoning
    Groza, Adrian
    Letia, Ioan Alfred
    [J]. FUTURE INTERNET, 2012, 4 (04): : 865 - 881
  • [49] Functional tolerance analysis based on description logic
    Zhong, Yanru
    Wang, Bingqing
    Huang, Meifa
    Qin, Yuchu
    Wu, Shiwei
    [J]. Jisuanji Jicheng Zhizao Xitong/Computer Integrated Manufacturing Systems, CIMS, 2015, 21 (08): : 2004 - 2013
  • [50] Maintaining consistency of ontologies registry with description logic
    Liu, W
    He, KQ
    He, YT
    [J]. ISWS '05: Proceedings of the 2005 International Symposium on Web Services and Applications, 2005, : 136 - 142
12345