1568 search results - page 4 / 314 » Fusions of Description Logics |
CADE
2001
Springer
15 years 10 months ago
2001
Springer
RACER implements a TBox and ABox reasoner for the logic SHIQ. RACER was the first full-fledged ABox description logic system for a very expressive logic and is based on optimized s...
DLOG
2003
14 years 11 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...
EUSFLAT
2009
14 years 7 months ago
2009
CADE
1998
Springer
15 years 1 months ago
1998
Springer