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

• Type: Conference
• Year: 2000
• Where: DLOG
• Authors: Volker Haarslev, Ralf Möller
• Keywords: Automated Reasoning, Description Logic, Description Logic Alcnhr+, DLOG 2000, So-called Pseudo Models