1544 search results - page 1 / 309 » Automated Evaluation of Description Logic Reasoning Systems |
89
Voted
DLOG
2007
15 years 1 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
15 years 5 days ago
1996
109
click to vote
DLOG
2001
15 years 7 days 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 11 months ago
2002
Springer
76
Voted
CADE
2005
Springer
15 years 4 months ago
2005
Springer