A survey of temporal extensions of description logics

被引:91
作者
Artale, A [1 ]
Franconi, E
机构
[1] Univ Manchester, Dept Computat, Manchester M60 1QD, Lancs, England
[2] Univ Manchester, Dept Comp Sci, Manchester M13 9PL, Lancs, England
关键词
description logics; temporal logics;
D O I
10.1023/A:1016636131405
中图分类号
TP18 [人工智能理论];
学科分类号
081104 ; 0812 ; 0835 ; 1405 ;
摘要
This paper surveys the temporal extensions of description logics appearearing in the literature. The analysis considers a large spectrum of approaches appearearing in the temporal description logics area: from the loosely coupled approaches - which comprise, for example, the enhancement of simple description logics with a constraint based mechanism - to the most principled ones - which consider a combined semantics for the abstract and the temporal domains. It will be shown how these latter approaches have a strict connection with temporal logics. Advantages of using temporal description logics are their high expressivity combined with desirable computational properties - such as decidability, soundness and completeness of deduction procedures. In this survey the computational properties of various families of temporal description logics will be pointed out.
引用
收藏
页码:171 / 210
页数:40
相关论文
共 53 条
[1]  
ALLEN JF, 1991, REASONING PLANS, P2
[2]  
[Anonymous], 1985, LOGIQUE ANAL
[3]  
ARTALE A, 1994, MOR KAUF R, P3
[4]  
Artale A., 1999, INT WORKSH DESCR LOG, P145
[5]  
Artale A., 1998, J ARTIFICIAL INTELLI, V9
[6]  
Baader F, 1995, INT JOINT CONF ARTIF, P808
[7]  
BAADER F., 1995, J APPL NONCLASSICAL, V5, P153
[8]  
BAADER F, 1990, TM9004 DFKI
[9]  
BAADER F, 1991, P 12 INT JOINT C ART, P446