David Carral

Publication Activity (10 Years)

Years Active: 2013-2024
Publications (10 Years): 45

Top Topics

Description Logics

Data Integration

Query Answering

Extended Abstract

Top Venues

Description Logics

Publications

Lukas Gerlach, David Carral, Markus Hecher
Finite Groundings for ASP with Functions: A Journey through Consistency. CoRR (2024)
Lukas Gerlach, David Carral
Do Repeat Yourself: Understanding Sufficient Conditions for Restricted Chase Non-Termination. CoRR (2023)
Lukas Gerlach, David Carral
General Acyclicity and Cyclicity Notions for the Disjunctive Skolem Chase (Extended Abstract). Description Logics (2023)
Lukas Gerlach, David Carral
General Acyclicity and Cyclicity Notions for the Disjunctive Skolem Chase. AAAI (2023)
Lukas Gerlach, David Carral
Do Repeat Yourself: Understanding Sufficient Conditions for Restricted Chase Non-Termination. KR (2023)
Aziz Sfar, David Carral, Dina Irofti, Madalina Croitoru
Testing Logical Diagrams in Power Plants: A Tale of LTL Model Checking. FMICS (2023)
David Carral, Joseph Zalewski, Pascal Hitzler
An efficient algorithm for reasoning over OWL EL ontologies with nominal schemas. J. Log. Comput. 33 (1) (2023)
Raven Beutner, David Carral, Bernd Finkbeiner, Jana Hofmann, Markus Krötzsch
Deciding Hyperproperties Combined with Functional Specifications. CoRR (2022)
Raven Beutner, David Carral, Bernd Finkbeiner, Jana Hofmann, Markus Krötzsch
Deciding Hyperproperties Combined with Functional Specifications. LICS (2022)
David Carral, Lucas Larroque, Marie-Laure Mugnier, Michaël Thomazo
Normalisations of Existential Rules: Not so Innocuous! KR (2022)
Camille Bourgaux, David Carral, Markus Krötzsch, Sebastian Rudolph, Michaël Thomazo
Capturing Homomorphism-Closed Decidable Queries with Existential Rules (Extended Abstract). IJCAI (2022)
Piotr Ostropolski-Nalewaja, Jerzy Marcinkowski, David Carral, Sebastian Rudolph
A Journey to the Frontiers of Query Rewritability. PODS (2022)
David Carral, Lucas Larroque, Marie-Laure Mugnier, Michaël Thomazo
Normalisations of Existential Rules: Not so Innocuous! CoRR (2022)
Efthymia Tsamoura, David Carral, Enrico Malizia, Jacopo Urbani
Materializing Knowledge Bases via Trigger Graphs. CoRR (2021)
Efthymia Tsamoura, David Carral, Enrico Malizia, Jacopo Urbani
Materializing Knowledge Bases via Trigger Graphs. Proc. VLDB Endow. 14 (6) (2021)
Camille Bourgaux, David Carral, Markus Krötzsch, Sebastian Rudolph, Michaël Thomazo
Capturing Homomorphism-Closed Decidable Queries with Existential Rules. KR (2021)
Aaron Eberhart, David Carral, Pascal Hitzler, Hilmar Lapp, Sebastian Rudolph
Seed Patterns for Modeling Trees. WOP (Book) (2021)
Camille Bourgaux, David Carral, Markus Krötzsch, Sebastian Rudolph, Michaël Thomazo
Capturing Homomorphism-Closed Decidable Queries with Existential Rules. CoRR (2021)
David Carral, Irina Dragoste, Markus Krötzsch
Reasoner = Logical Calculus + Rule Engine. Künstliche Intell. 34 (4) (2020)
Piotr Ostropolski-Nalewaja, Jerzy Marcinkowski, David Carral, Sebastian Rudolph
A Journey to the Frontiers of Query Rewritability. CoRR (2020)
David Carral, Markus Krötzsch
Rewriting ALCHIQ to Disjunctive Existential Rules (Extended Abstract). Description Logics (2020)
David Carral, Markus Krötzsch
Rewriting the Description Logic ALCHIQ to Disjunctive Existential Rules. IJCAI (2020)
David Carral, Jacopo Urbani
Checking Chase Termination over Ontologies of Existential Rules with Equality. AAAI (2020)
David Carral, Irina Dragoste, Markus Krötzsch
The Combined Approach to Query Answering in Horn-ALCHOIQ (Extended Abstract). Description Logics (2019)
David Carral, Irina Dragoste, Markus Krötzsch, Christian Lewe
Chasing Sets: How to Use Existential Rules for Expressive Reasoning (Extended Abstract). Description Logics (2019)
David Carral, Larry González, Patrick Koopmann
From Horn-SRIQ to Datalog: A Data-Independent Transformation That Preserves Assertion Entailment. AAAI (2019)
David Carral, Jacopo Urbani
Checking Chase Termination over Ontologies of Existential Rules with Equality. CoRR (2019)
David Carral, Irina Dragoste, Larry González, Ceriel J. H. Jacobs, Markus Krötzsch, Jacopo Urbani
VLog: A Rule Engine for Knowledge Graphs. ISWC (2) (2019)
David Carral, Irina Dragoste, Markus Krötzsch, Christian Lewe
Chasing Sets: How to Use Existential Rules for Expressive Reasoning. IJCAI (2019)
David Carral, Larry González, Patrick Koopmann
From Horn-SRIQ to Datalog: A Data-Independent Transformation that Preserves Assertion Entailment. Description Logics (2019)
David Carral, Irina Dragoste, Markus Krötzsch
Tractable Query Answering for DL Ontologies and Existential Rules: Extended Abstract. Description Logics (2018)
David Carral, Irina Dragoste, Markus Krötzsch
The Combined Approach to Query Answering in Horn-ALCHOIQ. KR (2018)
Jacopo Urbani, Markus Krötzsch, Ceriel J. H. Jacobs, Irina Dragoste, David Carral
Efficient Model Construction for Horn Logic with VLog: Extended Abstract. Description Logics (2018)
Md. Kamruzzaman Sarker, Adila Krisnadhi, David Carral, Pascal Hitzler
Rule-based OWL Modeling with ROWLTab Protege Plugin. CoRR (2018)
Jacopo Urbani, Markus Krötzsch, Ceriel J. H. Jacobs, Irina Dragoste, David Carral
Efficient Model Construction for Horn Logic with VLog - System Description. IJCAR (2018)
David Carral, Cristina Feier, Pascal Hitzler
A Practical Acyclicity Notion for Query Answering over Horn-SRIQ Ontologies. CoRR (2018)
David Carral, Markus Krötzsch, Maximilian Marx, Ana Ozaki, Sebastian Rudolph
Preserving Constraints with the Stable Chase. ICDT (2018)
Md. Kamruzzaman Sarker, David Carral, Adila Alfa Krisnadhi, Pascal Hitzler
Modeling OWL with Rules: The ROWL Protege Plugin. CoRR (2018)
David Carral, Pascal Hitzler, Hilmar Lapp, Sebastian Rudolph
On the Ontological Modeling of Trees. WOP@ISWC (2017)
Md. Kamruzzaman Sarker, Adila Krisnadhi, David Carral, Pascal Hitzler
Rule-Based OWL Modeling with ROWLTab Protégé Plugin. ESWC (1) (2017)
David Carral, Pascal Hitzler, Hilmar Lapp, Sebastian Rudolph
On the Ontological Modeling of Trees. CoRR (2017)
David Carral, Irina Dragoste, Markus Krötzsch
Tractable Query Answering for Expressive Ontologies and Existential Rules. ISWC (1) (2017)
David Carral, Irina Dragoste, Markus Krötzsch
Restricted Chase (Non)Termination for Existential Rules with Disjunctions. IJCAI (2017)
David Carral, Cristina Feier, Pascal Hitzler
Ontologies. ISWC (1) (2016)
Md. Kamruzzaman Sarker, David Carral, Adila Alfa Krisnadhi, Pascal Hitzler
Modeling OWL with Rules: The ROWL Protege Plugin. ISWC (Posters & Demos) (2016)
Cristina Feier, David Carral, Giorgio Stefanoni, Bernardo Cuenca Grau, Ian Horrocks
Extending the Combined Approach Beyond Lightweight Description Logics. Description Logics (2015)
David Carral, Michelle Cheatham, Sünje Dallmeier-Tiessen, Patricia Herterich, Michael D. Hildreth, Pascal Hitzler, Adila Krisnadhi, Kati Lassila-Perini, Elizabeth Sexton-Kennedy, Charles Vardeman, Gordon Watts
An Ontology Design Pattern for Particle Physics Analysis. WOP (2015)
Cristina Feier, David Carral, Giorgio Stefanoni, Bernardo Cuenca Grau, Ian Horrocks
The Combined Approach to Query Answering Beyond the OWL 2 Profiles. IJCAI (2015)
Patrick S. O'Brien, David Carral, Jeff Mixter, Pascal Hitzler
An Ontology Design Pattern for Data Integration in the Library Domain. WOP (2015)
David Carral, Cristina Feier, Bernardo Cuenca Grau, Pascal Hitzler, Ian Horrocks
-ifying Ontologies. IJCAR (2014)
David Carral, Cristina Feier, Bernardo Cuenca Grau, Pascal Hitzler, Ian Horrocks
Pushing the Boundaries of Tractable Ontology Reasoning. ISWC (2) (2014)
David Carral, Adila Krisnadhi, Sebastian Rudolph, Pascal Hitzler
All But Not Nothing: Left-Hand Side Universals for Tractable OWL Profiles. OWLED (2014)
David Carral, Cristina Feier, Ana Armas Romero, Bernardo Cuenca Grau, Pascal Hitzler, Ian Horrocks
Is Your Ontology as Hard as You Think? Rewriting Ontologies into Simpler DLs. Description Logics (2014)
Amin Abdalla, Yingjie Hu, David Carral, Naicong Li, Krzysztof Janowicz
An Ontology Design Pattern for Activity Reasoning. WOP (2014)
Cong Wang, David Carral, Pascal Hitzler
SROIQ Syntax Approximation by Using Nominal Schemas. Description Logics (2013)
David Carral, Cong Wang, Pascal Hitzler
Towards an Efficient Algorithm to Reason over Description Logics Extended with Nominal Schemas. RR (2013)
David Carral, Simon Scheider, Krzysztof Janowicz, Charles Vardeman, Adila Alfa Krisnadhi, Pascal Hitzler
An Ontology Design Pattern for Cartographic Map Scaling. ESWC (2013)
Yingjie Hu, Krzysztof Janowicz, David Carral, Simon Scheider, Werner Kuhn, Gary Berg-Cross, Pascal Hitzler, Mike Dean, Dave Kolas
A Geo-ontology Design Pattern for Semantic Trajectories. COSIT (2013)