David Carral

Dr. David Carral is a former Research Associate at the International Center for Computational Logic (ICCL) within the Faculty of Computer Science at TU Dresden. His work focuses on Knowledge Representation, Database Theory, and Computational Logic, particularly in the context of ontology-based data access, existential rules, and chase termination analysis. He contributed to projects like CFAED and collaborated on systems such as VLog and ROWL. David supervised theses including "Don’t Repeat Yourself: Termination of the Skolem Chase on Disjunctive Existential Rules" by Lukas Gerlach. His research bridges formal methods with practical applications in AI and database systems.

Research interests include ontology design patterns, query rewritability, and efficient reasoning algorithms. He actively participated in conferences like KR and IJCAI, contributing to advancements in nonmonotonic reasoning and hyperproperties. His work integrates description logics, answer set programming, and semantic web technologies to address challenges in knowledge-based systems.