441 search results - page 17 / 89 » Automated Benchmarking of Description Logic Reasoners |
147
click to vote
RWEB
2010
Springer
15 years 7 days ago
2010
Springer
Description Logics (DLs) are the formalism underlying the standard web ontology language OWL 2. DLs have formal semantics which are the basis for powerful reasoning services. In th...
86
Voted
KR
2004
Springer
15 years 7 months ago
2004
Springer
126
Voted
DLOG
2003
15 years 3 months ago
2003
This chapter covers extensions of the basic description logics introduced in Chapter 2 by very expressive constructs that require advanced reasoning techniques. In particular, we ...
135
click to vote
DLOG
2001
15 years 3 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...
115
Voted
CADE
2001
Springer
16 years 2 months ago
2001
Springer
This paper investigates optimization techniques and data structures exploiting the use of so-called pseudo models. These techniques are applied to speed up TBox and ABox reasoning ...