David Carral

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

Dr. David Carral

Ehemaliges Mitglied

Neueste Publikationen

Komplette Publikationsliste anzeigen

Lukas Gerlach, David Carral, Markus Krötzsch
Evaluating the Generality of Disjunctive Model Faithful Acyclicity on OWL ontologies
Project Thesis, TU Dresden, March 2021
Details Download
Camille Bourgaux, David Carral, Markus Krötzsch, Sebastian Rudolph, Michaël Thomazo
Capturing Homomorphism-Closed Decidable Queries with Existential Rules
Proc. 18th International Conference on Principles of Knowledge Representation and Reasoning (KR'21), to appear
Details Download
Efthymia Tsamoura, David Carral, Enrico Malizia, Jacopo Urbani
Materializing Knowledge Bases via Trigger Graphs
Proceedings of the 47th International Conference on Very Large Databases, VLDB 2021, volume 14, 943-956, 2021
Details Download
Lukas Gerlach, David Carral, Markus Krötzsch
Don’t Repeat Yourself: Termination of the Skolem Chase on Disjunctive Existential Rules
Project Thesis, TU Dresden, September 2020
Details Download
David Carral, Markus Krötzsch
Rewriting the Description Logic ALCHIQ to Disjunctive Existential Rules
In Christian Bessiere, eds., Proceedings of the 29th International Joint Conference on Artificial Intelligence, IJCAI 2020, 1777-1783, 2020. ijcai.org
Details Download
David Carral, Irina Dragoste, Markus Krötzsch
Reasoner = Logical Calculus + Rule Engine
KI, 2020
Details
David Carral, Markus Krötzsch, Jacopo Urbani
Practical Uses of Existential Rules in Knowledge Representation
Tutorial at the 17th International Conference on Principles of Knowledge Representation and Reasoning (KR 2020)
Details
David Carral, Markus Krötzsch, Jacopo Urbani
Practical Uses of Existential Rules in Knowledge Representation
Tutorial at the 24th European Conference on Artificial Intelligence (ECAI 2020)
Details
David Carral, Jacopo Urbani
Checking Chase Termination over Ontologies of Existential Rules with Equality
Proceedings of the 34rd Conference on Artificial Intelligence (AAAI 2020), February 2020
Details Download
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), August 2019. International Joint Conferences on Artificial Intelligence
Details Download
Komplette Publikationsliste anzeigen
  • Mitglied des Programmkomitees der 17th International Semantic Web Conference; Monterey, USA; October 2018.

Lehrveranstaltungen



Abgeschlossene Arbeiten

Cfaed-logo.png

cfaed
CENTER FOR ADVANCING ELECTRONICS DRESDEN

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