2694 search results - page 5 / 539 » A Description Logic of Change |
MHCI
2009
Springer
14 years 3 months ago
2009
Springer
Mobile devices became powerful recently and wireless Internet access is becoming standard. One important class of networked, mobile applications are location based games, making e...
CADE
2001
Springer
14 years 9 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
13 years 10 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...
CADE
2010
Springer
13 years 10 months ago
2010
Springer
EUSFLAT
2009
13 years 6 months ago
2009