Sciweavers

3244 search results - page 1 / 649
» Extensions to Description Logics
Sort
View
DLOG
2003
13 years 6 months ago
Fixpoint Extensions of Temporal Description Logics
In this paper we introduce a decidable fixpoint extension of temporal Description Logics. We exploit the decidability results obtained for various monodic extensions of Descripti...
Enrico Franconi, David Toman
DLOG
2007
13 years 7 months ago
A Possibilistic Extension of Description Logics
Possibilistic logic provides a convenient tool for dealing with inconsistency and handling uncertainty. In this paper, we propose possibilistic description logics (DLs) as an exten...
Guilin Qi, Jeff Z. Pan, Qiu Ji
CADE
2010
Springer
13 years 6 months ago
Tractable Extensions of the Description Logic EL with Numerical Datatypes
Despoina Magka, Yevgeny Kazakov, Ian Horrocks
AMAI
2000
Springer
13 years 4 months ago
A survey of temporal extensions of description logics
principled ones
Alessandro Artale, Enrico Franconi
DLOG
2003
13 years 6 months ago
Extensions to Description Logics
This chapter considers, on the one hand, extensions of Description Logics by features not available in the basic framework, but considered important for using Description Logics a...
Franz Baader, Ralf Küsters, Frank Wolter