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

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

Download

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

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