Exploiting Pseudo Models for TBox and ABox Reasoning in Expressive Description Logics
From International Center for Computational Logic
Exploiting Pseudo Models for TBox and ABox Reasoning in Expressive Description Logics
V. HaarslevV. Haarslev, R. MöllerR. Möller, Anni-Yasmin TurhanAnni-Yasmin Turhan
V. Haarslev, R. Möller, Anni-Yasmin Turhan
Exploiting Pseudo Models for TBox and ABox Reasoning in Expressive Description Logics
Proceedings of the International Joint Conference on Automated Reasoning IJCAR'01, LNAI, 2001. Springer
Exploiting Pseudo Models for TBox and ABox Reasoning in Expressive Description Logics
Proceedings of the International Joint Conference on Automated Reasoning IJCAR'01, LNAI, 2001. Springer
- KurzfassungAbstract
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+. - Forschungsgruppe:Research Group: AutomatentheorieAutomata Theory
@inproceedings{ HaarslevMoeller+-IJCAR-01,
author = {V.\ {Haarslev} and R.\ {M{\"o}ller} and A.-Y.\ {Turhan}},
booktitle = {Proceedings of the International Joint Conference on Automated Reasoning {IJCAR'01}},
publisher = {Springer Verlag},
series = {LNAI},
title = {Exploiting Pseudo Models for TBox and ABox Reasoning in Expressive Description Logics},
year = {2001},
}
