1435 search results - page 1 / 287 » Description Logics |
RULEML
2004
Springer
13 years 10 months ago
2004
Springer
We propose to extend description logic with defeasible rules, and to use the inferential mechanism of defeasible logic to reason with description logic constructors.
WWW
2003
ACM
14 years 5 months ago
2003
ACM
DLOG
2007
13 years 7 months ago
2007
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...
CADE
2001
Springer
14 years 5 months ago
2001
Springer
DLOG
2003
13 years 6 months ago
2003
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...