Publications of Anni-Yasmin Turhan

Journal Articles

Stefan Borgwardt, Theofilos Mailis, Rafael Peñaloza, Anni-Yasmin Turhan
Answering Fuzzy Conjunctive Queries over Finitely Valued Fuzzy Ontologies
Journal on Data Semantics, 5(2):55–75, 2016
Details Download

Andreas Ecke, Rafael Peñaloza, Anni-Yasmin Turhan
Similarity-based Relaxed Instance Queries
Journal of Applied Logic, to appear
Details Download

Andreas Ecke, Rafael Peñaloza, Anni-Yasmin Turhan
Completion-based Generalization Inferences for the Description Logic ELOR with Subjective Probabilities
International Journal of Approximate Reasoning, 55(9):1939-1970, 2014
Details Download

Franz Baader, Carsten Lutz, Anni-Yasmin Turhan
Small is again Beautiful in Description Logics
KI – Künstliche Intelligenz, 24(1):25-33, April 2010
Details Download

Thomas Springer, Anni-Yasmin Turhan
Employing Description Logics in Ambient Intelligence for Modeling and Reasoning about Complex Situations
Journal of Ambient Intelligence and Smart Environments, 1(3):235-259, 2009
Details

Franz Baader, Barış Sertkaya, Anni-Yasmin Turhan
Computing the Least Common Subsumer w.r.t. a Background Terminology
Journal of Applied Logic, 5(3):392-420, 2007
Details Download

Proceedings Articles

Claudia Carapelle, Anni-Yasmin Turhan
Description Logics Reasoning w.r.t. General TBoxes is decidable for Concrete Domains with the EHD-property
Proceedings of the 22nd European Conference on Artificial Intelligence (ECAI 2016), to appear
Details

Stefan Borgwardt, Theofilos Mailis, Rafael Peñaloza Nyssen, Anni-Yasmin Turhan
Conjunctive Query Answering with Finitely Many Truth Degrees
In Diego Calvanese, Boris Konev, eds., Proceedings of the 28th International Workshop on Description Logics (DL'15), volume 1350, 2015. CEUR Workshop Proceedings
Details Download

Andreas Ecke, Rafael Peñaloza, Anni-Yasmin Turhan
Mary, What's Like All Cats?
In Meghyn Bienvenu and Magdalena Ortiz and Riccardo Rosati and Mantas Simkus, eds., Proceedings of the 27th International Workshop on Description Logics (DL'14), volume 1193 of CEUR Workshop Proceedings, 526-529, 2014
Details Download

Andreas Ecke, Rafael Peñaloza, Anni-Yasmin Turhan
Answering Instance Queries Relaxed by Concept Similarity
In Chitta Baral and Giuseppe De Giacomo and Thomas Eiter, eds., Proceedings of the Fourteenth International Conference on Principles of Knowledge Representation and Reasoning (KR'14), 248-257, 2014. AAAI Press
Details Download

Marcus Hähnel, Julian Mendez, Veronika Thost, Anni-Yasmin Turhan
Bridging the Application Knowledge Gap
Workshop on Adaptive and Reflective Middleware'14, December 2014
Details Download

Theofilos Mailis, Anni-Yasmin Turhan
Employing DL-LiteR-Reasoners for Fuzzy Query Answering
In Thepchai Supnithi and Takahira Yamaguchi, eds., Proceedings of the 4th Joint International Semantic Technology Conference (JIST2014), 2014. Lecture Notes in Computer Science
Details Download

Theofilos Mailis, Rafael Peñaloza, Anni-Yasmin Turhan
Conjunctive Query Answering in Finitely-valued Fuzzy Description Logics
In Roman Kontchakov and Marie-Laure Mugnier, eds., Proceedings of the 8th International Conference on Web Reasoning and Rule Systems (RR 2014), volume 8741, 124-139, 2014. Springer
Details Download

Dorian Merz, Rafael Peñaloza, Anni-Yasmin Turhan
Reasoning in ALC with Fuzzy Concrete Domains
In Carsten Lutz and Michael Thielscher, eds., Proceedings of 37th edition of the German Conference on Artificial Intelligence (KI'14), volume 8736 of Lecture Notes in Artificial Intelligence, 171-182, 2014. Springer
Details Download

Rafael Peñaloza, Veronika Thost, Anni-Yasmin Turhan
Certain Answers in a Rough World
In Meghyn Bienvenu and Magdalena Ortiz and Riccardo Rosati and Mantas Simkus, eds., Proceedings of the 27th International Workshop on Description Logics (DL'14), volume 1193 of CEUR Workshop Proceedings, 709-712, 2014
Details Download

Waltenegus Dargie, Eldora, Julian Mendez, Christoph Möbius, Kateryna Rybina, Veronika Thost, Anni-Yasmin Turhan
Situation Recognition for Service Management Systems Using OWL 2 Reasoners
Proceedings of the 10th IEEE Workshop on Context Modeling and Reasoning 2013, 31-36, March 2013. IEEE Computer Society
Details Download

Andreas Ecke, Rafael Peñaloza, Anni-Yasmin Turhan
Towards Instance Query Answering for Concepts Relaxed by Similarity Measures
Workshop on Weighted Logics for AI (in conjunction with IJCAI'13), 2013
Details Download

Andreas Ecke, Rafael Peñaloza, Anni-Yasmin Turhan
Computing Role-depth Bounded Generalizations in the Description Logic ELOR
In Ingo J. Timm and Matthias Thimm, eds., Proceedings of the 36th German Conference on Artificial Intelligence (KI 2013), volume 8077 of Lecture Notes in Artificial Intelligence, 49-60, 2013. Springer
Details Download

Sebastian Goetz, Julian Mendez, Veronika Thost, Anni-Yasmin Turhan
OWL 2 Reasoning To Detect Energy-Efficient Software Variants From Context
In Kavitha Srinivas and Simon Jupp, eds., Proceedings of the 10th OWL: Experiences and Directions Workshop (OWLED 2013), May 2013
Details Download

Rafael Peñaloza, Anni-Yasmin Turhan
Instance-based Non-standard Inferences in EL with Subjective Probabilities
In Fernando Bobillo and Paulo C. G. Costa and Claudia d'Amato and Nicola Fanizzi and Kathryn B. Laskey and Kenneth J. Laskey and Thomas Lukasiewicz and Matthias Nickles and Michael Pool, eds., Uncertainty Reasoning for the Semantic Web II, International Workshops URSW 2008-2010 Held at ISWC and UniDL 2010 Held at FLoC, Revised Selected Papers, Lecture Notes in Computer Science, 80-98, 2013. Springer
Details Download

Anni-Yasmin Turhan
Introductions to Description Logics - A Guided Tour
In Sebastian Rudolph and Georg Gottlob and Ian Horrocks and Frank van Harmelen, eds., In Proceedings of Reasoning Web. Semantic Technologies for Intelligent Data Access - 9th International Summer School, volume 8067 of Lecture Notes in Computer Science, 150-161, 2013. Springer
Details

Anni-Yasmin Turhan, Benjamin Zarrieß
Computing the lcs w.r.t. General EL^+ TBoxes
In Thomas Eiter and Birte Glimm and Yevgeny Kazakov and Markus Krötzsch, eds., Proceedings of the 26th International Workshop on Description Logics (DL-2013), CEUR Workshop Proceedings, 477-488, July 2013. CEUR-WS.org
Details Download

Benjamin Zarrieß, Anni-Yasmin Turhan
Most Specific Generalizations w.r.t. General EL-TBoxes
Proceedings of the 23rd International Joint Conference on Artificial Intelligence (IJCAI'13), 2013. AAAI Press
Details Download

Andreas Ecke, Anni-Yasmin Turhan
Role-depth Bounded Least Common Subsumers for EL+ and ELI
In Yevgeny Kazakhov and Frank Wolter, eds., Proc. of Description Logics Workshop, volume 846 of CEUR, 2012
Details Download

Andreas Ecke, Anni-Yasmin Turhan
Optimizations for the role-depth bounded least common subsumer in el+
In Matthew Horridge and Pavel Klinov, eds., Proc. of 9th OWL: Experiences and Directions Workshop (OWLED 2012), volume 849, 2012
Details Download

Karsten Lehmann, Anni-Yasmin Turhan
A Framework for Semantic-based Similarity Measures for ELH-Concepts
In Luis Fariñas del Cerro and Andreas Herzig and Jérôme Mengin, eds., Proceedings of the 13th European Conference on Logics in Artificial Intelligence, Lecture Notes in Artificial Intelligence, 307-319, 2012. Springer
Details Download

Julian Mendez, Andreas Ecke, Anni-Yasmin Turhan
Implementing completion-based inferences for the el-family
In Riccardo Rosati and Sebastian Rudolph and Michael Zakharyaschev, eds., Proceedings of the international Description Logics workshop, volume 745, 2011. CEUR
Details Download

R. Peñaloza, Anni-Yasmin Turhan
A Practical Approach for Computing Generalization Inferences in EL
In Marko Grobelnik and Elena Simperl, eds., Proceedings of the 8th European Semantic Web Conference (ESWC'11), Lecture Notes in Computer Science, 2011. Springer
Details Download

Anni-Yasmin Turhan
Description Logic reasoning for Semantic Web Ontologies – Extended abstract
In Rajendra Akerkar, eds., Proceedings of the first International Conference on Web Intelligence, Mining and Semantics, 2011. ACM
Details Download

Rafael Peñaloza, Anni-Yasmin Turhan
Towards Approximative Most Specific Concepts by Completion for EL with Subjective Probabilities
In Thomas Lukasiewicz and Rafael Peñaloza and Anni-Yasmin Turhan, eds., Proceedings of the First International Workshop on Uncertainty in Description Logics (UniDL'10), volume 613 of CEUR-WS, 2010
Details Download

Anni-Yasmin Turhan, Y. Bong
Speeding up Approximation with Nicer Concepts
In D. Calvanese and E. Franconi and V. Haarslev and D. Lembo and B. Motik and S. Tessaris and A.-Y. Turhan, eds., Proc. of the 2007 Description Logic Workshop (DL 2007), 2007
Details Download

Anni-Yasmin Turhan, Thomas Springer, Michael Berger
Pushing Doors for Modeling Contexts with OWL DL –a Case Study
In Jadwiga Indulska and Daniela Nicklas, eds., Proceedings of the Workshop on Context Modeling and Reasoning (CoMoRea'06), March 2006. IEEE Computer Society
Details Download

Anni-Yasmin Turhan, Sean Bechhofer, Alissa Kaplunova, Thorsten Liebig, Marko Luther, Ralf Möller, Olaf Noppens, Peter Patel-Schneider, Boontawee Suntisrivaraporn, Timo Weithöner
DIG 2.0 – Towards a Flexible Interface for Description Logic Reasoners
In Bernardo Cuenca Grau and Pascal Hitzler and Connor Shankey and Evan Wallace, eds., In Proceedings of the second international workshop OWL: Experiences and Directions, November 2006
Details Download

Franz Baader, Baris Sertkaya, Anni-Yasmin Turhan
Computing the Least Common Subsumer w.r.t. a Background Terminology
Proceedings of the 2004 International Workshop on Description Logics (DL2004), CEUR-WS, 2004
Details Download

Franz Baader, B. Sertkaya, Anni-Yasmin Turhan
Computing the Least Common Subsumer w.r.t. a Background Terminology
In José Júlio Alferes and João Alexandre Leite, eds., Proceedings of the 9th European Conference on Logics in Artificial Intelligence (JELIA 2004), volume 3229 of Lecture Notes in Computer Science, 400-412, 2004. Springer
Details Download

Anni-Yasmin Turhan, Christian Kissig
Sonic—Non-standard Inferences go OilEd
In D. Basin and M. Rusinowitch, eds., Proceedings of the 2nd International Joint Conference on Automated Reasoning (IJCAR'04), volume 3097 of Lecture Notes in Artificial Intelligence, 2004. Springer
Details Download

Anni-Yasmin Turhan, Christian Kissig
Sonic—System Description
Proceedings of the 2004 International Workshop on Description Logics (DL2004), CEUR-WS, 2004
Details Download

Sebastian Brandt, Anni-Yasmin Turhan
Computing least common subsumers for FLE^+
Proceedings of the 2003 International Workshop on Description Logics, CEUR-WS, 2003
Details Download

Sebastian Brandt, Anni-Yasmin Turhan, Ralf Küsters
Extensions of Non-standard Inferences to Description Logics with transitive Roles
In Moshe Vardi and Andrei Voronkov, eds., Proceedings of the 10th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR 2003), Lecture Notes in Computer Science, 2003. Springer
Details Download

Franz Baader, Anni-Yasmin Turhan
On the problem of computing small representations of least common subsumers
Proceedings of the German Conference on Artificial Intelligence, 25th German Conference on Artificial Intelligence (KI 2002), Lecture Notes in Artificial Intelligence, 2002. Springer
Details Download

S. Brandt, Anni-Yasmin Turhan
An Approach for Optimized Approximation
Proceedings of the KI-2002 Workshop on Applications of Description Logics (KIDLWS'01), CEUR-WS, September 2002. RWTH Aachen
Details Download

S. Brandt, R. Küsters, Anni-Yasmin Turhan
Approximation and Difference in Description Logics
In D. Fensel and F. Giunchiglia and D. McGuiness and M.-A. Williams, eds., Proceedings of the Eighth International Conference on Principles of Knowledge Representation and Reasoning (KR2002), 203-214, 2002. Morgan Kaufman
Details Download

S. Brandt, R. Küsters, Anni-Yasmin Turhan
Approximating ALCN-Concept Descriptions
Proceedings of the 2002 International Workshop on Description Logics, 2002
Details Download

Franz Baader, Anni-Yasmin Turhan
TBoxes do not yield a compact representation of least common subsumers
Proceedings of the International Workshop in Description Logics 2001 (DL2001), August 2001
Details Download

S. Brandt, Anni-Yasmin Turhan
Using Non-standard Inferences in Description Logics — what does it buy me?
Proceedings of the KI-2001 Workshop on Applications of Description Logics (KIDLWS'01), CEUR-WS, September 2001. RWTH Aachen
Details 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 Download

Anni-Yasmin Turhan, R. Molitor
Using lazy unfolding for the computation of least common subsumers
Proceedings of the International Workshop in Description Logics 2001 (DL2001), August 2001
Details Download

Book Chapters

Anni-Yasmin Turhan
Reasoning and Explanation in EL and in Expressive Description Logics
In Uwe As̈mann and Andreas Bartho and Christian Wende, eds., Reasoning Web, LNCS, 1-27. Springer, 2010
Details Download

Anni-Yasmin Turhan
Pushing the SONIC border — SONIC 1.0
In Reinhold Letz, eds., FTP 2005 — Fifth International Workshop on First-Order Theorem Proving. Technical Report University of Koblenz, 2005
Details Download

Edited Proceedings

Thomas Lukasiewicz, Rafael Peñaloza Nyssen, Anni-Yasmin Turhan
Logics for Reasoning about Preferences, Uncertainty, and Vagueness
Volume 1205 of CEUR Workshop Proceedings, 2014. CEUR
Details

Thomas Lukasiewicz, Rafael Peñaloza, Anni-Yasmin Turhan
Proceedings of the First International Workshop on Uncertainty in Description Logics
Volume 613 of CEUR, July 2010
Details

Technical Reports

Rafael Peñaloza, Veronika Thost, Anni-Yasmin Turhan
Conjunctive Query Answering in Rough EL
Technical Report, Chair of Automata Theory, Institute of Theoretical Computer Science, Technische Universität Dresden, volume 14-04, 2014. LTCS-Report
Details Download

Benjamin Zarries̈, Anni-Yasmin Turhan
Most Specific Generalizations w.r.t. General EL-TBoxes
Technical Report, Chair of Automata Theory, Institute of Theoretical Computer Science, Technische Universität Dresden, volume 13-06, 2013. LTCS-Report
Details Download

S. Brandt, Anni-Yasmin Turhan, R. Küsters
Foundations of non-standard Inferences for Description Logics with transitive Roles and Role Hierarchies
Technical Report, Chair for Automata Theory, Institute for Theoretical Computer Science, Dresden University of Technology, volume 03-02, 2003. LTCS-Report
Details Download

S. Brandt, Anni-Yasmin Turhan
An Approach for Optimizing ALE-Approximation of ALC-Concepts
Technical Report, Chair for Automata Theory, Institute for Theoretical Computer Science, Dresden University of Technology, volume 02-03, 2002. LTCS-Report
Details Download

S. Brandt, R. Küsters, Anni-Yasmin Turhan
Approximation and Difference in Description Logics
Technical Report, LuFG Theoretical Computer Science, RWTH Aachen, volume 01-06, 2001. LTCS-Report
Details Download