Publications of Anni-Yasmin Turhan

• A Practical Approach for Computing Generalization Inferences in EL .
  R. Peñaloza and A.-Y. Turhan.
  In M. Grobelnik and E. Simperl, editors, Proceedings of the 8th European Semantic Web Conference (ESWC'11), Lecture Notes in Computer Science. Springer-Verlag, 2011. To appear.  ©Springer-Verlag
• Description Logic reasoning for Semantic Web Ontologies – Extended abstract.
  Anni-Yasmin Turhan.
  In R. Akerkar, editor, Proc. of the first International Conference on Web Intelligence, Mining and Semantics. ACM, 2011. To appear.
• Small is again Beautiful in Description Logics
  Franz Baader, Carsten Lutz, Anni-Yasmin Turhan.
  KI — Künstliche Intelligenz, 2010.
  (The original publication is available at www.springerlink.com)
• Role-depth Bounded Least Common Subsumers by Completion for EL- and Prob-EL-TBoxes
  Rafael Peñaloza, Anni-Yasmin Turhan.
  In V. Haarslev, D. Toman, and G. Weddell, editors, Proc. of the 2010 Description Logic Workshop (DL'10), volume 573 of CEUR-WS, 2010.
• Towards Approximative Most Specific Concepts by Completion for EL with Subjective Probabilities
  Rafael Peñaloza, Anni-Yasmin Turhan.
  In Thomas Lukasiewicz, Rafael Peñaloza, and Anni-Yasmin Turhan, editors, Proceedings of the First International Workshop on Uncertainty in Description Logics (UniDL'10), volume 613 of CEUR-WS, 2010.
• Reasoning and Explanation in EL and in Expressive Description Logics
  Anni-Yasmin Turhan.
  In Uwe Aßmann, Andreas Bartho, and Christian Wende, editors, Reasoning Web. Semantic Technologies for Software Engineering, number 6325 in LNCS, pages 1-27. Springer, 2010.
  (The original publication is available at Springer)
• Employing Description Logics in Ambient Intelligence for Modeling and Reasoning about Complex Situations.
  Thomas Springer and Anni-Yasmin Turhan.
  Journal of Ambient Intelligence and Smart Environments, 2009.
• On the Computation of Common Subsumers in Description Logics.
  Anni-Yasmin Turhan
  Ph.D. thesis, TU Dresden, Institute for Theoretical Computer Science, 2007
• Speeding up Approximation with nicer Concepts.
  Anni-Yasmin Turhan and Yusri Bong.
  In D. Calvanese, E. Franconi, V. Haarslev, D. Lembo, B. Motik, S. Tessaris and A.-Y. Turhan, editors, Proc. of the 2007 Description Logic Workshop (DL 2007)
• Computing the Least Common Subsumer w.r.t. a Background Terminology
  Franz Baader, Baris Sertkaya, Anni-Yasmin Turhan
  Journal of Applied Logic, 2007
• Pushing Doors for Modeling Contexts with OWL DL -a Case Study
  Anni-Yasmin Turhan, Thomas Springer, Michael Berger
  In Proceedings of the Workshop on Context Modeling and Reasoning (CoMoRea'06). IEEE Computer Society, March 2006.  
• DIG 2.0 — Towards a Flexible Interface for Description Logic Reasoners.
  Anni-Yasmin Turhan, Sean Bechhofer, Alissa Kaplunova, Thorsten Liebig, Marko Luther, Ralf Möller, Olaf Noppens, Peter Patel-Schneider, Boontawee Suntisrivaraporn, and Timo Weithöner.
  In B. Cuenca Grau, P. Hitzler, C. Shankey, and E. Wallace, editors, In Proceedings of the second international workshop OWL: Experiences and Directions, November 2006.
• Pushing the SONIC border — SONIC 1.0
  Anni-Yasmin Turhan
  In Reinhold Letz, editor, FTP 2005 — Fifth International Workshop on First-Order Theorem Proving, 2005.
• SONIC — Non-standard inferences go OilEd
  Anni-Yasmin Turhan, Christian Kissig
  In Proceedings of the 2nd International Joint Conference on Automated Reasoning (IJCAR'04).
• SONIC — System Description
  Anni-Yasmin Turhan, Christian Kissig
  Proceedings of the 2004 International Workshop on Description Logics (DL2004)
• Computing the Least Common Subsumer w.r.t. a Background Terminology
  Franz Baader, Baris Sertkaya, Anni-Yasmin Turhan
  Proceedings of the 2004 International Workshop on Description Logics (DL2004)
• Computing the Least Common Subsumer w.r.t. a Background Terminology
  Franz Baader, Baris Sertkaya, Anni-Yasmin Turhan
  In Proceedings of the 9th European Conference on Logics in Artificial Intelligence (JELIA 2004)
• Extensions of Non-standard Inferences to Description Logics with transitive Roles
  Sebastian Brandt, Ralf Küsters, Anni-Yasmin Turhan
  Proceedings of the 10th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR 2003)
• Computing least common subsumers for FLE^+
  Sebastian Brandt, Anni-Yasmin Turhan
  Proceedings of the DL-2003 Workshop on Description Logics (DL'02), Rome, Italy
• An Approach for Optimized Approximation
  Sebastian Brandt, Anni-Yasmin Turhan
  Proceedings of the KI-2002 Workshop on Applications of Description Logics (KIDLWS'02), Aachen, Germany
• On the problem of computing small representations of least common subsumers
  Franz Baader, Anni-Yasmin Turhan
  Proceedings of the German Conference on Artificial Intelligence, 25th German Conference on Artificial Intelligence (KI 2002), Aachen, Germany
• Approximating ALCN-Concept Descriptions
  Sebastian Brandt, Ralf Küsters, Anni-Yasmin Turhan
  Proceedings of the International Workshop on Description Logics 2002 (DL2002), Toulouse, France.
• Approximation and Difference in Description Logics
  Sebastian Brandt, Ralf Küsters, Anni-Yasmin Turhan
  Proceedings of the Eighth International Conference on Principles Principles of Knowledge Representation and Reasoning (KR2002), Toulouse, France.
• Using Non-standard Inferences in Description Logics - what does it buy me?
  Sebastian Brandt, Anni-Yasmin Turhan
  Proceedings of the KI Workshop on Applications of Description Logics 2001 (KIDLWS2001), Vienna, Austria.
  
• TBoxes do not yield a compact representation of least common subsumers
  Franz Baader, Anni-Yasmin Turhan
  Proceedings of the International Workshop on Description Logics 2001 (DL2001), Stanford, USA.
• Using lazy unfolding for the computation of least common subsumers
  Anni-Yasmin Turhan, Ralf Molitor
  In: Proceedings of the International Workshop on Description Logics 2001 (DL2001), Stanford, USA.
• Exploiting Pseudo Models for TBox and ABox Reasoning in Expressive Description Logics
  Volker Haarslev, Ralf Möller, Anni-Yasmin Turhan
  In: International Joint Conference on Automated Reasoning, IJCAR'2001, June 18-23, 2001, Siena, Italy.
• Adapting Optimization Techniques to Description Logics with Concrete Domains
  Anni-Yasmin Turhan, Volker Haarslev
  In : Proceedings of the International Workshop on Description Logics 2000 (DL2000), Aachen, Germany, 2000, pp. 247-256.
  Postscript file
• Optimierungsmethoden für den Erfüllbarkeitstest bei Beschreibungslogiken mit konkreter Domäne
  Anni-Yasmin Turhan
  Diploma thesis, Computer Science Department of the University of Hamburg
• On Terminological Default Reasoning about Spatial Information: Extended Abstract
  Volker Haarslev, Ralf Möller, Michael Wessel, Anni-Yasmin Turhan
  in Proc. of DL99, International Workshop on Description Logics, Linköping, 1999.
• Implementing an ALCRP(D) ABox Reasoner - Progress Report -
  Volker Haarslev, Ralf Möller, Anni-Yasmin Turhan
  In: Proc. DL-98 International Description Logic Workshop 1998, June 6 - June 8, Trento, Italy, 1998, pp. 82-86.
• HAM-ALC - Performance Measurements -
  Volker Haarslev, Ralf Möller, Anni-Yasmin Turhan
  In: Proc. DL-98 International Description Logic Workshop 1998, June 6 - June 8, Trento, Italy, 1998, pp. 64-65.