1544 search results - page 1 / 309 » Automated Evaluation of Description Logic Reasoning Systems |
85
Voted
DLOG
2007
14 years 11 months ago
2007
Abstract. The DL implementation group (DIG) has specified a common interface for description logic reasoner. While the original intention was to make it easier for other tools to ...
DLOG
1996
14 years 10 months ago
1996
104
click to vote
DLOG
2001
14 years 11 months ago
2001
This paper investigates an optimization technique for reasoning with qualified number restrictions in the description logic ALCQHR+ . We present a hybrid architecture where a stan...
CADE
2002
Springer
15 years 9 months ago
2002
Springer
CADE
2005
Springer
15 years 3 months ago
2005
Springer