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
52 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
24 2017 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
10 2015 A Lightweight Defeasible Description Logic in Depth: Quantification in Rational Reasoning and Beyond M Pensel
KI-Künstliche Intelligenz 34 (4), 527-531, 2020
9 2020 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
9 2017 Elastiq: answering similarity-threshold instance queries in EL A Ecke, M Pensel, AY Turhan
28thInternational Workshop on Description Logics, 388, 2015
7 2015 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
6 2018 Computing standard inferences under rational and relevant semantics in defeasible EL⊥ M Pensel, AY Turhan
Proceedings of the 31st International Workshop on Description Logics, 2018
2 2018 Schlussfolgern in Defeasible Beschreibungslogiken M Pensel
Gesellschaft für Informatik eV, 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 Including Quantification in Defeasible Reasoning for the Description Logic M Pensel, AY Turhan
International Conference on Logic Programming and Nonmonotonic Reasoning, 78-84, 2017
2017 
Anni-Yasmin TurhanPaderborn UniversityBestätigte E-Mail-Adresse bei uni-paderborn.de
