Sciweavers

Share
CADE
2001
Springer

Exploiting Pseudo Models for TBox and ABox Reasoning in Expressive Description Logics

10 years 10 months ago
Exploiting Pseudo Models for TBox and ABox Reasoning in Expressive Description Logics
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 for the description logics ALCNHR+ and ALC(D). The advances are demonstrated by an empirical analysis using the description logic system RACE that implements TBox and ABox reasoning for ALCNHR+ .
Anni-Yasmin Turhan, Ralf Möller, Volker Haars
Added 03 Dec 2009
Updated 03 Dec 2009
Type Conference
Year 2001
Where CADE
Authors Anni-Yasmin Turhan, Ralf Möller, Volker Haarslev
Comments (0)
books