2694 search results - page 7 / 539 » A Description Logic of Change |
AISC
1998
Springer
14 years 1 months ago
1998
Springer
Effective optimisation techniques can make a dramatic difference in the performance of knowledge representation systems based on expressive description logics. Because of the corre...
FROCOS
2009
Springer
14 years 3 months ago
2009
Springer
JAIR
2002
13 years 8 months ago
2002
CADE
1999
Springer
14 years 1 months ago
1999
Springer
DLOG
2001
13 years 10 months ago
2001
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 ...