Anni-Yasmin Turhan
From International Center for Computational Logic
PD Dr.-Ing. habil. Anni-Yasmin Turhan
Former member
- Former Akademische Rätin (Research Associate and Lecturer) in Research Group Automata Theory
Newest Publications
Clemens Dubslaff, Patrick Koopmann, Anni-Yasmin Turhan
Enhancing Probabilistic Model Checking with Ontologies
Formal Aspects of Computing, 2021
Details
Clemens Dubslaff, Patrick Koopmann, Anni-Yasmin Turhan
Supporting Ontology-Mediated Stream Reasoning with Model Checking
Proceedings of the 5th Stream Reasoning Workshop (SR), 2021
Details
Clemens Dubslaff, Patrick Koopmann, Anni-Yasmin Turhan
Give Inconsistency a Chance: Semantics for Ontology-Mediated Verification
Proc. of 33rd International Workshop on Description Logics (DL), 2020
Details
Clemens Dubslaff, Patrick Koopmann, Anni-Yasmin Turhan
Ontology-Mediated Probabilistic Model Checking
Proc. of 15th International Conference on integrated Formal Methods, volume 11918 of Lecture Notes in Computer Science, 194--211, 2019. Springer
Details
Claudia Carapelle, Anni-Yasmin Turhan
Description Logics Reasoning w.r.t. General TBoxes is decidable for Concrete Domains with the EHD-property
Proceedings of the 22nd European Conference on Artificial Intelligence (ECAI 2016), to appear
Details
Stefan Borgwardt, Theofilos Mailis, Rafael Peñaloza, Anni-Yasmin Turhan
Answering Fuzzy Conjunctive Queries over Finitely Valued Fuzzy Ontologies
Journal on Data Semantics, 5(2):55–75, 2016
Details Download
Stefan Borgwardt, Theofilos Mailis, Rafael Peñaloza Nyssen, Anni-Yasmin Turhan
Conjunctive Query Answering with Finitely Many Truth Degrees
In Diego Calvanese, Boris Konev, eds., Proceedings of the 28th International Workshop on Description Logics (DL'15), volume 1350, 2015. CEUR Workshop Proceedings
Details Download
Andreas Ecke, Rafael Peñaloza, Anni-Yasmin Turhan
Similarity-based Relaxed Instance Queries
Journal of Applied Logic, to appear
Details Download
Rafael Peñaloza, Veronika Thost, Anni-Yasmin Turhan
Certain Answers in a Rough World
In Meghyn Bienvenu and Magdalena Ortiz and Riccardo Rosati and Mantas Simkus, eds., Proceedings of the 27th International Workshop on Description Logics (DL'14), volume 1193 of CEUR Workshop Proceedings, 709-712, 2014
Details Download
Marcus Hähnel, Julian Mendez, Veronika Thost, Anni-Yasmin Turhan
Bridging the Application Knowledge Gap
Workshop on Adaptive and Reflective Middleware'14, December 2014
Details Download
cfaed
CENTER FOR ADVANCING ELECTRONICS DRESDEN