@inproceedings{56557,
  author       = {{Turhan, Anni-Yasmin and Bong, Yusri}},
  booktitle    = {{Proceedings of the 2007 International Workshop on Description Logics (DL2007), Brixen-Bressanone, near Bozen-Bolzano, Italy, 8-10 June, 2007}},
  editor       = {{Calvanese, Diego and Franconi, Enrico and Haarslev, Volker and Lembo, Domenico and Motik, Boris and Turhan, Anni-Yasmin and Tessaris, Sergio}},
  publisher    = {{CEUR-WS.org}},
  title        = {{{Speeding up Approximation with Nicer Concepts}}},
  volume       = {{250}},
  year         = {{2007}},
}

@proceedings{56558,
  editor       = {{Calvanese, Diego and Franconi, Enrico and Haarslev, Volker and Lembo, Domenico and Motik, Boris and Turhan, Anni-Yasmin and Tessaris, Sergio}},
  publisher    = {{CEUR-WS.org}},
  title        = {{{Proceedings of the 2007 International Workshop on Description Logics (DL2007), Brixen-Bressanone, near Bozen-Bolzano, Italy, 8-10 June, 2007}}},
  volume       = {{250}},
  year         = {{2007}},
}

@article{56556,
  author       = {{Baader, Franz and Sertkaya, Baris and Turhan, Anni-Yasmin}},
  journal      = {{J. Appl. Log.}},
  number       = {{3}},
  pages        = {{392–420}},
  title        = {{{Computing the least common subsumer w.r.t. a background terminology}}},
  doi          = {{10.1016/J.JAL.2006.03.002}},
  volume       = {{5}},
  year         = {{2007}},
}

@inproceedings{56559,
  author       = {{Bechhofer, Sean and Liebig, Thorsten and Luther, Marko and Noppens, Olaf and Patel-Schneider, Peter F. and Suntisrivaraporn, Boontawee and Turhan, Anni-Yasmin and Weithöner, Timo}},
  booktitle    = {{Proceedings of the OWLED*06 Workshop on OWL: Experiences and Directions, Athens, Georgia, USA, November 10-11, 2006}},
  editor       = {{Grau, Bernardo Cuenca and Hitzler, Pascal and Shankey, Conor and Wallace, Evan}},
  publisher    = {{CEUR-WS.org}},
  title        = {{{DIG 2.0 – Towards a Flexible Interface for Description Logic Reasoners}}},
  volume       = {{216}},
  year         = {{2006}},
}

@inproceedings{56564,
  author       = {{Baader, Franz and Sertkaya, Baris and Turhan, Anni-Yasmin}},
  booktitle    = {{Logics in Artificial Intelligence, 9th European Conference, JELIA 2004, Lisbon, Portugal, September 27-30, 2004, Proceedings}},
  editor       = {{Alferes, José Júlio and Leite, João Alexandre}},
  pages        = {{400–412}},
  publisher    = {{Springer}},
  title        = {{{Computing the Least Common Subsumer w.r.t. a Background Terminology}}},
  doi          = {{10.1007/978-3-540-30227-8_34}},
  volume       = {{3229}},
  year         = {{2004}},
}

@inproceedings{56561,
  author       = {{Turhan, Anni-Yasmin and Kissig, Christian}},
  booktitle    = {{Automated Reasoning - Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004, Proceedings}},
  editor       = {{Basin, David A. and Rusinowitch, Michaël}},
  pages        = {{321–325}},
  publisher    = {{Springer}},
  title        = {{{Sonic - Non-standard Inferences Go OilEd}}},
  doi          = {{10.1007/978-3-540-25984-8_22}},
  volume       = {{3097}},
  year         = {{2004}},
}

@inproceedings{56562,
  author       = {{Baader, Franz and Sertkaya, Baris and Turhan, Anni-Yasmin}},
  booktitle    = {{Proceedings of the 2004 International Workshop on Description Logics (DL2004), Whistler, British Columbia, Canada, June 6-8, 2004}},
  editor       = {{Haarslev, Volker and Möller, Ralf}},
  publisher    = {{CEUR-WS.org}},
  title        = {{{Computing the Least Common Subsumer w.r.t. a Background Terminology}}},
  volume       = {{104}},
  year         = {{2004}},
}

@inproceedings{56563,
  author       = {{Turhan, Anni-Yasmin and Kissig, Christian}},
  booktitle    = {{Proceedings of the 2004 International Workshop on Description Logics (DL2004), Whistler, British Columbia, Canada, June 6-8, 2004}},
  editor       = {{Haarslev, Volker and Möller, Ralf}},
  publisher    = {{CEUR-WS.org}},
  title        = {{{Sonic: System Description}}},
  volume       = {{104}},
  year         = {{2004}},
}

@inproceedings{56567,
  author       = {{Brandt, Sebastian and Turhan, Anni-Yasmin and Küsters, Ralf}},
  booktitle    = {{Logic for Programming, Artificial Intelligence, and Reasoning, 10th International Conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003, Proceedings}},
  editor       = {{Vardi, Moshe Y. and Voronkov, Andrei}},
  pages        = {{122–136}},
  publisher    = {{Springer}},
  title        = {{{Extensions of Non-standard Inferences to Descriptions Logics with Transitive Roles}}},
  doi          = {{10.1007/978-3-540-39813-4_8}},
  volume       = {{2850}},
  year         = {{2003}},
}

@inproceedings{56566,
  author       = {{Brandt, Sebastian and Turhan, Anni-Yasmin}},
  booktitle    = {{Proceedings of the 2003 International Workshop on Description Logics (DL2003), Rome, Italy September 5-7, 2003}},
  editor       = {{Calvanese, Diego and Giacomo, Giuseppe De and Franconi, Enrico}},
  publisher    = {{CEUR-WS.org}},
  title        = {{{Computing Least Common Subsumers for FLE\(^\mbox+\)}}},
  volume       = {{81}},
  year         = {{2003}},
}

@inproceedings{56569,
  author       = {{Baader, Franz and Turhan, Anni-Yasmin}},
  booktitle    = {{KI 2002: Advances in Artificial Intelligence, 25th Annual German Conference on AI, KI 2002, Aachen, Germany, September 16-20, 2002, Proceedings}},
  editor       = {{Jarke, Matthias and Koehler, Jana and Lakemeyer, Gerhard}},
  pages        = {{99–113}},
  publisher    = {{Springer}},
  title        = {{{On the Problem of Computing Small Representations of Least Common Subsumers}}},
  doi          = {{10.1007/3-540-45751-8_7}},
  volume       = {{2479}},
  year         = {{2002}},
}

@inproceedings{56568,
  author       = {{Brandt, Sebastian and Küsters, Ralf and Turhan, Anni-Yasmin}},
  booktitle    = {{Proceedings of the 2002 International Workshop on Description Logics (DL2002), Toulouse, France, April 19-21, 2002}},
  editor       = {{Horrocks, Ian and Tessaris, Sergio}},
  publisher    = {{CEUR-WS.org}},
  title        = {{{Approximating ALCN-Concept Descriptions}}},
  volume       = {{53}},
  year         = {{2002}},
}

@inproceedings{56570,
  author       = {{Brandt, Sebastian and Küsters, Ralf and Turhan, Anni-Yasmin}},
  booktitle    = {{Proceedings of the Eights International Conference on Principles and Knowledge Representation and Reasoning (KR-02), Toulouse, France, April 22-25, 2002}},
  editor       = {{Fensel, Dieter and Giunchiglia, Fausto and McGuinness, Deborah L. and Williams, Mary-Anne}},
  pages        = {{203–214}},
  publisher    = {{Morgan Kaufmann}},
  title        = {{{Approximation and Difference in Description Logics}}},
  year         = {{2002}},
}

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