1462 search results - page 13 / 293 » Autoepistemic Description Logics |
113
Voted
CADE
2001
Springer
16 years 2 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...
117
click to vote
DLOG
2003
15 years 3 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...
172
Voted
CADE
2010
Springer
15 years 2 months ago
2010
Springer
103
Voted
CADE
2006
Springer
15 years 5 months ago
2006
Springer