Carral, David

9 publications

IJCAI 2024 Finite Groundings for ASP with Functions: A Journey Through Consistency Lukas Gerlach, David Carral, Markus Hecher

AAAI 2023 General Acyclicity and Cyclicity Notions for the Disjunctive Skolem Chase Lukas Gerlach, David Carral

IJCAI 2022 Capturing Homomorphism-Closed Decidable Queries with Existential Rules (Extended Abstract) Camille Bourgaux, David Carral, Markus Krötzsch, Sebastian Rudolph, Michaël Thomazo

AAAI 2020 Checking Chase Termination over Ontologies of Existential Rules with Equality David Carral, Jacopo Urbani

IJCAI 2020 Rewriting the Description Logic ALCHIQ to Disjunctive Existential Rules David Carral, Markus Krötzsch

IJCAI 2019 Chasing Sets: How to Use Existential Rules for Expressive Reasoning David Carral, Irina Dragoste, Markus Krötzsch, Christian Lewe

AAAI 2019 From Horn-SRIQ to Datalog: A Data-Independent Transformation That Preserves Assertion Entailment David Carral, Larry González, Patrick Koopmann

IJCAI 2017 Restricted Chase (Non)Termination for Existential Rules with Disjunctions David Carral, Irina Dragoste, Markus Krötzsch

IJCAI 2015 The Combined Approach to Query Answering Beyond the OWL 2 Profiles Cristina Feier, David Carral, Giorgio Stefanoni, Bernardo Cuenca Grau, Ian Horrocks