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 条

[21] Multimodal Separation Logic for Reasoning About Operational Semantics
Dockins, Robert
Appel, Andrew W.
Hobor, Aquinas
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2008, 218 : 5 - 20
[22] A Logic Language with Stable Model Semantics for Social Reasoning
Buccafurri, Francesco
Caminiti, Gianluca
Laurendi, Rosario
LOGIC PROGRAMMING, PROCEEDINGS, 2008, 5366 : 718 - 723
[23] Stable Model Semantics for Description Logic Terminologies
Di Stefano, Federica
Simkus, Mantas
THIRTY-EIGHTH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE, VOL 38 NO 9, 2024, : 10484 - 10492
[24] A Defeasible Reasoning Approach for Description Logic Ontologies
Moodley, Kody
Meyer, Thomas
Varzinczak, Ivan Jose
PROCEEDINGS OF THE SOUTH AFRICAN INSTITUTE FOR COMPUTER SCIENTISTS AND INFORMATION TECHNOLOGISTS CONFERENCE, 2012, : 69 - 78
[25] REASONING WITH THE FUZZY DESCRIPTION LOGIC fZS I
Zhao, Jidi
Boley, Harold
Du, Weichang
ICFC 2010/ ICNC 2010: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON FUZZY COMPUTATION AND INTERNATIONAL CONFERENCE ON NEURAL COMPUTATION, 2010, : 21 - 30
[26] DESCRIPTION PLAUSIBLE LOGIC PROGRAMS FOR STREAM REASONING
Letia, Ioan Alfred
Groza, Adrian
ICAART: PROCEEDINGS OF THE 4TH INTERNATIONAL CONFERENCE ON AGENTS AND ARTIFICIAL INTELLIGENCE, VOL 1, 2012, : 560 - 566
[27] Reasoning within extended fuzzy description logic
Lu, Jianjiang
Li, Yanhui
Zhou, Bo
Kang, Dazhou
KNOWLEDGE-BASED SYSTEMS, 2009, 22 (01) : 28 - 37
[28] PSPACE reasoning with the description logic ALCF(D)
Lutz, C
LOGIC JOURNAL OF THE IGPL, 2002, 10 (05) : 535 - 568
[29] Algebraic tableau reasoning for the description logic SHOQ
Faddoul, Jocelyne
Haarslev, Volker
JOURNAL OF APPLIED LOGIC, 2010, 8 (04) : 334 - 355
[30] Representation and reasoning on RBAC: A description logic approach
Zhao, C
Heilili, N
Liu, SP
Lin, ZQ
THEORETICAL ASPECTS OF COMPUTING - ICTAC 2005, 2005, 3722 : 381 - 393

← 1 2 3 4 5 →