441 search results - page 11 / 89 » Automated Benchmarking of Description Logic Reasoners |
128
Voted
DLOG
2007
15 years 4 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
2009
14 years 11 months ago
2009
89
Voted
CADE
2008
Springer
16 years 2 months ago
2008
Springer
121
click to vote
DLOG
2001
15 years 3 months ago
2001
In this extended abstract an optimization technique, the so-called signature calculus, for reasoning with number restrictions in description logics is investigated. The calculus i...
DLOG
1996
15 years 3 months ago
1996