Semantics and reasoning of description logic μALCIO

被引：0

作者：

Jiang, Yun-Cheng ^{[1
,2
]}

Wang, Ju ^{[3
]}

Deng, Pei-Min ^{[3
]}

Tang, Yong ^{[4
]}

Zhou, Sheng-Ming ^{[3
]}

机构：

[1] School of Computer Science, South China Normal University, Guangzhou 510631, China

[2] Sate Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, Beijing 100190, China

[3] College of Computer Science and Information Engineering, Guangxi Normal University, Guilin, Guangxi 541004, China

[4] Department of Computer Science, Sun Yat-Sen University, Guangzhou 510275, China

来源：

Jisuanji Xuebao/Chinese Journal of Computers | 2009年 / 32卷 / 07期

关键词：

Computer circuits - Data description - Calculations - Temporal logic - Terminology - Trees (mathematics) - Forestry - Automata theory - Formal languages;

D O I：

暂无

中图分类号：

学科分类号：

摘要：

Terminological cycles have been a difficult spot in the study of description logics for quite a few years. The basic problems, such as their semantics and reasoning mechanisms, have not been reasonably well settled. The current research progresses and the existing problems of terminological cycles in description logics are analyzed in this paper. Based on hybrid μ-calculus, description logic μALCIO which may include terminlolgical cycles is presented, and μALCIO is derived form description logic ALCIO which includes nominal constructors by adding least and greatest fixpoint constructors. The syntax and semantics of description logic μALCIO are given. The equality between satisfiability of description logic μALCIO and satisfiability of hybrid μ-calculus is proved. The satisfiability reasoning algorithm of description logic μALCIO is presented using tree automata. The correctness of the satisfiability reasoning algorithm is proved, and the complexity property of the reasoning algorithm is given.

引用

页码：1280 / 1290

共 50 条

[31] Error-tolerant reasoning in the description logic Ε
Ludwig, Michel
Peñaloza, Rafael
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2014, 8761 : 107 - 121
[32] Plausible Description Logic Programs for Stream Reasoning
Groza, Adrian
Letia, Ioan Alfred
FUTURE INTERNET, 2012, 4 (04): : 865 - 881
[33] Reasoning in Description Logic Ontologies for Privacy Management
Adrian Nuradiansyah
KI - Künstliche Intelligenz, 2020, 34 : 411 - 415
[34] Bounded model checking with description logic reasoning
Ben-David, Shoham
Trefler, Richard
Weddell, Grant
AUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS, PROCEEDINGS, 2007, 4548 : 60 - +
[35] A diagrammatic reasoning system for the description logic ALC
Dau, Frithjof
Eklund, Peter
JOURNAL OF VISUAL LANGUAGES AND COMPUTING, 2008, 19 (05): : 539 - 573
[36] DESCRIPTION AND REASONING OF VLSI CIRCUIT IN TEMPORAL LOGIC
FUSAOKA, A
SEKI, H
TAKAHASHI, K
NEW GENERATION COMPUTING, 1984, 2 (01) : 79 - 90
[37] Reasoning in Description Logic Ontologies for Privacy Management
Nuradiansyah, Adrian
KUNSTLICHE INTELLIGENZ, 2020, 34 (03): : 411 - 415
[38] A Parameterized Complexity View on Description Logic Reasoning
de Haan, Ronald
SIXTEENTH INTERNATIONAL CONFERENCE ON PRINCIPLES OF KNOWLEDGE REPRESENTATION AND REASONING, 2018, : 359 - 368
[39] DUALITIES BETWEEN ALTERNATIVE SEMANTICS FOR LOGIC PROGRAMMING AND NONMONOTONIC REASONING
BARAL, CR
SUBRAHMANIAN, VS
JOURNAL OF AUTOMATED REASONING, 1993, 10 (03) : 399 - 420
[40] LOGICSEG: Parsing Visual Semantics with Neural Logic Learning and Reasoning
Li, Liulei
Wang, Wenguan
Yi, Yang
2023 IEEE/CVF INTERNATIONAL CONFERENCE ON COMPUTER VISION, ICCV, 2023, : 4099 - 4110

← 1 2 3 4 5 →