A survey of temporal extensions of description logics

Abstract

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.

DOI: 10.1023/A:1016636131405

Extracted Key Phrases

7 Figures and Tables

0102030'01'03'05'07'09'11'13'15'17
Citations per Year

197 Citations

Semantic Scholar estimates that this publication has 197 citations based on the available data.

See our FAQ for additional information.

Cite this paper

@article{Artale2000ASO, title={A survey of temporal extensions of description logics}, author={Alessandro Artale and Enrico Franconi}, journal={Annals of Mathematics and Artificial Intelligence}, year={2000}, volume={30}, pages={171-210} }