1435 search results - page 2 / 287 » Description Logics |
DLOG
1998
13 years 10 months ago
1998
DLP (Description Logic Prover) is an experimental description logic knowledge representation system. DLP currently implements a superset of propositional dynamic logic as well as ...
CADE
2001
Springer
14 years 8 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
2007
13 years 11 months ago
2007
AISC
1998
Springer
14 years 24 days 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...
CADE
2010
Springer
13 years 9 months ago
2010
Springer
