Follow
Maximilian Pensel
Maximilian Pensel
Unknown affiliation
Verified email at tu-dresden.de - Homepage
Title
Cited by
Cited by
Year
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
482018
Including quantification in defeasible reasoning for the description logic
M Pensel, AY Turhan
International Conference on Logic Programming and Nonmonotonic Reasoning, 78-84, 2017
242017
Standard and Non-Standard Inferences in the Description Logic FL0 Using Tree Automata.
F Baader, OF Gil, M Pensel
GCAI, 1-14, 2018
102018
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
102015
Making quantification relevant again—the case of defeasible EL⊥
M Pensel, AY Turhan
92017
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
72018
Elastiq: answering similarity-threshold instance queries in EL
A Ecke, M Pensel, AY Turhan
28thInternational Workshop on Description Logics, 388, 2015
72015
A Lightweight Defeasible Description Logic in Depth: Quantification in Rational Reasoning and Beyond
M Pensel
KI-Künstliche Intelligenz 34 (4), 527-531, 2020
52020
A Lightweight Defeasible Description Logic in Depth: Quantification in Rational Reasoning and Beyond
M Pensel
Dissertation, Dresden, Technische Universität Dresden, 2019, 2019
42019
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
22018
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
The system can't perform the operation now. Try again later.
Articles 1–13