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+ .

• Type: Conference
• Year: 2001
• Where: CADE
• Authors: Anni-Yasmin Turhan, Ralf Möller, Volker Haarslev
• Keywords: Automated Reasoning, CADE 2001, Paper Investigates Optimization, So-called Pseudo Models