@inproceedings{56571,
  author       = {{Haarslev, Volker and Möller, Ralf and Turhan, Anni-Yasmin}},
  booktitle    = {{Automated Reasoning, First International Joint Conference, IJCAR 2001, Siena, Italy, June 18-23, 2001, Proceedings}},
  editor       = {{Goré, Rajeev and Leitsch, Alexander and Nipkow, Tobias}},
  pages        = {{61–75}},
  publisher    = {{Springer}},
  title        = {{{Exploiting Pseudo Models for TBox and ABox Reasoning in Expressive Description Logics}}},
  doi          = {{10.1007/3-540-45744-5_6}},
  volume       = {{2083}},
  year         = {{2001}},
}

@inproceedings{56572,
  author       = {{Baader, Franz and Turhan, Anni-Yasmin}},
  booktitle    = {{Working Notes of the 2001 International Description Logics Workshop (DL-2001), Stanford, CA, USA, August 1-3, 2001}},
  editor       = {{Goble, Carole A. and McGuinness, Deborah L. and Möller, Ralf and Patel-Schneider, Peter F.}},
  publisher    = {{CEUR-WS.org}},
  title        = {{{TBoxes do not Yield a Compact Representation of Least Common Subsumers}}},
  volume       = {{49}},
  year         = {{2001}},
}

@inproceedings{56573,
  author       = {{Turhan, Anni-Yasmin and Molitor, Ralf}},
  booktitle    = {{Working Notes of the 2001 International Description Logics Workshop (DL-2001), Stanford, CA, USA, August 1-3, 2001}},
  editor       = {{Goble, Carole A. and McGuinness, Deborah L. and Möller, Ralf and Patel-Schneider, Peter F.}},
  publisher    = {{CEUR-WS.org}},
  title        = {{{Using Lazy Unfolding for the Computation of Least Common Subsumers}}},
  volume       = {{49}},
  year         = {{2001}},
}

@inproceedings{56574,
  author       = {{Turhan, Anni-Yasmin and Haarslev, Volker}},
  booktitle    = {{Proceedings of the 2000 International Workshop on Description Logics (DL2000), Aachen, Germany, August 17-19, 2000}},
  editor       = {{Baader, Franz and Sattler, Ulrike}},
  pages        = {{247–256}},
  publisher    = {{CEUR-WS.org}},
  title        = {{{Adapting Optimization Techniques to Description Logics with Concrete Domains}}},
  volume       = {{33}},
  year         = {{2000}},
}

@inproceedings{56575,
  author       = {{Haarslev, Volker and Möller, Ralf and Turhan, Anni-Yasmin and Wessel, Michael}},
  booktitle    = {{Proceedings of the 1999 International Workshop on Description Logics (DL’99), Linköping, Sweden, July 30 - August 1, 1999}},
  editor       = {{Lambrix, Patrick and Borgida, Alexander and Lenzerini, Maurizio and Möller, Ralf and Patel-Schneider, Peter F.}},
  publisher    = {{CEUR-WS.org}},
  title        = {{{On Terminological Default Reasoning about Spatial Information: Extended Abstract}}},
  volume       = {{22}},
  year         = {{1999}},
}

@inproceedings{56577,
  author       = {{Haarslev, Volker and Möller, Ralf and Turhan, Anni-Yasmin}},
  booktitle    = {{Proceedings of the 1998 International Workshop on Description Logics (DL’98), IRST, Povo - Trento, Italy, June 6-8, 1998}},
  editor       = {{Franconi, Enrico and Giacomo, Giuseppe De and MacGregor, Robert M. and Nutt, Werner and Welty, Christopher A.}},
  publisher    = {{CEUR-WS.org}},
  title        = {{{Implementing an ALCRP(D) ABox Reasoner - Progress Report}}},
  volume       = {{11}},
  year         = {{1998}},
}

@inproceedings{56576,
  author       = {{Haarslev, Volker and Möller, Ralf and Turhan, Anni-Yasmin}},
  booktitle    = {{Proceedings of the 1998 International Workshop on Description Logics (DL’98), IRST, Povo - Trento, Italy, June 6-8, 1998}},
  editor       = {{Franconi, Enrico and Giacomo, Giuseppe De and MacGregor, Robert M. and Nutt, Werner and Welty, Christopher A.}},
  publisher    = {{CEUR-WS.org}},
  title        = {{{HAM-ALC}}},
  volume       = {{11}},
  year         = {{1998}},
}