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+. © Springer-Verlag Berlin Heidelberg 2001.
CITATION STYLE
Haarslev, V., Möller, R., & Turhan, A. Y. (2001). Exploiting pseudo models for TBox and ABox reasoning in expressive description logics. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 2083 LNAI, pp. 61–75). Springer Verlag. https://doi.org/10.1007/3-540-45744-5_6
Mendeley helps you to discover research relevant for your work.