Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Efficient TBox Reasoning with Value Restrictions using the ℱℒ0wer reasoner., , , , and . CoRR, (2021)Ontology-mediated query answering over temporal and inconsistent data., , and . Semantic Web, 10 (3): 475-521 (2019)Efficient TBox Reasoning with Value Restrictions using the ℱℒ0wer Reasoner., , , , and . Theory Pract. Log. Program., 22 (2): 162-192 (2022)Employing DL-Lite_R -Reasoners for Fuzzy Query Answering., and . JIST, volume 8943 of Lecture Notes in Computer Science, page 63-78. Springer, (2014)User-aware Explications of Ontology Consequences: Levelling Technicality., and . FCR@KI, volume 3242 of CEUR Workshop Proceedings, page 90-101. CEUR-WS.org, (2022)Congenial Benchmarking of RDF Storage Solutions., , , and . K-CAP, page 213-221. ACM, (2019)Towards an Equivalence Degree of EL CQs (Extended Abstract)., and . Description Logics, volume 2373 of CEUR Workshop Proceedings, CEUR-WS.org, (2019)Give Inconsistency a Chance: Semantics for Ontology-Mediated Verification., , and . Description Logics, volume 2663 of CEUR Workshop Proceedings, CEUR-WS.org, (2020)Answering Regular Path Queries Under Approximate Semantics in Lightweight Description Logics., and . AAAI, page 6340-6348. AAAI Press, (2021)A Tour of Franz Baader's Contributions to Knowledge Representation and Automated Deduction., , , , and . Description Logic, Theory Combination, and All That, volume 11560 of Lecture Notes in Computer Science, page 1-14. Springer, (2019)