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
202018
Including Quantification in Defeasible Reasoning for the Description Logic
M Pensel, AY Turhan
International Conference on Logic Programming and Nonmonotonic Reasoning, 78-84, 2017
162017
Including Quantification in Defeasible Reasoning for the Description Logic
M Pensel, AY Turhan
International Conference on Logic Programming and Nonmonotonic Reasoning, 78-84, 2017
162017
Standard and Non-Standard Inferences in the Description Logic FL0 Using Tree Automata.
F Baader, OF Gil, M Pensel
GCAI, 1-14, 2018
72018
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
72015
Making quantification relevant again-the case of defeasible el⊥
M Pensel, AY Turhan
Proceedings of the 4th International Workshop on Defeasible and Ampliative†…, 2017
62017
Elastiq: Answering Similarity-threshold Instance Queries in EL.
A Ecke, M Pensel, AY Turhan
Description Logics 2015, 112, 2015
52015
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
42018
A Lightweight Defeasible Description Logic in Depth
M Pensel
KI-KŁnstliche Intelligenz, 1-5, 2020
12020
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
The system can't perform the operation now. Try again later.
Articles 1–11