1544 search results - page 1 / 309 » Automated Evaluation of Description Logic Reasoning Systems |
107
Voted
DLOG
2007
15 years 2 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 ...
96
Voted
DLOG
1996
15 years 1 months ago
1996
121
Voted
DLOG
2001
15 years 1 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
16 years 23 days ago
2002
Springer
94
Voted
CADE
2005
Springer
15 years 6 months ago
2005
Springer