Anni-Yasmin Turhan

Orcid: 0000-0001-6336-335X

Affiliations:
  • Paderborn University, Germany
  • Dresden University of Technology, Germany (former)


According to our database1, Anni-Yasmin Turhan authored at least 93 papers between 1998 and 2024.

Collaborative distances:

Timeline

2000
2005
2010
2015
2020
0
1
2
3
4
5
6
7
8
9
2
1
1
2
2
1
1
2
1
1
1
1
3
3
5
2
3
6
2
6
1
4
7
8
3
3
3
1
2
2
2
3
3
1
1
2
1

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Reasoning in Rough Description Logics with Multiple Indiscernibility Relations.
Proceedings of the Rules and Reasoning, 2024

Rough, Rougher, Roughest: Extending EL with a Hierarchy of Indiscernibility Relations.
Proceedings of the 37th International Workshop on Description Logics (DL 2024), 2024

Optimal Alignment of Temporal Knowledge Bases (Extended Abstract).
Proceedings of the 37th International Workshop on Description Logics (DL 2024), 2024

2023
Deciding Subsumption in Defeasible $\mathcal {ELI}_\bot $ with Typicality Models.
Proceedings of the Logics in Artificial Intelligence - 18th European Conference, 2023

Optimal Alignment of Temporal Knowledge Bases.
Proceedings of the ECAI 2023 - 26th European Conference on Artificial Intelligence, September 30 - October 4, 2023, Kraków, Poland, 2023

Brushing-up DLs to Cope with Imperfect Data (Abstract of Joint DL+NMR Invited Talk).
Proceedings of the 36th International Workshop on Description Logics (DL 2023) co-located with the 20th International Conference on Principles of Knowledge Representation and Reasoning and the 21st International Workshop on Non-Monotonic Reasoning (KR 2023 and NMR 2023)., 2023

2022
Efficient TBox Reasoning with Value Restrictions using the ℱℒ<sub>0</sub>wer Reasoner.
Theory Pract. Log. Program., 2022

A Double Take at Conferences: The Hybrid Format.
Künstliche Intell., 2022

Computing generalizations of temporal <i>εL</i> concepts with next and global.
Proceedings of the SAC '22: The 37th ACM/SIGAPP Symposium on Applied Computing, Virtual Event, April 25, 2022

Rational Defeasible Subsumption in DLs with Nested Quantifiers: the Case of ELI⊥.
Proceedings of the 20th International Workshop on Non-Monotonic Reasoning, 2022

User-aware Explications of Ontology Consequences: Levelling Technicality.
Proceedings of the 8th Workshop on Formal and Cognitive Reasoning co-located with the 45th German Conference on Artificial Intelligence (KI 2022), 2022

A New Dimension to Generalization: Computing Temporal EL Concepts from Positive Examples (Extended Abstract).
Proceedings of the 35th International Workshop on Description Logics (DL 2022) co-located with Federated Logic Conference (FLoC 2022), 2022

Efficient TBox Reasoning with Value Restrictions Using the FL0wer Reasoner (Extended Abstract).
Proceedings of the 35th International Workshop on Description Logics (DL 2022) co-located with Federated Logic Conference (FLoC 2022), 2022

2021
Enhancing Probabilistic Model Checking with Ontologies.
Formal Aspects Comput., 2021

Counter Model Transformation for Explaining Non-Subsumption in EL.
Proceedings of the 7th Workshop on Formal and Cognitive Reasoning co-located with the 44th German Conference on Artificial Intelligence (KI 2021), 2021

Answering Regular Path Queries Under Approximate Semantics in Lightweight Description Logics.
Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021

2020
Semantic Technologies for Situation Awareness.
Künstliche Intell., 2020

Towards Model Transformation in Description Logics - Investigating the Case of Transductions.
Proceedings of the 6th Workshop on Formal and Cognitive Reasoning co-located with 43rd German Conference on Artificial Intelligence (KI-2020), 2020

Relaxed Regular Path Queries in Lightweight DLs (Extended Abstract).
Proceedings of the 33rd International Workshop on Description Logics (DL 2020) co-located with the 17th International Conference on Principles of Knowledge Representation and Reasoning (KR 2020), 2020

Give Inconsistency a Chance: Semantics for Ontology-Mediated Verification.
Proceedings of the 33rd International Workshop on Description Logics (DL 2020) co-located with the 17th International Conference on Principles of Knowledge Representation and Reasoning (KR 2020), 2020

2019
Ontology-mediated query answering over temporal and inconsistent data.
Semantic Web, 2019

Bridging the Prototype Gap: On the Evolution of Ugly Ducklings.
Künstliche Intell., 2019

Efficient TBox Reasoning with Value Restrictions - Introducing the ℱ}_o \textitwer Reasoner.
Proceedings of the Rules and Reasoning - Third International Joint Conference, 2019

Congenial Benchmarking of RDF Storage Solutions.
Proceedings of the 10th International Conference on Knowledge Capture, 2019

Ontology-Mediated Probabilistic Model Checking.
Proceedings of the Integrated Formal Methods - 15th International Conference, 2019

Practical Query Rewriting for DL-Lite with Numerical Predicates.
Proceedings of the GCAI 2019. Proceedings of the 5th Global Conference on Artificial Intelligence, 2019

Towards an Equivalence Degree of EL CQs (Extended Abstract).
Proceedings of the 32nd International Workshop on Description Logics, 2019

A Tour of Franz Baader's Contributions to Knowledge Representation and Automated Deduction.
Proceedings of the Description Logic, Theory Combination, and All That, 2019

2018
Reasoning in the Defeasible Description Logic εℒ - computing standard inferences under rational and relevant semantics.
Int. J. Approx. Reason., 2018

Query Answering for Rough EL Ontologies (Extended Technical Report).
CoRR, 2018

Query Answering for Rough EL Ontologies.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, 2018

Computing Standard Inferences under Rational and Relevant Semantics in Defeasible EL_bot.
Proceedings of the 31st International Workshop on Description Logics co-located with 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018), Tempe, Arizona, US, October 27th - to, 2018

2017
Preface to the Speical Issue on Reasoning about Preferences, Uncertainty, and Vagueness.
FLAP, 2017

Temporal Query Answering in DL-Lite over Inconsistent Data.
Proceedings of the Semantic Web - ISWC 2017, 2017

Making Quantification Relevant Again - the Case of Defeasible EL_\bot.
Proceedings of the 4th International Workshop on Defeasible and Ampliative Reasoning (DARe-17) co-located with the 14th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2017), 2017

Including Quantification in Defeasible Reasoning for the Description Logic EL<sub>⊥</sub>.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2017

Energy-Efficiency of OWL Reasoners - Frequency Matters.
Proceedings of the Semantic Technology - 7th Joint International Conference, 2017

Using Ontologies to Query Probabilistic Numerical Data.
Proceedings of the Frontiers of Combining Systems - 11th International Symposium, 2017

Using Ontologies to Query Probabilistic Numerical Data (Extended Abstract).
Proceedings of the 30th International Workshop on Description Logics, 2017

2016
Answering Fuzzy Conjunctive Queries Over Finitely Valued Fuzzy Ontologies.
J. Data Semant., 2016

Description Logics Reasoning w.r.t. General TBoxes Is Decidable for Concrete Domains with the EHD-Property.
Proceedings of the ECAI 2016 - 22nd European Conference on Artificial Intelligence, 29 August-2 September 2016, The Hague, The Netherlands, 2016

2015
Pleased to Meet You!
Künstliche Intell., 2015

Similarity-based relaxed instance queries.
J. Appl. Log., 2015

Towards Temporal Fuzzy Query Answering on Stream-based Data.
Proceedings of the 1st Workshop on High-Level Declarative Stream Processing co-located with the 38th German AI conference (KI 2015), 2015

A pragmatic approach to answering CQs over fuzzy DL-Lite-ontologies - introducing FLite.
Proceedings of the 28th International Workshop on Description Logics, 2015

Elastiq: Answering Similarity-threshold Instance Queries in EL.
Proceedings of the 28th International Workshop on Description Logics, 2015

Conjunctive Query Answering with Finitely Many Truth Degrees.
Proceedings of the 28th International Workshop on Description Logics, 2015

2014
Completion-based generalization inferences for the Description Logic ELOR with subjective probabilities.
Int. J. Approx. Reason., 2014

Conjunctive Query Answering in Finitely-Valued Fuzzy Description Logics.
Proceedings of the Web Reasoning and Rule Systems - 8th International Conference, 2014

Bridging the application knowledge gap: using ontology-based situation recognition to support energy-aware resource scheduling.
Proceedings of the 13th Workshop on Adaptive and Reflective Middleware, 2014

Answering Instance Queries Relaxed by Concept Similarity.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference, 2014

Reasoning in <i>ALC</i> with Fuzzy Concrete Domains.
Proceedings of the KI 2014: Advances in Artificial Intelligence, 2014

Employing DL\text -Lite_R -Reasoners for Fuzzy Query Answering.
Proceedings of the Semantic Technology - 4th Joint International Conference, 2014

Certain Answers in a Rough World.
Proceedings of the Informal Proceedings of the 27th International Workshop on Description Logics, 2014

Mary, What's Like All Cats?
Proceedings of the Informal Proceedings of the 27th International Workshop on Description Logics, 2014

2013
Instance-Based Non-standard Inferences in $\mathcal{EL}$ with Subjective Probabilities.
Proceedings of the Uncertainty Reasoning for the Semantic Web II, 2013

Introductions to Description Logics - A Guided Tour.
Proceedings of the Reasoning Web. Semantic Technologies for Intelligent Data Access - 9th International Summer School 2013, Mannheim, Germany, July 30, 2013

Situation recognition for service management systems using OWL 2 reasoners.
Proceedings of the 2013 IEEE International Conference on Pervasive Computing and Communications Workshops, 2013

OWL 2 Reasoning To Detect Energy-Efficient Software Variants From Context.
Proceedings of the 10th International Workshop on OWL: Experiences and Directions (OWLED 2013) co-located with 10th Extended Semantic Web Conference (ESWC 2013), 2013

Computing Role-Depth Bounded Generalizations in the Description Logic.
Proceedings of the KI 2013: Advances in Artificial Intelligence, 2013

Most Specific Generalizations w.r.t. General EL-TBoxes.
Proceedings of the IJCAI 2013, 2013

Computing the lcs w.r.t. General EL+-TBoxes.
Proceedings of the Informal Proceedings of the 26th International Workshop on Description Logics, Ulm, Germany, July 23, 2013

Role-depth Bounded Least Common Subsumer in Prob-EL with Nominals.
Proceedings of the Informal Proceedings of the 26th International Workshop on Description Logics, Ulm, Germany, July 23, 2013

2012
Optimizations for the Role-Depth Bounded Least Common Subsumer in EL+.
Proceedings of OWL: Experiences and Directions Workshop 2012, 2012

A Framework for Semantic-Based Similarity Measures for $\mathcal{ELH}$ -Concepts.
Proceedings of the Logics in Artificial Intelligence - 13th European Conference, 2012

Role-depth Bounded Least Common Subsumers for EL+ and ELI.
Proceedings of the 2012 International Workshop on Description Logics, 2012

2011
Description logic reasoning for semantic web ontologies.
Proceedings of the International Conference on Web Intelligence, Mining and Semantics, 2011

A Practical Approach for Computing Generalization Inferences in <i>EL</i>\mathcal{EL}.
Proceedings of the Semantic Web: Research and Applications, 2011

Implementing Completion-Based Inferences for the EL-family.
Proceedings of the 24th International Workshop on Description Logics (DL 2011), 2011

2010
Small is Again Beautiful in Description Logics.
Künstliche Intell., 2010

Reasoning and Explanation in <i>EL</i> and in Expressive Description Logics.
Proceedings of the Reasoning Web. Semantic Technologies for Software Engineering, 6th International Summer School 2010, Dresden, Germany, August 30, 2010

Role-depth Bounded Least Common Subsumers by Completion for EL- and prob-EL-TBoxes.
Proceedings of the 23rd International Workshop on Description Logics (DL 2010), 2010

Towards Approximative Most Specific Concepts by Completion for EL with Subjective Probabilities.
Proceedings of the First International Workshop on Uncertainty in Description Logics, 2010

2009
Employing description logics in Ambient Intelligence for modeling and reasoning about complex situations.
J. Ambient Intell. Smart Environ., 2009

2007
On the computation of common subsumers in description logics.
PhD thesis, 2007

Computing the least common subsumer w.r.t. a background terminology.
J. Appl. Log., 2007

Speeding up Approximation with Nicer Concepts.
Proceedings of the 2007 International Workshop on Description Logics (DL2007), 2007

2006
Pushing Doors for Modeling Contexts with OWL DL a Case Study.
Proceedings of the 4th IEEE Conference on Pervasive Computing and Communications Workshops (PerCom 2006 Workshops), 2006

DIG 2.0 -- Towards a Flexible Interface for Description Logic Reasoners.
Proceedings of the OWLED*06 Workshop on OWL: Experiences and Directions, 2006

2004
Sonic: System Description.
Proceedings of the 2004 International Workshop on Description Logics (DL2004), 2004

Sonic - Non-standard Inferences Go OilEd.
Proceedings of the Automated Reasoning - Second International Joint Conference, 2004

2003
Extensions of Non-standard Inferences to Descriptions Logics with Transitive Roles.
Proceedings of the Logic for Programming, 2003

Computing Least Common Subsumers for FLE<sup>+</sup>.
Proceedings of the 2003 International Workshop on Description Logics (DL2003), 2003

2002
Approximation and Difference in Description Logics.
Proceedings of the Eights International Conference on Principles and Knowledge Representation and Reasoning (KR-02), 2002

On the Problem of Computing Small Representations of Least Common Subsumers.
Proceedings of the KI 2002: Advances in Artificial Intelligence, 2002

Approximating ALCN-Concept Descriptions.
Proceedings of the 2002 International Workshop on Description Logics (DL2002), 2002

2001
Using Lazy Unfolding for the Computation of Least Common Subsumers.
Proceedings of the Working Notes of the 2001 International Description Logics Workshop (DL-2001), 2001

TBoxes do not Yield a Compact Representation of Least Common Subsumers.
Proceedings of the Working Notes of the 2001 International Description Logics Workshop (DL-2001), 2001

Exploiting Pseudo Models for TBox and ABox Reasoning in Expressive Description Logics.
Proceedings of the Automated Reasoning, First International Joint Conference, 2001

2000
Adapting Optimization Techniques to Description Logics with Concrete Domains.
Proceedings of the 2000 International Workshop on Description Logics (DL2000), 2000

1999
On Terminological Default Reasoning about Spatial Information: Extended Abstract.
Proceedings of the 1999 International Workshop on Description Logics (DL'99), Linköping, Sweden, July 30, 1999

1998
Implementing an ALCRP(D) ABox Reasoner - Progress Report.
Proceedings of the 1998 International Workshop on Description Logics (DL'98), IRST, Povo, 1998

HAM-ALC.
Proceedings of the 1998 International Workshop on Description Logics (DL'98), IRST, Povo, 1998


  Loading...