Author of the publication

Finding New Diamonds: Temporal Minimal-World Query Answering over Sparse ABoxes.

, , and . RuleML+RR, volume 11784 of Lecture Notes in Computer Science, page 3-18. Springer, (2019)

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

Closed-World Semantics for Conjunctive Queries with Negation over ELH-bottom Ontologies., and . IJCAI, page 6131-6135. ijcai.org, (2019)Patient Selection for Clinical Trials Using Temporalized Ontology-Mediated Query Answering., , and . WWW (Companion Volume), page 1069-1074. ACM, (2018)Finding New Diamonds: Temporal Minimal-World Query Answering over Sparse ABoxes., , and . RuleML+RR, volume 11784 of Lecture Notes in Computer Science, page 3-18. Springer, (2019)Finding New Diamonds: Temporal Minimal-World Query Answering over Sparse ABoxes (Extended Abstract)., , and . Description Logics, volume 2663 of CEUR Workshop Proceedings, CEUR-WS.org, (2020)Closed-World Semantics for Query Answering in Temporal Description Logics.. Dresden University of Technology, Germany, (2021)Closed-World Semantics for Conjunctive Queries with Negation over ELH-bottom Ontologies (Extended Abstract)., and . Description Logics, volume 2373 of CEUR Workshop Proceedings, CEUR-WS.org, (2019)Temporal Minimal-World Semantics for Sparse ABoxes., , and . CoRR, (2021)Temporal Minimal-World Query Answering over Sparse ABoxes., , and . Theory Pract. Log. Program., 22 (2): 193-228 (2022)Automatic Translation of Clinical Trial Eligibility Criteria into Formal Queries., , , , and . JOWO, volume 2518 of CEUR Workshop Proceedings, CEUR-WS.org, (2019)Fuzzing and Verifying RAT Refutations with Deletion Information., , , and . FLAIRS, page 190-193. AAAI Press, (2017)