HAM-ALC. - Volker Haarslev; Ralf Möller 001; Anni-Yasmin Turhan (Description Logics, 1998)

Implementing an ALCRP(D) ABox Reasoner - Progress Report. - Volker Haarslev; Ralf Möller 001; Anni-Yasmin Turhan (Description Logics, 1998)

On Terminological Default Reasoning about Spatial Information: Extended Abstract. - Volker Haarslev; Ralf Möller 001; Anni-Yasmin Turhan; Michael Wessel (Description Logics, 1999)

Adapting Optimization Techniques to Description Logics with Concrete Domains. - Anni-Yasmin Turhan; Volker Haarslev (Description Logics, 2000)

Exploiting Pseudo Models for TBox and ABox Reasoning in Expressive Description Logics. - Volker Haarslev; Ralf Möller 001; Anni-Yasmin Turhan (IJCAR, 2001)

TBoxes do not Yield a Compact Representation of Least Common Subsumers. - Franz Baader; Anni-Yasmin Turhan (Description Logics, 2001)

Using Lazy Unfolding for the Computation of Least Common Subsumers. - Anni-Yasmin Turhan; Ralf Molitor (Description Logics, 2001)

Approximating ALCN-Concept Descriptions. - Sebastian Brandt 001; Ralf Küsters; Anni-Yasmin Turhan (Description Logics, 2002)

On the Problem of Computing Small Representations of Least Common Subsumers. - Franz Baader; Anni-Yasmin Turhan (KI, 2002)

Approximation and Difference in Description Logics. - Sebastian Brandt 001; Ralf Küsters; Anni-Yasmin Turhan (KR, 2002)

Computing Least Common Subsumers for FLE+. - Sebastian Brandt 001; Anni-Yasmin Turhan (Description Logics, 2003)

Extensions of Non-standard Inferences to Descriptions Logics with Transitive Roles. - Sebastian Brandt 001; Anni-Yasmin Turhan; Ralf Küsters (LPAR, 2003)

Sonic - Non-standard Inferences Go OilEd. - Anni-Yasmin Turhan; Christian Kissig (IJCAR, 2004)

Sonic: System Description. - Anni-Yasmin Turhan; Christian Kissig (Description Logics, 2004)

DIG 2.0 – Towards a Flexible Interface for Description Logic Reasoners. - Sean Bechhofer; Thorsten Liebig; Marko Luther; Olaf Noppens; Peter F. Patel-Schneider; Boontawee Suntisrivaraporn; Anni-Yasmin Turhan; Timo Weithöner (OWLED, 2006)

Pushing Doors for Modeling Contexts with OWL DL a Case Study. - Anni-Yasmin Turhan; Thomas Springer 001; Michael Berger 001 (PerCom Workshops, 2006)

Speeding up Approximation with Nicer Concepts. - Anni-Yasmin Turhan; Yusri Bong (Description Logics, 2007)

Computing the least common subsumer w.r.t. a background terminology. - Franz Baader; Baris Sertkaya; Anni-Yasmin Turhan (J. Appl. Log., 2007)

On the computation of common subsumers in description logics. - Anni-Yasmin Turhan (2007)

Employing description logics in Ambient Intelligence for modeling and reasoning about complex situations. - Thomas Springer 001; Anni-Yasmin Turhan (J. Ambient Intell. Smart Environ., 2009)

Towards Approximative Most Specific Concepts by Completion for EL with Subjective Probabilities. - Rafael Peñaloza; Anni-Yasmin Turhan (UniDL, 2010)

Role-depth Bounded Least Common Subsumers by Completion for EL- and prob-EL-TBoxes. - Anni-Yasmin Turhan; Rafael Peñaloza (Description Logics, 2010)

Reasoning and Explanation in EL and in Expressive Description Logics. - Anni-Yasmin Turhan (Reasoning Web, 2010)

Small is Again Beautiful in Description Logics. - Franz Baader; Carsten Lutz; Anni-Yasmin Turhan (Künstliche Intell., 2010)

Implementing Completion-Based Inferences for the EL-family. - Julian Mendez 002; Andreas Ecke; Anni-Yasmin Turhan (Description Logics, 2011)

A Practical Approach for Computing Generalization Inferences in EL mathcal{EL}. - Rafael Peñaloza; Anni-Yasmin Turhan (ESWC (1), 2011)

Description logic reasoning for semantic web ontologies. - Anni-Yasmin Turhan (WIMS, 2011)

Role-depth Bounded Least Common Subsumers for EL+ and ELI. - Andreas Ecke; Anni-Yasmin Turhan (Description Logics, 2012)

A Framework for Semantic-Based Similarity Measures for $ mathcal{ELH}$ -Concepts. - Karsten Lehmann; Anni-Yasmin Turhan (JELIA, 2012)

Optimizations for the Role-Depth Bounded Least Common Subsumer in EL+. - Andreas Ecke; Anni-Yasmin Turhan (OWLED, 2012)

Role-depth Bounded Least Common Subsumer in Prob-EL with Nominals. - Andreas Ecke; Rafael Peñaloza; Anni-Yasmin Turhan (Description Logics, 2013)

Computing the lcs w.r.t. General EL+-TBoxes. - Anni-Yasmin Turhan; Benjamin Zarrieß (Description Logics, 2013)

Most Specific Generalizations w.r.t. General EL-TBoxes. - Benjamin Zarrieß; Anni-Yasmin Turhan (IJCAI, 2013)

Computing Role-Depth Bounded Generalizations in the Description Logic. - Andreas Ecke; Rafael Peñaloza; Anni-Yasmin Turhan (KI, 2013)

OWL 2 Reasoning To Detect Energy-Efficient Software Variants From Context. - Sebastian Goetz; Julian Mendez 002; Veronika Thost; Anni-Yasmin Turhan (OWLED, 2013)

Situation recognition for service management systems using OWL 2 reasoners. - Waltenegus Dargie; Eldora; Julian Mendez 002; Christoph Möbius; Kateryna Rybina; Veronika Thost; Anni-Yasmin Turhan (PerCom Workshops, 2013)

Introductions to Description Logics - A Guided Tour. - Anni-Yasmin Turhan (Reasoning Web, 2013)

Instance-Based Non-standard Inferences in $ mathcal{EL}$ with Subjective Probabilities. - Rafael Peñaloza; Anni-Yasmin Turhan (URSW (LNCS Vol.), 2013)

Mary, What's Like All Cats? - Andreas Ecke; Rafael Peñaloza; Anni-Yasmin Turhan (Description Logics, 2014)

Certain Answers in a Rough World. - Rafael Peñaloza; Veronika Thost; Anni-Yasmin Turhan (Description Logics, 2014)

Employing DL text -Lite_R -Reasoners for Fuzzy Query Answering. - Theofilos P. Mailis; Anni-Yasmin Turhan (JIST, 2014)

Reasoning in ALC with Fuzzy Concrete Domains. - Dorian Merz; Rafael Peñaloza; Anni-Yasmin Turhan (KI, 2014)

Answering Instance Queries Relaxed by Concept Similarity. - Andreas Ecke; Rafael Peñaloza; Anni-Yasmin Turhan (KR, 2014)

Bridging the application knowledge gap: using ontology-based situation recognition to support energy-aware resource scheduling. - Marcus Hähnel; Julian Mendez 002; Veronika Thost; Anni-Yasmin Turhan (ARM@Middleware, 2014)

Conjunctive Query Answering in Finitely-Valued Fuzzy Description Logics. - Theofilos P. Mailis; Rafael Peñaloza; Anni-Yasmin Turhan (RR, 2014)

Completion-based generalization inferences for the Description Logic ELOR with subjective probabilities. - Andreas Ecke; Rafael Peñaloza; Anni-Yasmin Turhan (Int. J. Approx. Reason., 2014)

Conjunctive Query Answering with Finitely Many Truth Degrees. - Stefan Borgwardt; Theofilos P. Mailis; Rafael Peñaloza; Anni-Yasmin Turhan (Description Logics, 2015)

Elastiq: Answering Similarity-threshold Instance Queries in EL. - Andreas Ecke; Maximilian Pensel; Anni-Yasmin Turhan (Description Logics, 2015)

A pragmatic approach to answering CQs over fuzzy DL-Lite-ontologies - introducing FLite. - Theofilos P. Mailis; Anni-Yasmin Turhan; Erik Zenker (Description Logics, 2015)

Towards Temporal Fuzzy Query Answering on Stream-based Data. - Anni-Yasmin Turhan; Erik Zenker (HiDeSt@KI, 2015)

Similarity-based relaxed instance queries. - Andreas Ecke; Rafael Peñaloza; Anni-Yasmin Turhan (J. Appl. Log., 2015)

Pleased to Meet You! - Anni-Yasmin Turhan (Künstliche Intell., 2015)

Description Logics Reasoning w.r.t. General TBoxes Is Decidable for Concrete Domains with the EHD-Property. - Claudia Carapelle; Anni-Yasmin Turhan (ECAI, 2016)

Answering Fuzzy Conjunctive Queries Over Finitely Valued Fuzzy Ontologies. - Stefan Borgwardt; Theofilos P. Mailis; Rafael Peñaloza; Anni-Yasmin Turhan (J. Data Semant., 2016)

Using Ontologies to Query Probabilistic Numerical Data (Extended Abstract). - Franz Baader; Patrick Koopmann; Anni-Yasmin Turhan (Description Logics, 2017)

Using Ontologies to Query Probabilistic Numerical Data. - Franz Baader; Patrick Koopmann; Anni-Yasmin Turhan (FroCoS, 2017)

Energy-Efficiency of OWL Reasoners - Frequency Matters. - Patrick Koopmann; Marcus Hähnel; Anni-Yasmin Turhan (JIST, 2017)

Including Quantification in Defeasible Reasoning for the Description Logic EL⊥. - Maximilian Pensel; Anni-Yasmin Turhan (LPNMR, 2017)

Making Quantification Relevant Again - the Case of Defeasible EL_ bot. - Maximilian Pensel; Anni-Yasmin Turhan (DARe@LPNMR, 2017)

Temporal Query Answering in DL-Lite over Inconsistent Data. - Camille Bourgaux; Anni-Yasmin Turhan (ISWC (1), 2017)

Preface to the Speical Issue on Reasoning about Preferences, Uncertainty, and Vagueness. - Thomas Lukasiewicz; Rafael Peñaloza; Anni-Yasmin Turhan (FLAP, 2017)

Computing Standard Inferences under Rational and Relevant Semantics in Defeasible EL_bot. - Maximilian Pensel; Anni-Yasmin Turhan (Description Logics, 2018)

Query Answering for Rough EL Ontologies. - Rafael Peñaloza; Veronika Thost; Anni-Yasmin Turhan (KR, 2018)

Query Answering for Rough EL Ontologies (Extended Technical Report). - Rafael Peñaloza; Veronika Thost; Anni-Yasmin Turhan (CoRR, 2018)

Reasoning in the Defeasible Description Logic εℒ - computing standard inferences under rational and relevant semantics. - Maximilian Pensel; Anni-Yasmin Turhan (Int. J. Approx. Reason., 2018)

A Tour of Franz Baader's Contributions to Knowledge Representation and Automated Deduction. - Carsten Lutz; Uli Sattler; Cesare Tinelli; Anni-Yasmin Turhan; Frank Wolter (Description Logic, Theory Combination, and All That, 2019)

Towards an Equivalence Degree of EL CQs (Extended Abstract). - Oliver Fernández Gil; Anni-Yasmin Turhan (Description Logics, 2019)

Practical Query Rewriting for DL-Lite with Numerical Predicates. - Christian Alrabbaa; Patrick Koopmann; Anni-Yasmin Turhan (GCAI, 2019)

Ontology-Mediated Probabilistic Model Checking. - Clemens Dubslaff; Patrick Koopmann; Anni-Yasmin Turhan (IFM, 2019)

Congenial Benchmarking of RDF Storage Solutions. - Axel-Cyrille Ngonga Ngomo; Felix Conrads; Maximilian Pensel; Anni-Yasmin Turhan (K-CAP, 2019)

Efficient TBox Reasoning with Value Restrictions - Introducing the ℱ\

Bridging the Prototype Gap: On the Evolution of Ugly Ducklings. - Anni-Yasmin Turhan (Künstliche Intell., 2019)

Ontology-mediated query answering over temporal and inconsistent data. - Camille Bourgaux; Patrick Koopmann; Anni-Yasmin Turhan (Semantic Web, 2019)

Give Inconsistency a Chance: Semantics for Ontology-Mediated Verification. - Clemens Dubslaff; Patrick Koopmann; Anni-Yasmin Turhan (Description Logics, 2020)

Relaxed Regular Path Queries in Lightweight DLs (Extended Abstract). - Oliver Fernández Gil; Anni-Yasmin Turhan (Description Logics, 2020)

Towards Model Transformation in Description Logics - Investigating the Case of Transductions. - Willi Hieke; Anni-Yasmin Turhan (FCR@KI, 2020)

Semantic Technologies for Situation Awareness. - Franz Baader; Stefan Borgwardt; Patrick Koopmann; Veronika Thost; Anni-Yasmin Turhan (Künstliche Intell., 2020)

Answering Regular Path Queries Under Approximate Semantics in Lightweight Description Logics. - Oliver Fernández Gil; Anni-Yasmin Turhan (AAAI, 2021)

Counter Model Transformation for Explaining Non-Subsumption in EL. - Christian Alrabbaa; Willi Hieke; Anni-Yasmin Turhan (FCR@KI, 2021)

Enhancing Probabilistic Model Checking with Ontologies. - Clemens Dubslaff; Patrick Koopmann; Anni-Yasmin Turhan (Formal Aspects Comput., 2021)

Efficient TBox Reasoning with Value Restrictions Using the FL0wer Reasoner (Extended Abstract). - Franz Baader; Patrick Koopmann; Friedrich Michel; Anni-Yasmin Turhan; Benjamin Zarrieß (Description Logics, 2022)

A New Dimension to Generalization: Computing Temporal EL Concepts from Positive Examples (Extended Abstract). - Satyadharma Tirtarasa; Anni-Yasmin Turhan (Description Logics, 2022)

User-aware Explications of Ontology Consequences: Levelling Technicality. - Rafael Peñaloza; Anni-Yasmin Turhan (FCR@KI, 2022)

Rational Defeasible Subsumption in DLs with Nested Quantifiers: the Case of ELI⊥. - Igor de Camargo e Souza Câmara; Anni-Yasmin Turhan (NMR, 2022)

Computing generalizations of temporal εL concepts with next and global. - Satyadharma Tirtarasa; Anni-Yasmin Turhan (SAC, 2022)

A Double Take at Conferences: The Hybrid Format. - Anni-Yasmin Turhan (Künstliche Intell., 2022)

Efficient TBox Reasoning with Value Restrictions using the ℱℒ0wer Reasoner. - Franz Baader; Patrick Koopmann; Friedrich Michel; Anni-Yasmin Turhan; Benjamin Zarrieß (Theory Pract. Log. Program., 2022)

Brushing-up DLs to Cope with Imperfect Data (Abstract of Joint DL+NMR Invited Talk). - Anni-Yasmin Turhan (Description Logics, 2023)

Optimal Alignment of Temporal Knowledge Bases. - Oliver Fernández Gil; Fabio Patrizi; Giuseppe Perelli; Anni-Yasmin Turhan (ECAI, 2023)

Deciding Subsumption in Defeasible $ mathcal {ELI}_ bot $ with Typicality Models. - Igor de Camargo e Souza Câmara; Anni-Yasmin Turhan (JELIA, 2023)

Optimal Alignment of Temporal Knowledge Bases (Extended Abstract). - Oliver Fernández Gil; Fabio Patrizi; Giuseppe Perelli; Anni-Yasmin Turhan (Description Logics, 2024)

Rough, Rougher, Roughest: Extending EL with a Hierarchy of Indiscernibility Relations. - Rafael Peñaloza; Anni-Yasmin Turhan (Description Logics, 2024)

Reasoning in Rough Description Logics with Multiple Indiscernibility Relations. - Rafael Peñaloza; Anni-Yasmin Turhan (RuleML+RR, 2024)

Introduction to the Special Issue on Logic Rules and Reasoning: Selected Papers From the 6th International Joint Conference on Rules and Reasoning (RuleML+RR 2022). - Guido Governatori; Anni-Yasmin Turhan (Theory Pract. Log. Program., 2025)

Why not? Developing ABox Abduction beyond Repairs. - Anselm Haak; Patrick Koopmann; Yasir Mahmood 002; Anni-Yasmin Turhan (CoRR, 2025)