Sciweavers

Share
DLOG
2000

Optimizing TBox and ABox Reasoning with Pseudo Models

9 years 11 months ago
Optimizing TBox and ABox Reasoning with Pseudo Models
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 logic ALCNHR+. The advances are demonstrated by an empirical analysis using the description logic system RACE that implements TBox and ABox reasoning for ALCNHR+.
Volker Haarslev, Ralf Möller
Added 01 Nov 2010
Updated 01 Nov 2010
Type Conference
Year 2000
Where DLOG
Authors Volker Haarslev, Ralf Möller
Comments (0)
books