An epistemic operator for description logics

被引:62
作者
Donini, FM [1 ]
Lenzerini, M
Nardi, D
Nutt, W
Schaerf, A
机构
[1] Univ Roma La Sapienza, Dipartimento Informat & Sistemist, Rome, Italy
[2] DFKI, German Res Ctr Artificial Intelligence GMBH, Saarbrucken, Germany
关键词
knowledge representation; description logics; epistemic operators; nonmonotonic reasoning; closed-world reasoning; query languages;
D O I
10.1016/S0004-3702(98)00009-5
中图分类号
TP18 [人工智能理论];
学科分类号
081104 [模式识别与智能系统]; 0812 [计算机科学与技术]; 0835 [软件工程]; 1405 [智能科学与技术];
摘要
Description logics (also called terminological logics, or concept languages) are fragments of first-order logic that provide a formal account of the basic features of frame-based systems. However, there are aspects of frame-based systems-such as nonmonotonic reasoning and procedural rules-that cannot be characterized in a standard first-order framework. Such features are needed for real applications, and a clear understanding of the logic underlying them is necessary for principled implementations. We show how description logics enriched with an epistemic operator can formalize such aspects. The logic obtained is a fragment of a. first-order nonmonotonic modal logic. We show that the epistemic operator formalizes procedural rules, as provided in many knowledge representation systems, and enables sophisticated query formulation, including various forms of closed-world reasoning. We provide an effective procedure for answering epistemic queries posed to a knowledge base expressed in a description logic and extend this procedure in order to deal with rules. We also address the computational complexity of reasoning with the epistemic operator, identifying cases in which an appropriate use of the epistemic operator can help in decreasing the complexity of reasoning. (C) 1998 Elsevier Science B.V.
引用
收藏
页码:225 / 274
页数:50
相关论文
共 61 条
[1]
[Anonymous], LECT NOTES ARTIFICIA
[2]
[Anonymous], 1996, PRINC KNOWL REPRESEN
[3]
[Anonymous], HDB LOGIC ARTIFICIAL
[4]
BAADER F, 1992, PRINCIPLES OF KNOWLEDGE REPRESENTATION AND REASONING: PROCEEDINGS OF THE THIRD INTERNATIONAL CONFERENCE (KR 92), P306
[5]
BAADER F, 1991, LECT NOTES ARTIF INT, V567, P67
[6]
BECKER A, 1994, P 18 GERM ANN C ART
[7]
On the relative expressiveness of description logics and predicate logics [J].
Borgida, A .
ARTIFICIAL INTELLIGENCE, 1996, 82 (1-2) :353-367
[8]
BORGIDA A, 1989, P ACM SIGMOD INT C M, P59
[9]
Brachman R., 1985, READINGS KNOWLEDGE R
[10]
Brachman R. J., 1991, Principles of Semantic Networks, P401