Anni-Yasmin Turhan

ORCID

Publication Activity (10 Years)

Years Active: 1998-2024
Publications (10 Years): 42

Top Venues

Dresden University of Technology, Germany (PHD)

Education History

Dresden University of Technology, Germany

PHD

Publications

Oliver Fernández Gil, Fabio Patrizi, Giuseppe Perelli, Anni-Yasmin Turhan
Optimal Alignment of Temporal Knowledge Bases (Extended Abstract). Description Logics (2024)
Rafael Peñaloza, Anni-Yasmin Turhan
Rough, Rougher, Roughest: Extending EL with a Hierarchy of Indiscernibility Relations. Description Logics (2024)
Anni-Yasmin Turhan
Brushing-up DLs to Cope with Imperfect Data (Abstract of Joint DL+NMR Invited Talk). Description Logics (2023)
Oliver Fernández Gil, Fabio Patrizi, Giuseppe Perelli, Anni-Yasmin Turhan
Optimal Alignment of Temporal Knowledge Bases. ECAI (2023)
Oliver Fernández Gil, Fabio Patrizi, Giuseppe Perelli, Anni-Yasmin Turhan
Optimal Alignment of Temporal Knowledge Bases. CoRR (2023)
Igor de Camargo e Souza Câmara, Anni-Yasmin Turhan
Deciding Subsumption in Defeasible $\mathcal {ELI}_\bot $ with Typicality Models. JELIA (2023)
Igor de Camargo e Souza Câmara, Anni-Yasmin Turhan
Rational Defeasible Subsumption in DLs with Nested Quantifiers: the Case of ELI⊥. NMR (2022)
Satyadharma Tirtarasa, Anni-Yasmin Turhan
concepts with next and global. SAC (2022)
Franz Baader, Patrick Koopmann, Friedrich Michel, Anni-Yasmin Turhan, Benjamin Zarrieß
wer Reasoner. Theory Pract. Log. Program. 22 (2) (2022)
Satyadharma Tirtarasa, Anni-Yasmin Turhan
A New Dimension to Generalization: Computing Temporal EL Concepts from Positive Examples (Extended Abstract). Description Logics (2022)
Anni-Yasmin Turhan
A Double Take at Conferences: The Hybrid Format. Künstliche Intell. 36 (1) (2022)
Rafael Peñaloza, Anni-Yasmin Turhan
User-aware Explications of Ontology Consequences: Levelling Technicality. FCR@KI (2022)
Franz Baader, Patrick Koopmann, Friedrich Michel, Anni-Yasmin Turhan, Benjamin Zarrieß
Efficient TBox Reasoning with Value Restrictions Using the FL0wer Reasoner (Extended Abstract). Description Logics (2022)
Clemens Dubslaff, Patrick Koopmann, Anni-Yasmin Turhan
Enhancing Probabilistic Model Checking with Ontologies. Formal Aspects Comput. 33 (6) (2021)
Franz Baader, Patrick Koopmann, Friedrich Michel, Anni-Yasmin Turhan, Benjamin Zarrieß
Efficient TBox Reasoning with Value Restrictions using the $\mathcal{FL}_{o}$wer reasoner. CoRR (2021)
Oliver Fernández Gil, Anni-Yasmin Turhan
Answering Regular Path Queries Under Approximate Semantics in Lightweight Description Logics. AAAI (2021)
Christian Alrabbaa, Willi Hieke, Anni-Yasmin Turhan
Counter Model Transformation for Explaining Non-Subsumption in EL. FCR@KI (2021)
Clemens Dubslaff, Patrick Koopmann, Anni-Yasmin Turhan
Give Inconsistency a Chance: Semantics for Ontology-Mediated Verification. Description Logics (2020)
Willi Hieke, Anni-Yasmin Turhan
Towards Model Transformation in Description Logics - Investigating the Case of Transductions. FCR@KI (2020)
Franz Baader, Stefan Borgwardt, Patrick Koopmann, Veronika Thost, Anni-Yasmin Turhan
Semantic Technologies for Situation Awareness. Künstliche Intell. 34 (4) (2020)
Oliver Fernández Gil, Anni-Yasmin Turhan
Relaxed Regular Path Queries in Lightweight DLs (Extended Abstract). Description Logics (2020)
Anni-Yasmin Turhan
Bridging the Prototype Gap: On the Evolution of Ugly Ducklings. Künstliche Intell. 33 (3) (2019)
Clemens Dubslaff, Patrick Koopmann, Anni-Yasmin Turhan
Ontology-Mediated Probabilistic Model Checking. IFM (2019)
Christian Alrabbaa, Patrick Koopmann, Anni-Yasmin Turhan
Practical Query Rewriting for DL-Lite with Numerical Predicates. GCAI (2019)
Oliver Fernández Gil, Anni-Yasmin Turhan
Towards an Equivalence Degree of EL CQs (Extended Abstract). Description Logics (2019)
Axel-Cyrille Ngonga Ngomo, Felix Conrads, Maximilian Pensel, Anni-Yasmin Turhan
Congenial Benchmarking of RDF Storage Solutions. K-CAP (2019)
Camille Bourgaux, Patrick Koopmann, Anni-Yasmin Turhan
Ontology-mediated query answering over temporal and inconsistent data. Semantic Web 10 (3) (2019)
Friedrich Michel, Anni-Yasmin Turhan, Benjamin Zarrieß
Efficient TBox Reasoning with Value Restrictions - Introducing the ℱ}_o \textitwer Reasoner. RuleML+RR (2019)
Carsten Lutz, Uli Sattler, Cesare Tinelli, Anni-Yasmin Turhan, Frank Wolter
A Tour of Franz Baader's Contributions to Knowledge Representation and Automated Deduction. Description Logic, Theory Combination, and All That (2019)
Maximilian Pensel, Anni-Yasmin Turhan
Reasoning in the Defeasible Description Logic εℒ - computing standard inferences under rational and relevant semantics. Int. J. Approx. Reason. 103 (2018)
Maximilian Pensel, Anni-Yasmin Turhan
Computing Standard Inferences under Rational and Relevant Semantics in Defeasible EL_bot. Description Logics (2018)
Rafael Peñaloza, Veronika Thost, Anni-Yasmin Turhan
Query Answering for Rough EL Ontologies (Extended Technical Report). CoRR (2018)
Rafael Peñaloza, Veronika Thost, Anni-Yasmin Turhan
Query Answering for Rough EL Ontologies. KR (2018)
Franz Baader, Patrick Koopmann, Anni-Yasmin Turhan
Using Ontologies to Query Probabilistic Numerical Data. FroCoS (2017)
Franz Baader, Patrick Koopmann, Anni-Yasmin Turhan
Using Ontologies to Query Probabilistic Numerical Data (Extended Abstract). Description Logics (2017)
Maximilian Pensel, Anni-Yasmin Turhan
. LPNMR (2017)
Patrick Koopmann, Marcus Hähnel, Anni-Yasmin Turhan
Energy-Efficiency of OWL Reasoners - Frequency Matters. JIST (2017)
Maximilian Pensel, Anni-Yasmin Turhan
Making Quantification Relevant Again - the Case of Defeasible EL_\bot. DARe@LPNMR (2017)
Thomas Lukasiewicz, Rafael Peñaloza, Anni-Yasmin Turhan
Preface to the Speical Issue on Reasoning about Preferences, Uncertainty, and Vagueness. FLAP 4 (7) (2017)
Camille Bourgaux, Anni-Yasmin Turhan
Temporal Query Answering in DL-Lite over Inconsistent Data. ISWC (1) (2017)
Claudia Carapelle, Anni-Yasmin Turhan
Description Logics Reasoning w.r.t. General TBoxes Is Decidable for Concrete Domains with the EHD-Property. ECAI (2016)
Stefan Borgwardt, Theofilos P. Mailis, Rafael Peñaloza, Anni-Yasmin Turhan
Answering Fuzzy Conjunctive Queries Over Finitely Valued Fuzzy Ontologies. J. Data Semant. 5 (2) (2016)
Andreas Ecke, Maximilian Pensel, Anni-Yasmin Turhan
Elastiq: Answering Similarity-threshold Instance Queries in EL. Description Logics (2015)
Stefan Borgwardt, Theofilos P. Mailis, Rafael Peñaloza, Anni-Yasmin Turhan
Conjunctive Query Answering with Finitely Many Truth Degrees. Description Logics (2015)
Anni-Yasmin Turhan, Erik Zenker
Towards Temporal Fuzzy Query Answering on Stream-based Data. HiDeSt@KI (2015)
Anni-Yasmin Turhan
Pleased to Meet You! Künstliche Intell. 29 (4) (2015)
Andreas Ecke, Rafael Peñaloza, Anni-Yasmin Turhan
Similarity-based relaxed instance queries. J. Appl. Log. 13 (4) (2015)
Stefan Borgwardt, Theofilos P. Mailis, Rafael Peñaloza, Anni-Yasmin Turhan
Answering Fuzzy Conjunctive Queries over Finitely Valued Fuzzy Ontologies. CoRR (2015)
Theofilos P. Mailis, Anni-Yasmin Turhan, Erik Zenker
A pragmatic approach to answering CQs over fuzzy DL-Lite-ontologies - introducing FLite. Description Logics (2015)
Andreas Ecke, Rafael Peñaloza, Anni-Yasmin Turhan
Mary, What's Like All Cats? Description Logics (2014)
Marcus Hähnel, Julian Mendez, Veronika Thost, Anni-Yasmin Turhan
Bridging the application knowledge gap: using ontology-based situation recognition to support energy-aware resource scheduling. ARM@Middleware (2014)
Andreas Ecke, Rafael Peñaloza, Anni-Yasmin Turhan
Answering Instance Queries Relaxed by Concept Similarity. KR (2014)
Andreas Ecke, Rafael Peñaloza, Anni-Yasmin Turhan
Completion-based generalization inferences for the Description Logic ELOR with subjective probabilities. Int. J. Approx. Reason. 55 (9) (2014)
Theofilos P. Mailis, Rafael Peñaloza, Anni-Yasmin Turhan
Conjunctive Query Answering in Finitely-Valued Fuzzy Description Logics. RR (2014)
Rafael Peñaloza, Veronika Thost, Anni-Yasmin Turhan
Certain Answers in a Rough World. Description Logics (2014)
Theofilos P. Mailis, Anni-Yasmin Turhan
Employing DL\text -Lite_R -Reasoners for Fuzzy Query Answering. JIST (2014)
Dorian Merz, Rafael Peñaloza, Anni-Yasmin Turhan
with Fuzzy Concrete Domains. KI (2014)
Sebastian Goetz, Julian Mendez, Veronika Thost, Anni-Yasmin Turhan
OWL 2 Reasoning To Detect Energy-Efficient Software Variants From Context. OWLED (2013)
Andreas Ecke, Rafael Peñaloza, Anni-Yasmin Turhan
Role-depth Bounded Least Common Subsumer in Prob-EL with Nominals. Description Logics (2013)
Andreas Ecke, Rafael Peñaloza, Anni-Yasmin Turhan
Computing Role-Depth Bounded Generalizations in the Description Logic. KI (2013)
Rafael Peñaloza, Anni-Yasmin Turhan
Instance-Based Non-standard Inferences in $\mathcal{EL}$ with Subjective Probabilities. URSW (LNCS Vol.) (2013)
Benjamin Zarrieß, Anni-Yasmin Turhan
Most Specific Generalizations w.r.t. General EL-TBoxes. IJCAI (2013)
Anni-Yasmin Turhan
Introductions to Description Logics - A Guided Tour. Reasoning Web (2013)
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. PerCom Workshops (2013)
Anni-Yasmin Turhan, Benjamin Zarrieß
Computing the lcs w.r.t. General EL+-TBoxes. Description Logics (2013)
Andreas Ecke, Anni-Yasmin Turhan
Role-depth Bounded Least Common Subsumers for EL+ and ELI. Description Logics (2012)
Andreas Ecke, Anni-Yasmin Turhan
Optimizations for the Role-Depth Bounded Least Common Subsumer in EL+. OWLED (2012)
Karsten Lehmann, Anni-Yasmin Turhan
A Framework for Semantic-Based Similarity Measures for $\mathcal{ELH}$ -Concepts. JELIA (2012)
Julian Mendez, Andreas Ecke, Anni-Yasmin Turhan
Implementing Completion-Based Inferences for the EL-family. Description Logics (2011)
Rafael Peñaloza, Anni-Yasmin Turhan
\mathcal{EL}. ESWC (1) (2011)
Anni-Yasmin Turhan
Description logic reasoning for semantic web ontologies. WIMS (2011)
Rafael Peñaloza, Anni-Yasmin Turhan
Towards Approximative Most Specific Concepts by Completion for EL with Subjective Probabilities. UniDL (2010)
Anni-Yasmin Turhan, Rafael Peñaloza
Role-depth Bounded Least Common Subsumers by Completion for EL- and prob-EL-TBoxes. Description Logics (2010)
Franz Baader, Carsten Lutz, Anni-Yasmin Turhan
Small is Again Beautiful in Description Logics. Künstliche Intell. 24 (1) (2010)
Anni-Yasmin Turhan
and in Expressive Description Logics. Reasoning Web (2010)
Thomas Springer, Anni-Yasmin Turhan
Employing description logics in Ambient Intelligence for modeling and reasoning about complex situations. J. Ambient Intell. Smart Environ. 1 (3) (2009)
Anni-Yasmin Turhan, Yusri Bong
Speeding up Approximation with Nicer Concepts. Description Logics (2007)
Franz Baader, Baris Sertkaya, Anni-Yasmin Turhan
Computing the least common subsumer w.r.t. a background terminology. J. Appl. Log. 5 (3) (2007)
Sean Bechhofer, Thorsten Liebig, Marko Luther, Olaf Noppens, Peter F. Patel-Schneider, Boontawee Suntisrivaraporn, Anni-Yasmin Turhan, Timo Weithöner
DIG 2.0 -- Towards a Flexible Interface for Description Logic Reasoners. OWLED (2006)
Anni-Yasmin Turhan, Thomas Springer, Michael Berger
Pushing Doors for Modeling Contexts with OWL DL a Case Study. PerCom Workshops (2006)
Franz Baader, Baris Sertkaya, Anni-Yasmin Turhan
Computing the Least Common Subsumer w.r.t. a Background Terminology. Description Logics (2004)
Franz Baader, Baris Sertkaya, Anni-Yasmin Turhan
Computing the Least Common Subsumer w.r.t. a Background Terminology. JELIA (2004)
Anni-Yasmin Turhan, Christian Kissig
Sonic - Non-standard Inferences Go OilEd. IJCAR (2004)
Anni-Yasmin Turhan, Christian Kissig
Sonic: System Description. Description Logics (2004)
Sebastian Brandt, Anni-Yasmin Turhan
. Description Logics (2003)
Sebastian Brandt, Anni-Yasmin Turhan, Ralf Küsters
Extensions of Non-standard Inferences to Descriptions Logics with Transitive Roles. LPAR (2003)
Franz Baader, Anni-Yasmin Turhan
On the Problem of Computing Small Representations of Least Common Subsumers. KI (2002)
Sebastian Brandt, Ralf Küsters, Anni-Yasmin Turhan
Approximating ALCN-Concept Descriptions. Description Logics (2002)
Sebastian Brandt, Ralf Küsters, Anni-Yasmin Turhan
Approximation and Difference in Description Logics. KR (2002)
Franz Baader, Anni-Yasmin Turhan
TBoxes do not Yield a Compact Representation of Least Common Subsumers. Description Logics (2001)
Anni-Yasmin Turhan, Ralf Molitor
Using Lazy Unfolding for the Computation of Least Common Subsumers. Description Logics (2001)
Volker Haarslev, Ralf Möller, Anni-Yasmin Turhan
Exploiting Pseudo Models for TBox and ABox Reasoning in Expressive Description Logics. IJCAR (2001)
Anni-Yasmin Turhan, Volker Haarslev
Adapting Optimization Techniques to Description Logics with Concrete Domains. Description Logics (2000)
Volker Haarslev, Ralf Möller, Anni-Yasmin Turhan, Michael Wessel
On Terminological Default Reasoning about Spatial Information: Extended Abstract. Description Logics (1999)
Volker Haarslev, Ralf Möller, Anni-Yasmin Turhan
HAM-ALC. Description Logics (1998)
Volker Haarslev, Ralf Möller, Anni-Yasmin Turhan
Implementing an ALCRP(D) ABox Reasoner - Progress Report. Description Logics (1998)

Anni-Yasmin Turhan.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Anni-Yasmin Turhan