Anni-Yasmin Turhan

112 papers A* 5A 4B 11Misc 5Journal 22Unranked 57

Year	Rank	Type	Title / Venue / Authors
2026	—	`ed.`	Foundations of Information and Knowledge Systems - 14th International Symposium, FoIKS 2026, Hanover, Germany, March 23-26, 2026, Proceedings FoIKS Anni-Yasmin Turhan, Jonni Virtema
2026	B	`ed.`	Rules and Reasoning - 9th International Joint Conference, RuleML+RR 2025, Istanbul, Turkey, September 22-24, 2025, Proceedings RuleML+RR Aidan Hogan, Ken Satoh, Hasan Dag, Anni-Yasmin Turhan, Dumitru Roman, Ahmet Soylu
2025	J	`jnl`	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). Theory Pract. Log. Program. Guido Governatori, Anni-Yasmin Turhan
2025	J	`jnl`	Think Globally, Attend Locally. Künstliche Intell. Anni-Yasmin Turhan
2025	—	`conf`	Why not? Developing ABox Abduction Beyond Repairs. DL Anselm Haak, Patrick Koopmann, Yasir Mahmood, Anni-Yasmin Turhan
2025	J	`jnl`	Why not? Developing ABox Abduction beyond Repairs. CoRR Anselm Haak, Patrick Koopmann, Yasir Mahmood, Anni-Yasmin Turhan
2024	—	`conf`	Optimal Alignment of Temporal Knowledge Bases (Extended Abstract). Description Logics Oliver Fernández Gil, Fabio Patrizi, Giuseppe Perelli, Anni-Yasmin Turhan
2024	B	`conf`	Reasoning in Rough Description Logics with Multiple Indiscernibility Relations. RuleML+RR Rafael Peñaloza, Anni-Yasmin Turhan
2024	—	`conf`	Rough, Rougher, Roughest: Extending EL with a Hierarchy of Indiscernibility Relations. Description Logics Rafael Peñaloza, Anni-Yasmin Turhan
2023	—	`conf`	Brushing-up DLs to Cope with Imperfect Data (Abstract of Joint DL+NMR Invited Talk). Description Logics Anni-Yasmin Turhan
2023	B	`conf`	Deciding Subsumption in Defeasible $\mathcal {ELI}_\bot $ with Typicality Models. JELIA Igor de Camargo e Souza Câmara, Anni-Yasmin Turhan
2023	A	`conf`	Optimal Alignment of Temporal Knowledge Bases. ECAI Oliver Fernández Gil, Fabio Patrizi, Giuseppe Perelli, Anni-Yasmin Turhan
2023	J	`jnl`	Optimal Alignment of Temporal Knowledge Bases. CoRR Oliver Fernández Gil, Fabio Patrizi, Giuseppe Perelli, Anni-Yasmin Turhan
2022	J	`jnl`	A Double Take at Conferences: The Hybrid Format. Künstliche Intell. Anni-Yasmin Turhan
2022	—	`conf`	A New Dimension to Generalization: Computing Temporal EL Concepts from Positive Examples (Extended Abstract). Description Logics Satyadharma Tirtarasa, Anni-Yasmin Turhan
2022	Misc	`conf`	Computing generalizations of temporal SAC Satyadharma Tirtarasa, Anni-Yasmin Turhan
2022	—	`conf`	Efficient TBox Reasoning with Value Restrictions Using the FL0wer Reasoner (Extended Abstract). Description Logics Franz Baader, Patrick Koopmann, Friedrich Michel, Anni-Yasmin Turhan, Benjamin Zarrieß
2022	J	`jnl`	Efficient TBox Reasoning with Value Restrictions using the ℱℒ Theory Pract. Log. Program. Franz Baader, Patrick Koopmann, Friedrich Michel, Anni-Yasmin Turhan, Benjamin Zarrieß
2022	—	`conf`	Rational Defeasible Subsumption in DLs with Nested Quantifiers: the Case of ELI⊥. NMR Igor de Camargo e Souza Câmara, Anni-Yasmin Turhan
2022	B	`ed.`	Rules and Reasoning - 6th International Joint Conference on Rules and Reasoning, RuleML+RR 2022, Berlin, Germany, September 26-28, 2022, Proceedings RuleML+RR Guido Governatori, Anni-Yasmin Turhan
2022	—	`conf`	User-aware Explications of Ontology Consequences: Levelling Technicality. FCR@KI Rafael Peñaloza, Anni-Yasmin Turhan
2021	A*	`conf`	Answering Regular Path Queries Under Approximate Semantics in Lightweight Description Logics. AAAI Oliver Fernández Gil, Anni-Yasmin Turhan
2021	—	`conf`	Counter Model Transformation for Explaining Non-Subsumption in EL. FCR@KI Christian Alrabbaa, Willi Hieke, Anni-Yasmin Turhan
2021	J	`jnl`	Efficient TBox Reasoning with Value Restrictions using the ℱℒ CoRR Franz Baader, Patrick Koopmann, Friedrich Michel, Anni-Yasmin Turhan, Benjamin Zarrieß
2021	J	`jnl`	Enhancing Probabilistic Model Checking with Ontologies. Formal Aspects Comput. Clemens Dubslaff, Patrick Koopmann, Anni-Yasmin Turhan
2020	—	`conf`	Give Inconsistency a Chance: Semantics for Ontology-Mediated Verification. Description Logics Clemens Dubslaff, Patrick Koopmann, Anni-Yasmin Turhan
2020	—	`conf`	Relaxed Regular Path Queries in Lightweight DLs (Extended Abstract). Description Logics Oliver Fernández Gil, Anni-Yasmin Turhan
2020	J	`jnl`	Semantic Technologies for Situation Awareness. Künstliche Intell. Franz Baader, Stefan Borgwardt, Patrick Koopmann, Veronika Thost, Anni-Yasmin Turhan
2020	—	`conf`	Towards Model Transformation in Description Logics - Investigating the Case of Transductions. FCR@KI Willi Hieke, Anni-Yasmin Turhan
2019	—	`conf`	A Tour of Franz Baader's Contributions to Knowledge Representation and Automated Deduction. Description Logic, Theory Combination, and All That Carsten Lutz, Uli Sattler, Cesare Tinelli, Anni-Yasmin Turhan, Frank Wolter
2019	J	`jnl`	Bridging the Prototype Gap: On the Evolution of Ugly Ducklings. Künstliche Intell. Anni-Yasmin Turhan
2019	B	`conf`	Congenial Benchmarking of RDF Storage Solutions. K-CAP Axel-Cyrille Ngonga Ngomo, Felix Conrads, Maximilian Pensel, Anni-Yasmin Turhan
2019	—	`ed.`	Description Logic, Theory Combination, and All That - Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday Description Logic, Theory Combination, and All That Carsten Lutz, Uli Sattler, Cesare Tinelli, Anni-Yasmin Turhan, Frank Wolter
2019	B	`conf`	Efficient TBox Reasoning with Value Restrictions - Introducing the ℱ}_o \textitwer Reasoner. RuleML+RR Friedrich Michel, Anni-Yasmin Turhan, Benjamin Zarrieß
2019	B	`conf`	Ontology-Mediated Probabilistic Model Checking. IFM Clemens Dubslaff, Patrick Koopmann, Anni-Yasmin Turhan
2019	J	`jnl`	Ontology-mediated query answering over temporal and inconsistent data. Semantic Web Camille Bourgaux, Patrick Koopmann, Anni-Yasmin Turhan
2019	—	`conf`	Practical Query Rewriting for DL-Lite with Numerical Predicates. GCAI Christian Alrabbaa, Patrick Koopmann, Anni-Yasmin Turhan
2019	—	`conf`	Towards an Equivalence Degree of EL CQs (Extended Abstract). Description Logics Oliver Fernández Gil, Anni-Yasmin Turhan
2018	—	`conf`	Computing Standard Inferences under Rational and Relevant Semantics in Defeasible EL_bot. Description Logics Maximilian Pensel, Anni-Yasmin Turhan
2018	Misc	`ed.`	KI 2018: Advances in Artificial Intelligence - 41st German Conference on AI, Berlin, Germany, September 24-28, 2018, Proceedings KI Frank Trollmann, Anni-Yasmin Turhan
2018	—	`ed.`	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. PRUV@IJCAR Thomas Lukasiewicz, Rafael Peñaloza, Anni-Yasmin Turhan
2018	J	`jnl`	Query Answering for Rough EL Ontologies (Extended Technical Report). CoRR Rafael Peñaloza, Veronika Thost, Anni-Yasmin Turhan
2018	A*	`conf`	Query Answering for Rough EL Ontologies. KR Rafael Peñaloza, Veronika Thost, Anni-Yasmin Turhan
2018	J	`jnl`	Reasoning in the Defeasible Description Logic εℒ - computing standard inferences under rational and relevant semantics. Int. J. Approx. Reason. Maximilian Pensel, Anni-Yasmin Turhan
2017	—	`conf`	Energy-Efficiency of OWL Reasoners - Frequency Matters. JIST Patrick Koopmann, Marcus Hähnel, Anni-Yasmin Turhan
2017	B	`conf`	Including Quantification in Defeasible Reasoning for the Description Logic EL LPNMR Maximilian Pensel, Anni-Yasmin Turhan
2017	—	`conf`	Making Quantification Relevant Again - the Case of Defeasible EL_\bot. DARe@LPNMR Maximilian Pensel, Anni-Yasmin Turhan
2017	J	`jnl`	Preface to the Speical Issue on Reasoning about Preferences, Uncertainty, and Vagueness. FLAP Thomas Lukasiewicz, Rafael Peñaloza, Anni-Yasmin Turhan
2017	—	`ed.`	Semantic Technology - 7th Joint International Conference, JIST 2017, Gold Coast, QLD, Australia, November 10-12, 2017, Proceedings JIST Zhe Wang, Anni-Yasmin Turhan, Kewen Wang, Xiaowang Zhang
2017	—	`conf`	Temporal Query Answering in DL-Lite over Inconsistent Data. ISWC (1) Camille Bourgaux, Anni-Yasmin Turhan
2017	—	`conf`	Using Ontologies to Query Probabilistic Numerical Data (Extended Abstract). Description Logics Franz Baader, Patrick Koopmann, Anni-Yasmin Turhan
2017	—	`conf`	Using Ontologies to Query Probabilistic Numerical Data. FroCoS Franz Baader, Patrick Koopmann, Anni-Yasmin Turhan
2016	J	`jnl`	Answering Fuzzy Conjunctive Queries Over Finitely Valued Fuzzy Ontologies. J. Data Semant. Stefan Borgwardt, Theofilos P. Mailis, Rafael Peñaloza, Anni-Yasmin Turhan
2016	A	`conf`	Description Logics Reasoning w.r.t. General TBoxes Is Decidable for Concrete Domains with the EHD-Property. ECAI Claudia Carapelle, Anni-Yasmin Turhan
2015	—	`conf`	A pragmatic approach to answering CQs over fuzzy DL-Lite-ontologies - introducing FLite. Description Logics Theofilos P. Mailis, Anni-Yasmin Turhan, Erik Zenker
2015	J	`jnl`	Answering Fuzzy Conjunctive Queries over Finitely Valued Fuzzy Ontologies. CoRR Stefan Borgwardt, Theofilos P. Mailis, Rafael Peñaloza, Anni-Yasmin Turhan
2015	—	`conf`	Conjunctive Query Answering with Finitely Many Truth Degrees. Description Logics Stefan Borgwardt, Theofilos P. Mailis, Rafael Peñaloza, Anni-Yasmin Turhan
2015	—	`conf`	Elastiq: Answering Similarity-threshold Instance Queries in EL. Description Logics Andreas Ecke, Maximilian Pensel, Anni-Yasmin Turhan
2015	J	`jnl`	Pleased to Meet You! Künstliche Intell. Anni-Yasmin Turhan
2015	J	`jnl`	Similarity-based relaxed instance queries. J. Appl. Log. Andreas Ecke, Rafael Peñaloza, Anni-Yasmin Turhan
2015	—	`conf`	Towards Temporal Fuzzy Query Answering on Stream-based Data. HiDeSt@KI Anni-Yasmin Turhan, Erik Zenker
2014	A*	`conf`	Answering Instance Queries Relaxed by Concept Similarity. KR Andreas Ecke, Rafael Peñaloza, Anni-Yasmin Turhan
2014	—	`conf`	Bridging the application knowledge gap: using ontology-based situation recognition to support energy-aware resource scheduling. ARM@Middleware Marcus Hähnel, Julian Mendez, Veronika Thost, Anni-Yasmin Turhan
2014	—	`conf`	Certain Answers in a Rough World. Description Logics Rafael Peñaloza, Veronika Thost, Anni-Yasmin Turhan
2014	J	`jnl`	Completion-based generalization inferences for the Description Logic ELOR with subjective probabilities. Int. J. Approx. Reason. Andreas Ecke, Rafael Peñaloza, Anni-Yasmin Turhan
2014	—	`conf`	Conjunctive Query Answering in Finitely-Valued Fuzzy Description Logics. RR Theofilos P. Mailis, Rafael Peñaloza, Anni-Yasmin Turhan
2014	—	`conf`	Employing DL\text -Lite_R -Reasoners for Fuzzy Query Answering. JIST Theofilos P. Mailis, Anni-Yasmin Turhan
2014	—	`conf`	Mary, What's Like All Cats? Description Logics Andreas Ecke, Rafael Peñaloza, Anni-Yasmin Turhan
2014	—	`ed.`	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. PRUV Thomas Lukasiewicz, Rafael Peñaloza, Anni-Yasmin Turhan
2014	Misc	`conf`	Reasoning in KI Dorian Merz, Rafael Peñaloza, Anni-Yasmin Turhan
2013	Misc	`conf`	Computing Role-Depth Bounded Generalizations in the Description Logic. KI Andreas Ecke, Rafael Peñaloza, Anni-Yasmin Turhan
2013	—	`conf`	Computing the lcs w.r.t. General EL+-TBoxes. Description Logics Anni-Yasmin Turhan, Benjamin Zarrieß
2013	—	`conf`	Instance-Based Non-standard Inferences in $\mathcal{EL}$ with Subjective Probabilities. URSW (LNCS Vol.) Rafael Peñaloza, Anni-Yasmin Turhan
2013	—	`conf`	Introductions to Description Logics - A Guided Tour. Reasoning Web Anni-Yasmin Turhan
2013	A*	`conf`	Most Specific Generalizations w.r.t. General EL-TBoxes. IJCAI Benjamin Zarrieß, Anni-Yasmin Turhan
2013	—	`conf`	OWL 2 Reasoning To Detect Energy-Efficient Software Variants From Context. OWLED Sebastian Goetz, Julian Mendez, Veronika Thost, Anni-Yasmin Turhan
2013	—	`conf`	Role-depth Bounded Least Common Subsumer in Prob-EL with Nominals. Description Logics Andreas Ecke, Rafael Peñaloza, Anni-Yasmin Turhan
2013	—	`conf`	Situation recognition for service management systems using OWL 2 reasoners. PerCom Workshops Waltenegus Dargie, Eldora, Julian Mendez, Christoph Möbius, Kateryna Rybina, Veronika Thost, Anni-Yasmin Turhan
2012	B	`conf`	A Framework for Semantic-Based Similarity Measures for $\mathcal{ELH}$ -Concepts. JELIA Karsten Lehmann, Anni-Yasmin Turhan
2012	—	`conf`	Optimizations for the Role-Depth Bounded Least Common Subsumer in EL+. OWLED Andreas Ecke, Anni-Yasmin Turhan
2012	—	`conf`	Role-depth Bounded Least Common Subsumers for EL+ and ELI. Description Logics Andreas Ecke, Anni-Yasmin Turhan
2011	—	`conf`	A Practical Approach for Computing Generalization Inferences in ESWC (1) Rafael Peñaloza, Anni-Yasmin Turhan
2011	—	`conf`	Description logic reasoning for semantic web ontologies. WIMS Anni-Yasmin Turhan
2011	—	`conf`	Implementing Completion-Based Inferences for the EL-family. Description Logics Julian Mendez, Andreas Ecke, Anni-Yasmin Turhan
2010	—	`ed.`	Proceedings of the First International Workshop on Uncertainty in Description Logics, Edinburgh, UK, July 20, 2010 UniDL Thomas Lukasiewicz, Rafael Peñaloza, Anni-Yasmin Turhan
2010	—	`conf`	Reasoning and Explanation in Reasoning Web Anni-Yasmin Turhan
2010	—	`conf`	Role-depth Bounded Least Common Subsumers by Completion for EL- and prob-EL-TBoxes. Description Logics Anni-Yasmin Turhan, Rafael Peñaloza
2010	J	`jnl`	Small is Again Beautiful in Description Logics. Künstliche Intell. Franz Baader, Carsten Lutz, Anni-Yasmin Turhan
2010	—	`conf`	Towards Approximative Most Specific Concepts by Completion for EL with Subjective Probabilities. UniDL Rafael Peñaloza, Anni-Yasmin Turhan
2009	J	`jnl`	Employing description logics in Ambient Intelligence for modeling and reasoning about complex situations. J. Ambient Intell. Smart Environ. Thomas Springer, Anni-Yasmin Turhan
2007	J	`jnl`	Computing the least common subsumer w.r.t. a background terminology. J. Appl. Log. Franz Baader, Baris Sertkaya, Anni-Yasmin Turhan
2007	—	`—`	On the computation of common subsumers in description logics. Anni-Yasmin Turhan
2007	—	`ed.`	Proceedings of the 2007 International Workshop on Description Logics (DL2007), Brixen-Bressanone, near Bozen-Bolzano, Italy, 8-10 June, 2007 Description Logics Diego Calvanese, Enrico Franconi, Volker Haarslev, Domenico Lembo, Boris Motik, Anni-Yasmin Turhan, Sergio Tessaris
2007	—	`conf`	Speeding up Approximation with Nicer Concepts. Description Logics Anni-Yasmin Turhan, Yusri Bong
2006	—	`conf`	DIG 2.0 -- Towards a Flexible Interface for Description Logic Reasoners. OWLED Sean Bechhofer, Thorsten Liebig, Marko Luther, Olaf Noppens, Peter F. Patel-Schneider, Boontawee Suntisrivaraporn, Anni-Yasmin Turhan, Timo Weithöner
2006	—	`conf`	Pushing Doors for Modeling Contexts with OWL DL a Case Study. PerCom Workshops Anni-Yasmin Turhan, Thomas Springer, Michael Berger
2004	—	`conf`	Computing the Least Common Subsumer w.r.t. a Background Terminology. Description Logics Franz Baader, Baris Sertkaya, Anni-Yasmin Turhan
2004	B	`conf`	Computing the Least Common Subsumer w.r.t. a Background Terminology. JELIA Franz Baader, Baris Sertkaya, Anni-Yasmin Turhan
2004	A	`conf`	Sonic - Non-standard Inferences Go OilEd. IJCAR Anni-Yasmin Turhan, Christian Kissig
2004	—	`conf`	Sonic: System Description. Description Logics Anni-Yasmin Turhan, Christian Kissig
2003	—	`conf`	Computing Least Common Subsumers for FLE Description Logics Sebastian Brandt, Anni-Yasmin Turhan
2003	B	`conf`	Extensions of Non-standard Inferences to Descriptions Logics with Transitive Roles. LPAR Sebastian Brandt, Anni-Yasmin Turhan, Ralf Küsters
2002	—	`conf`	Approximating ALCN-Concept Descriptions. Description Logics Sebastian Brandt, Ralf Küsters, Anni-Yasmin Turhan
2002	A*	`conf`	Approximation and Difference in Description Logics. KR Sebastian Brandt, Ralf Küsters, Anni-Yasmin Turhan
2002	Misc	`conf`	On the Problem of Computing Small Representations of Least Common Subsumers. KI Franz Baader, Anni-Yasmin Turhan
2001	A	`conf`	Exploiting Pseudo Models for TBox and ABox Reasoning in Expressive Description Logics. IJCAR Volker Haarslev, Ralf Möller, Anni-Yasmin Turhan
2001	—	`conf`	TBoxes do not Yield a Compact Representation of Least Common Subsumers. Description Logics Franz Baader, Anni-Yasmin Turhan
2001	—	`conf`	Using Lazy Unfolding for the Computation of Least Common Subsumers. Description Logics Anni-Yasmin Turhan, Ralf Molitor
2000	—	`conf`	Adapting Optimization Techniques to Description Logics with Concrete Domains. Description Logics Anni-Yasmin Turhan, Volker Haarslev
1999	—	`conf`	On Terminological Default Reasoning about Spatial Information: Extended Abstract. Description Logics Volker Haarslev, Ralf Möller, Anni-Yasmin Turhan, Michael Wessel
1998	—	`conf`	HAM-ALC. Description Logics Volker Haarslev, Ralf Möller, Anni-Yasmin Turhan
1998	—	`conf`	Implementing an ALCRP(D) ABox Reasoner - Progress Report. Description Logics Volker Haarslev, Ralf Möller, Anni-Yasmin Turhan