Exploiting Pseudo Models for TBox and ABox Reasoning in Expressive Description Logics

V.\ HaarslevV.\ Haarslev, R.\ MöllerR.\ Möller, A.-Y.\ TurhanA.-Y.\ Turhan

Datei:HaarslevMoeller+-IJCAR-01.ps.gz

Download

V.\ Haarslev, R.\ Möller, A.-Y.\ 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

Details
Bibtex

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

The final publication is available at Springer.

@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},
}