David Carral

From International Center for Computational Logic

Dr. David Carral

Research AssociateTechnische Universität DresdenInternational Center for Computational Logic Knowledge-Based Systems


I am a postdoctoral scholar here at the Knowledge-Based Systems group led by Prof. Dr. Markus Krötzsch. Broadly speaking, I am interested in the definition and implementation of reasoning algorithms for Description Logics and Existential Rules, and the use and application of Semantic Technologies in different domains.

A bit about my academic career: I completed my master's and doctor's degrees at Wright State University, both under the supervision of Prof. Dr. Pascal Hitzler, in 2012 and 2016, respectively. For a couple months at the beginning of my Ph.D., I was an exchange student at the University of Oxford, working under the supervision of Prof. Dr. Bernardo Cuenca Grau.

Newest Publications

View full publication list

David Carral, Irina Dragoste, Markus Krötzsch
The Combined Approach to Query Answering in Horn-ALCHOIQ
Technical Report, TU Dresden, 2018
Details Download

Jacopo Urbani, Markus Krötzsch, Ceriel Jacobs, Irina Dragoste, David Carral
Efficient Model Construction for Horn Logic with VLog
In Didier Galmiche, Stephan Schulz, Roberto Sebastiani, eds., Proceedings of the 8th International Joint Conference on Automated Reasoning (IJCAR 2018), volume 10900 of LNCS, 680--688, 2018. Springer
Details Download

David Carral, Markus Krötzsch, Maximilian Marx, Ana Ozaki, Sebastian Rudolph
Preserving Constraints with the Stable Chase
In Benny Kimelfeld and Yael Amsterdamer, eds., Proceedings of the 21st International Conference on Database Theory (ICDT 2018), volume 98 of Leibniz International Proceedings in Informatics (LIPIcs), 12:1--12:19, March 2018. Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
Details Download

David Carral, Pascal Hitzler, Hilmar Lapp, Sebastian Rudolph
On the Ontological Modeling of Trees
In Oscar Corcho, Matthew Horridge, David Carral, Rinke Hoekstra, eds., Proceedings of the 8th Workshop on Ontology Design and Patterns (WOP 2017) co-located with the 6th International Semantic Web Conference (ISWC 2017), Vienna, Austria, October 21, 2017., volume 2043, February 2018. CEUR Workshop Proceedings
Details Download

David Carral, Irina Dragoste, Markus Krötzsch
Tractable Query Answering for Expressive Ontologies and Existential Rules
In Claudia d'Amato, Miriam Fernández, Valentina A. M. Tamma, Freddy Lécué, Philippe Cudré-Mauroux, Juan F. Sequeda, Christoph Lange, Jeff Heflin, eds., Proceedings of the 16th International Semantic Web Conference (ISWC'17), volume 10587 of LNCS, 2017. Springer
Details Download

Md. Kamruzzaman Sarker, Adila Krisnadhi, David Carral, Pascal Hitzler
Rule-Based OWL Modeling with ROWLTab Protégé Plugin
In Eva Blomqvist, Diana Maynard, Aldo Gangemi, Rinke Hoekstra, Pascal Hitzler, Olaf Hartig, eds., The Semantic Web, 14th International Conference, ESWC 2017, Portorovz, Slovenia. Proceedings., volume 10249 of Lecture Notes in Computer Science, 419--433, 2017. Springer
Details Download

Eva Blomqvist, Oscar Corcho, Matthew Horridge, David Carral, Rinke Hoekstra
Proceedings of the 8th Workshop on Ontology Design and Patterns (WOP 2017) co-located with the 16th International Semantic Web Conference (ISWC 2017)
Volume 2043 of CEUR Workshop Proceedings, October 2017. CEUR-WS.org

David Carral, Irina Dragoste, Markus Krötzsch
Restricted chase (non)termination for existential rules with disjunctions
In Carles Sierra, eds., Proceedings of the 26th International Joint Conference on Artificial Intelligence (IJCAI'17), 922-928, 2017. International Joint Conferences on Artificial Intelligence
Details Download

David Carral, Cristina Feier, Pascal Hitzler
A Practical Acyclicity Notion for Query Answering Over Horn-SRIQ Ontologies
In Paul Groth, Elena Simperl, Alasdair Gray, Marta Sabou, Markus Krötzsch, Freddy Lecue, Fabian Flock, Yolanda Gil, eds., The Semantic Web - ISWC 2016 - 15th International Semantic Web Conference, Kobe, Japan. Proceedings, Part I, volume 9981 of LNCS, 70-85, October 2016. Springer
Details Download

Patrick O'Brien, David Carral, Jeff Mixter, Pascal Hitzler
An Ontology Design Pattern for Data Integration in the Library Domain
In Eva Blomqvist, Pascal Hitzler, Adila Krisnadhi, Tom Narock, Monika Solanki, eds., Proceedings of the 6th Workshop on Ontology and Semantic Web Patterns (WOP 2015) co-located with the 14th International Semantic Web Conference (ISWC 2015), Bethlehem, Pensylvania, USA., volume 1461 of CEUR Workshop Proceedings, October 2015. CEUR-WS.org
Details Download

View full publication list
  • Member of the program committee of the 17th International Semantic Web Conference; Monterey, USA; October 2018.


A fast, highly scalable rule engine for existential rules and Datalog.