default search action
Anni-Yasmin Turhan
Person information
- affiliation: Paderborn University, Germany
- affiliation (former): Dresden University of Technology, Germany
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [c78]Oliver Fernández Gil, Fabio Patrizi, Giuseppe Perelli, Anni-Yasmin Turhan:
Optimal Alignment of Temporal Knowledge Bases (Extended Abstract). Description Logics 2024 - [c77]Rafael Peñaloza, Anni-Yasmin Turhan:
Rough, Rougher, Roughest: Extending EL with a Hierarchy of Indiscernibility Relations. Description Logics 2024 - [c76]Rafael Peñaloza, Anni-Yasmin Turhan:
Reasoning in Rough Description Logics with Multiple Indiscernibility Relations. RuleML+RR 2024: 142-158 - 2023
- [c75]Anni-Yasmin Turhan:
Brushing-up DLs to Cope with Imperfect Data (Abstract of Joint DL+NMR Invited Talk). Description Logics 2023 - [c74]Oliver Fernández Gil, Fabio Patrizi, Giuseppe Perelli, Anni-Yasmin Turhan:
Optimal Alignment of Temporal Knowledge Bases. ECAI 2023: 708-715 - [c73]Igor de Camargo e Souza Câmara, Anni-Yasmin Turhan:
Deciding Subsumption in Defeasible $\mathcal {ELI}_\bot $ with Typicality Models. JELIA 2023: 531-546 - [i4]Oliver Fernández Gil, Fabio Patrizi, Giuseppe Perelli, Anni-Yasmin Turhan:
Optimal Alignment of Temporal Knowledge Bases. CoRR abs/2307.15439 (2023) - 2022
- [j15]Anni-Yasmin Turhan:
A Double Take at Conferences: The Hybrid Format. Künstliche Intell. 36(1): 1-4 (2022) - [j14]Franz Baader, Patrick Koopmann, Friedrich Michel, Anni-Yasmin Turhan, Benjamin Zarrieß:
Efficient TBox Reasoning with Value Restrictions using the ℱℒ0wer Reasoner. Theory Pract. Log. Program. 22(2): 162-192 (2022) - [c72]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 - [c71]Satyadharma Tirtarasa, Anni-Yasmin Turhan:
A New Dimension to Generalization: Computing Temporal EL Concepts from Positive Examples (Extended Abstract). Description Logics 2022 - [c70]Rafael Peñaloza, Anni-Yasmin Turhan:
User-aware Explications of Ontology Consequences: Levelling Technicality. FCR@KI 2022: 90-101 - [c69]Igor de Camargo e Souza Câmara, Anni-Yasmin Turhan:
Rational Defeasible Subsumption in DLs with Nested Quantifiers: the Case of ELI⊥. NMR 2022: 159-162 - [c68]Satyadharma Tirtarasa, Anni-Yasmin Turhan:
Computing generalizations of temporal εL concepts with next and global. SAC 2022: 903-910 - [e8]Guido Governatori, Anni-Yasmin Turhan:
Rules and Reasoning - 6th International Joint Conference on Rules and Reasoning, RuleML+RR 2022, Berlin, Germany, September 26-28, 2022, Proceedings. Lecture Notes in Computer Science 13752, Springer 2022, ISBN 978-3-031-21540-7 [contents] - 2021
- [j13]Clemens Dubslaff, Patrick Koopmann, Anni-Yasmin Turhan:
Enhancing Probabilistic Model Checking with Ontologies. Formal Aspects Comput. 33(6): 885-921 (2021) - [c67]Oliver Fernández Gil, Anni-Yasmin Turhan:
Answering Regular Path Queries Under Approximate Semantics in Lightweight Description Logics. AAAI 2021: 6340-6348 - [c66]Christian Alrabbaa, Willi Hieke, Anni-Yasmin Turhan:
Counter Model Transformation for Explaining Non-Subsumption in EL. FCR@KI 2021: 9-22 - [i3]Franz Baader, Patrick Koopmann, Friedrich Michel, Anni-Yasmin Turhan, Benjamin Zarrieß:
Efficient TBox Reasoning with Value Restrictions using the ℱℒ0wer reasoner. CoRR abs/2107.12877 (2021) - 2020
- [j12]Franz Baader, Stefan Borgwardt, Patrick Koopmann, Veronika Thost, Anni-Yasmin Turhan:
Semantic Technologies for Situation Awareness. Künstliche Intell. 34(4): 543-550 (2020) - [c65]Clemens Dubslaff, Patrick Koopmann, Anni-Yasmin Turhan:
Give Inconsistency a Chance: Semantics for Ontology-Mediated Verification. Description Logics 2020 - [c64]Oliver Fernández Gil, Anni-Yasmin Turhan:
Relaxed Regular Path Queries in Lightweight DLs (Extended Abstract). Description Logics 2020 - [c63]Willi Hieke, Anni-Yasmin Turhan:
Towards Model Transformation in Description Logics - Investigating the Case of Transductions. FCR@KI 2020: 69-82
2010 – 2019
- 2019
- [j11]Anni-Yasmin Turhan:
Bridging the Prototype Gap: On the Evolution of Ugly Ducklings. Künstliche Intell. 33(3): 205-207 (2019) - [j10]Camille Bourgaux, Patrick Koopmann, Anni-Yasmin Turhan:
Ontology-mediated query answering over temporal and inconsistent data. Semantic Web 10(3): 475-521 (2019) - [c62]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: 1-14 - [c61]Oliver Fernández Gil, Anni-Yasmin Turhan:
Towards an Equivalence Degree of EL CQs (Extended Abstract). Description Logics 2019 - [c60]Christian Alrabbaa, Patrick Koopmann, Anni-Yasmin Turhan:
Practical Query Rewriting for DL-Lite with Numerical Predicates. GCAI 2019: 15-27 - [c59]Clemens Dubslaff, Patrick Koopmann, Anni-Yasmin Turhan:
Ontology-Mediated Probabilistic Model Checking. IFM 2019: 194-211 - [c58]Axel-Cyrille Ngonga Ngomo, Felix Conrads, Maximilian Pensel, Anni-Yasmin Turhan:
Congenial Benchmarking of RDF Storage Solutions. K-CAP 2019: 213-221 - [c57]Friedrich Michel, Anni-Yasmin Turhan, Benjamin Zarrieß:
Efficient TBox Reasoning with Value Restrictions - Introducing the ℱ}_o \textitwer Reasoner. RuleML+RR 2019: 128-143 - [e7]Carsten Lutz, Uli Sattler, Cesare Tinelli, Anni-Yasmin Turhan, Frank Wolter:
Description Logic, Theory Combination, and All That - Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday. Lecture Notes in Computer Science 11560, Springer 2019, ISBN 978-3-030-22101-0 [contents] - 2018
- [j9]Maximilian Pensel, Anni-Yasmin Turhan:
Reasoning in the Defeasible Description Logic εℒ - computing standard inferences under rational and relevant semantics. Int. J. Approx. Reason. 103: 28-70 (2018) - [c56]Maximilian Pensel, Anni-Yasmin Turhan:
Computing Standard Inferences under Rational and Relevant Semantics in Defeasible EL_bot. Description Logics 2018 - [c55]Rafael Peñaloza, Veronika Thost, Anni-Yasmin Turhan:
Query Answering for Rough EL Ontologies. KR 2018: 399-408 - [e6]Thomas Lukasiewicz, Rafael Peñaloza, Anni-Yasmin Turhan:
Proceedings of the Second Workshop on Logics for Reasoning about Preferences, Uncertainty, and Vagueness co-located with the 9th International Joint Conference on Automated Reasoning, PRUV@IJCAR 2018, Oxford, UK, July 19th, 2018. CEUR Workshop Proceedings 2157, CEUR-WS.org 2018 [contents] - [e5]Frank Trollmann, Anni-Yasmin Turhan:
KI 2018: Advances in Artificial Intelligence - 41st German Conference on AI, Berlin, Germany, September 24-28, 2018, Proceedings. Lecture Notes in Computer Science 11117, Springer 2018, ISBN 978-3-030-00110-0 [contents] - [i2]Rafael Peñaloza, Veronika Thost, Anni-Yasmin Turhan:
Query Answering for Rough EL Ontologies (Extended Technical Report). CoRR abs/1808.01877 (2018) - 2017
- [j8]Thomas Lukasiewicz, Rafael Peñaloza, Anni-Yasmin Turhan:
Preface to the Speical Issue on Reasoning about Preferences, Uncertainty, and Vagueness. FLAP 4(7) (2017) - [c54]Franz Baader, Patrick Koopmann, Anni-Yasmin Turhan:
Using Ontologies to Query Probabilistic Numerical Data (Extended Abstract). Description Logics 2017 - [c53]Franz Baader, Patrick Koopmann, Anni-Yasmin Turhan:
Using Ontologies to Query Probabilistic Numerical Data. FroCoS 2017: 77-94 - [c52]Patrick Koopmann, Marcus Hähnel, Anni-Yasmin Turhan:
Energy-Efficiency of OWL Reasoners - Frequency Matters. JIST 2017: 86-101 - [c51]Maximilian Pensel, Anni-Yasmin Turhan:
Making Quantification Relevant Again - the Case of Defeasible EL_\bot. DARe@LPNMR 2017: 44-57 - [c50]Maximilian Pensel, Anni-Yasmin Turhan:
Including Quantification in Defeasible Reasoning for the Description Logic EL⊥. LPNMR 2017: 78-84 - [c49]Camille Bourgaux, Anni-Yasmin Turhan:
Temporal Query Answering in DL-Lite over Inconsistent Data. ISWC (1) 2017: 121-137 - [e4]Zhe Wang, Anni-Yasmin Turhan, Kewen Wang, Xiaowang Zhang:
Semantic Technology - 7th Joint International Conference, JIST 2017, Gold Coast, QLD, Australia, November 10-12, 2017, Proceedings. Lecture Notes in Computer Science 10675, Springer 2017, ISBN 978-3-319-70681-8 [contents] - 2016
- [j7]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): 55-75 (2016) - [c48]Claudia Carapelle, Anni-Yasmin Turhan:
Description Logics Reasoning w.r.t. General TBoxes Is Decidable for Concrete Domains with the EHD-Property. ECAI 2016: 1440-1448 - 2015
- [j6]Andreas Ecke, Rafael Peñaloza, Anni-Yasmin Turhan:
Similarity-based relaxed instance queries. J. Appl. Log. 13(4): 480-508 (2015) - [j5]Anni-Yasmin Turhan:
Pleased to Meet You! Künstliche Intell. 29(4): 319-322 (2015) - [c47]Stefan Borgwardt, Theofilos P. Mailis, Rafael Peñaloza, Anni-Yasmin Turhan:
Conjunctive Query Answering with Finitely Many Truth Degrees. Description Logics 2015 - [c46]Andreas Ecke, Maximilian Pensel, Anni-Yasmin Turhan:
Elastiq: Answering Similarity-threshold Instance Queries in EL. Description Logics 2015 - [c45]Theofilos P. Mailis, Anni-Yasmin Turhan, Erik Zenker:
A pragmatic approach to answering CQs over fuzzy DL-Lite-ontologies - introducing FLite. Description Logics 2015 - [c44]Anni-Yasmin Turhan, Erik Zenker:
Towards Temporal Fuzzy Query Answering on Stream-based Data. HiDeSt@KI 2015: 56-69 - [i1]Stefan Borgwardt, Theofilos P. Mailis, Rafael Peñaloza, Anni-Yasmin Turhan:
Answering Fuzzy Conjunctive Queries over Finitely Valued Fuzzy Ontologies. CoRR abs/1508.02626 (2015) - 2014
- [j4]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): 1939-1970 (2014) - [c43]Andreas Ecke, Rafael Peñaloza, Anni-Yasmin Turhan:
Mary, What's Like All Cats? Description Logics 2014: 526-529 - [c42]Rafael Peñaloza, Veronika Thost, Anni-Yasmin Turhan:
Certain Answers in a Rough World. Description Logics 2014: 709-712 - [c41]Theofilos P. Mailis, Anni-Yasmin Turhan:
Employing DL\text -Lite_R -Reasoners for Fuzzy Query Answering. JIST 2014: 63-78 - [c40]Dorian Merz, Rafael Peñaloza, Anni-Yasmin Turhan:
Reasoning in ALC with Fuzzy Concrete Domains. KI 2014: 171-182 - [c39]Andreas Ecke, Rafael Peñaloza, Anni-Yasmin Turhan:
Answering Instance Queries Relaxed by Concept Similarity. KR 2014 - [c38]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: 3:1-3:6 - [c37]Theofilos P. Mailis, Rafael Peñaloza, Anni-Yasmin Turhan:
Conjunctive Query Answering in Finitely-Valued Fuzzy Description Logics. RR 2014: 124-139 - [e3]Thomas Lukasiewicz, Rafael Peñaloza, Anni-Yasmin Turhan:
Proceedings of the First Workshop on Logics for Reasoning about Preferences, Uncertainty, and Vagueness, PRUV 2014, co-located with 7th International Joint Conference on Automated Reasoning (IJCAR 2014), Vienna, Austria, July 23-24, 2014. CEUR Workshop Proceedings 1205, CEUR-WS.org 2014 [contents] - 2013
- [c36]Anni-Yasmin Turhan, Benjamin Zarrieß:
Computing the lcs w.r.t. General EL+-TBoxes. Description Logics 2013: 477-488 - [c35]Andreas Ecke, Rafael Peñaloza, Anni-Yasmin Turhan:
Role-depth Bounded Least Common Subsumer in Prob-EL with Nominals. Description Logics 2013: 670-688 - [c34]Benjamin Zarrieß, Anni-Yasmin Turhan:
Most Specific Generalizations w.r.t. General EL-TBoxes. IJCAI 2013: 1191-1197 - [c33]Andreas Ecke, Rafael Peñaloza, Anni-Yasmin Turhan:
Computing Role-Depth Bounded Generalizations in the Description Logic. KI 2013: 49-60 - [c32]Sebastian Goetz, Julian Mendez, Veronika Thost, Anni-Yasmin Turhan:
OWL 2 Reasoning To Detect Energy-Efficient Software Variants From Context. OWLED 2013 - [c31]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: 31-36 - [c30]Anni-Yasmin Turhan:
Introductions to Description Logics - A Guided Tour. Reasoning Web 2013: 150-161 - [c29]Rafael Peñaloza, Anni-Yasmin Turhan:
Instance-Based Non-standard Inferences in $\mathcal{EL}$ with Subjective Probabilities. URSW (LNCS Vol.) 2013: 80-98 - 2012
- [c28]Andreas Ecke, Anni-Yasmin Turhan:
Role-depth Bounded Least Common Subsumers for EL+ and ELI. Description Logics 2012 - [c27]Karsten Lehmann, Anni-Yasmin Turhan:
A Framework for Semantic-Based Similarity Measures for $\mathcal{ELH}$ -Concepts. JELIA 2012: 307-319 - [c26]Andreas Ecke, Anni-Yasmin Turhan:
Optimizations for the Role-Depth Bounded Least Common Subsumer in EL+. OWLED 2012 - 2011
- [c25]Julian Mendez, Andreas Ecke, Anni-Yasmin Turhan:
Implementing Completion-Based Inferences for the EL-family. Description Logics 2011 - [c24]Rafael Peñaloza, Anni-Yasmin Turhan:
A Practical Approach for Computing Generalization Inferences in EL\mathcal{EL}. ESWC (1) 2011: 410-423 - [c23]Anni-Yasmin Turhan:
Description logic reasoning for semantic web ontologies. WIMS 2011: 6 - 2010
- [j3]Franz Baader, Carsten Lutz, Anni-Yasmin Turhan:
Small is Again Beautiful in Description Logics. Künstliche Intell. 24(1): 25-33 (2010) - [c22]Rafael Peñaloza, Anni-Yasmin Turhan:
Towards Approximative Most Specific Concepts by Completion for EL with Subjective Probabilities. UniDL 2010 - [c21]Anni-Yasmin Turhan, Rafael Peñaloza:
Role-depth Bounded Least Common Subsumers by Completion for EL- and prob-EL-TBoxes. Description Logics 2010 - [c20]Anni-Yasmin Turhan:
Reasoning and Explanation in EL and in Expressive Description Logics. Reasoning Web 2010: 1-27 - [e2]Thomas Lukasiewicz, Rafael Peñaloza, Anni-Yasmin Turhan:
Proceedings of the First International Workshop on Uncertainty in Description Logics, Edinburgh, UK, July 20, 2010. CEUR Workshop Proceedings 613, CEUR-WS.org 2010 [contents]
2000 – 2009
- 2009
- [j2]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): 235-259 (2009) - 2007
- [b1]Anni-Yasmin Turhan:
On the computation of common subsumers in description logics. Dresden University of Technology, Germany, 2007, pp. 1-156 - [j1]Franz Baader, Baris Sertkaya, Anni-Yasmin Turhan:
Computing the least common subsumer w.r.t. a background terminology. J. Appl. Log. 5(3): 392-420 (2007) - [c19]Anni-Yasmin Turhan, Yusri Bong:
Speeding up Approximation with Nicer Concepts. Description Logics 2007 - [e1]Diego Calvanese, Enrico Franconi, Volker Haarslev, Domenico Lembo, Boris Motik, Anni-Yasmin Turhan, Sergio Tessaris:
Proceedings of the 2007 International Workshop on Description Logics (DL2007), Brixen-Bressanone, near Bozen-Bolzano, Italy, 8-10 June, 2007. CEUR Workshop Proceedings 250, CEUR-WS.org 2007 [contents] - 2006
- [c18]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 - [c17]Anni-Yasmin Turhan, Thomas Springer, Michael Berger:
Pushing Doors for Modeling Contexts with OWL DL a Case Study. PerCom Workshops 2006: 13-17 - 2004
- [c16]Anni-Yasmin Turhan, Christian Kissig:
Sonic - Non-standard Inferences Go OilEd. IJCAR 2004: 321-325 - [c15]Franz Baader, Baris Sertkaya, Anni-Yasmin Turhan:
Computing the Least Common Subsumer w.r.t. a Background Terminology. Description Logics 2004 - [c14]Anni-Yasmin Turhan, Christian Kissig:
Sonic: System Description. Description Logics 2004 - [c13]Franz Baader, Baris Sertkaya, Anni-Yasmin Turhan:
Computing the Least Common Subsumer w.r.t. a Background Terminology. JELIA 2004: 400-412 - 2003
- [c12]Sebastian Brandt, Anni-Yasmin Turhan:
Computing Least Common Subsumers for FLE+. Description Logics 2003 - [c11]Sebastian Brandt, Anni-Yasmin Turhan, Ralf Küsters:
Extensions of Non-standard Inferences to Descriptions Logics with Transitive Roles. LPAR 2003: 122-136 - 2002
- [c10]Sebastian Brandt, Ralf Küsters, Anni-Yasmin Turhan:
Approximating ALCN-Concept Descriptions. Description Logics 2002 - [c9]Franz Baader, Anni-Yasmin Turhan:
On the Problem of Computing Small Representations of Least Common Subsumers. KI 2002: 99-113 - [c8]Sebastian Brandt, Ralf Küsters, Anni-Yasmin Turhan:
Approximation and Difference in Description Logics. KR 2002: 203-214 - 2001
- [c7]Volker Haarslev, Ralf Möller, Anni-Yasmin Turhan:
Exploiting Pseudo Models for TBox and ABox Reasoning in Expressive Description Logics. IJCAR 2001: 61-75 - [c6]Franz Baader, Anni-Yasmin Turhan:
TBoxes do not Yield a Compact Representation of Least Common Subsumers. Description Logics 2001 - [c5]Anni-Yasmin Turhan, Ralf Molitor:
Using Lazy Unfolding for the Computation of Least Common Subsumers. Description Logics 2001 - 2000
- [c4]Anni-Yasmin Turhan, Volker Haarslev:
Adapting Optimization Techniques to Description Logics with Concrete Domains. Description Logics 2000: 247-256
1990 – 1999
- 1999
- [c3]Volker Haarslev, Ralf Möller, Anni-Yasmin Turhan, Michael Wessel:
On Terminological Default Reasoning about Spatial Information: Extended Abstract. Description Logics 1999 - 1998
- [c2]Volker Haarslev, Ralf Möller, Anni-Yasmin Turhan:
HAM-ALC. Description Logics 1998 - [c1]Volker Haarslev, Ralf Möller, Anni-Yasmin Turhan:
Implementing an ALCRP(D) ABox Reasoner - Progress Report. Description Logics 1998
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 22:10 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint