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 | 48 | 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 |
Standard and Non-Standard Inferences in the Description Logic FL0 Using Tree Automata. F Baader, OF Gil, M Pensel GCAI, 1-14, 2018 | 10 | 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 | 10 | 2015 |
Making quantification relevant again—the case of defeasible EL⊥ M Pensel, AY Turhan | 9 | 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 |
Elastiq: answering similarity-threshold instance queries in EL A Ecke, M Pensel, AY Turhan 28thInternational Workshop on Description Logics, 388, 2015 | 7 | 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 | 5 | 2020 |
A Lightweight Defeasible Description Logic in Depth: Quantification in Rational Reasoning and Beyond M Pensel Dissertation, Dresden, Technische Universität Dresden, 2019, 2019 | 4 | 2019 |
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 |