David Carral

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche

Dr. David Carral

Wissenschaftlicher MitarbeiterTechnische Universität DresdenInternational Center for Computational Logic Wissensbasierte Systeme

Hi!

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 symbolic artificial intelligence and knowledge representation related topics. More precisely, I study the theoretical properties of logical languages such as 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.

Neueste Publikationen

Komplette Publikationsliste anzeigen

David Carral, Irina Dragoste, Markus Krötzsch, Christian Lewe
Chasing Sets: How to Use Existential Rules for Expressive Reasoning
Proceedings of the 28th International Joint Conference on Artificial Intelligence (IJCAI'19), to appear. International Joint Conferences on Artificial Intelligence
Details Download

David Carral, Larry González, Patrick Koopmann
From Horn-SRIQ to Datalog: A Data-Independent Transformation that Preserves Assertion Entailment
Proceedings of the 33rd Conference on Artificial Intelligence (AAAI 2019), to appear
Details Download

David Carral, Irina Dragoste, Markus Krötzsch
The Combined Approach to Query Answering in Horn-ALCHOIQ
In Michael Thielscher, Francesca Toni, Frank Wolter, eds., Proceedings of the 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018), 339-348, October 2018. AAAI Press
Details Download

Jacopo Urbani, Markus Krötzsch, Ceriel Jacobs, Irina Dragoste, David Carral
Efficient Model Construction for Horn Logic with VLog: Extended Abstract
In Magdalena Ortiz, Thomas Schneider, eds., Proceedings of the 31st International Workshop on Description Logics (DL 2018), volume 2211 of CEUR Workshop Proceedings, October 2018. CEUR-WS.org
Details Download

David Carral
Reasoning with Description Logics Ontologies and Knowledge Graphs
Invited Talk at Télécom ParisTech, December 2018
Details

David Carral
Reasoning over Existential Rules with Acyclicity Notions and the Datalog-first Restricted Chase
Invited Talk at the University of Oxford, PSL University, the University of Bordeaux, the University of Montpellier, and the QuantLA seminar at TU Dresden, December 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, Irina Dragoste, Markus Krötzsch
Tractable Query Answering for Expressive Ontologies and Existential Rules: Extended Abstract
Proceedings of the 31st International Workshop on Description Logics (DL 2018), to appear
Details Download

David Carral
Reasoning with Horn DL Ontologies and Knowledge Graphs
Invited Talk at VU University Amsterdam, October 2018
Details

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

Komplette Publikationsliste anzeigen
  • Mitglied des Programmkomitees der 17th International Semantic Web Conference; Monterey, USA; October 2018.
Cfaed.jpg

cfaed
CENTER FOR ADVANCING ELECTRONICS DRESDEN

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