Reasoning in the defeasible description logic—computing standard inferences under rational and relevant semantics M Pensel, AY Turhan
International Journal of Approximate Reasoning 103, 28-70, 2018
39 2018 Including Quantification in Defeasible Reasoning for the Description Logic M Pensel, AY Turhan
International Conference on Logic Programming and Nonmonotonic Reasoning, 78-84, 2017
23 2017 Including Quantification in Defeasible Reasoning for the Description Logic M Pensel, AY Turhan
International Conference on Logic Programming and Nonmonotonic Reasoning, 78-84, 2017
23 2017 Standard and Non-Standard Inferences in the Description Logic FL0 Using Tree Automata. F Baader, OF Gil, M Pensel
GCAI, 1-14, 2018
9 2018 Making quantification relevant again-the case of defeasible el⊥ M Pensel, AY Turhan
Proceedings of the 4th International Workshop on Defeasible and Ampliative …, 2017
8 2017 The Data Complexity of Answering Instance Queries in FL0 F Baader, P Marantidis, M Pensel
Companion Proceedings of the The Web Conference 2018, 1603-1607, 2018
7 2018 An automata based approach for subsumption wrt general concept inclusions in the description logic FL0 M Pensel
Master's thesis. Chair for Automata Theory, TU Dresden, Germany. See http …, 2015
7 2015 Elastiq: Answering Similarity-threshold Instance Queries in EL. A Ecke, M Pensel, AY Turhan
Description Logics 2015, 112, 2015
7 2015 A lightweight defeasible description logic in depth M Pensel
KI-Künstliche Intelligenz 34 (4), 527-531, 2020
4 2020 A Lightweight Defeasible Description Logic in Depth: Quantification in Rational Reasoning and Beyond M Pensel
Dissertation, Dresden, Technische Universität Dresden, 2019, 2019
1 2019 Schlussfolgern in Defeasible Beschreibungslogiken M Pensel
Ausgezeichnete Informatikdissertationen 2019, 2020
2020 Congenial Benchmarking of RDF Storage Solutions AC Ngonga Ngomo, F Conrads, M Pensel, AY Turhan
Proceedings of the 10th International Conference on Knowledge Capture, 213-221, 2019
2019 Computing Standard Inferences under Rational and Relevant Semantics in defeasible EL⊥ M Pensel, AY Turhan
2018 
Anni-Yasmin TurhanTechnische Universität DresdenBestätigte E-Mail-Adresse bei tu-dresden.de
