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

From International Center for Computational Logic

Toggle side column

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
  • 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: Automatentheorie
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},
}