David Carral

According to our database, David Carral authored at least 56 papers between 2012 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

Rule-aware Datalog Fact Explanation Using Group-SAT Solver.

Akira Charoensit, David Carral, Pierre Bisquert, Lucas Rouquette, Federico Ulliana

Proceedings of the Companion Proceedings of the 8th International Joint Conference on Rules and Reasoning co-located with 20th Reasoning Web Summer School (RW 2024) and 16th DecisionCAMP 2024 as part of Declarative AI 2024, 2024

Finite Groundings for ASP with Functions: A Journey through Consistency (Extended Abstract).

Lukas Gerlach, David Carral, Markus Hecher

Proceedings of the 22nd International Workshop on Nonmonotonic Reasoning (NMR 2024) co-located with 21st International Conference on Principles of Knowledge Representation and Reasoning (KR 2024), 2024

Ontology-Based Query Answering over Datalog-Expressible Rule Sets is Undecidable.

David Carral, Lucas Larroque, Michaël Thomazo

Proceedings of the 21st International Conference on Principles of Knowledge Representation and Reasoning, 2024

Finite Groundings for ASP with Functions: A Journey through Consistency.

Lukas Gerlach, David Carral, Markus Hecher

Proceedings of the Thirty-Third International Joint Conference on Artificial Intelligence, 2024

2023

An efficient algorithm for reasoning over OWL EL ontologies with nominal schemas.

David Carral, Joseph Zalewski, Pascal Hitzler

J. Log. Comput., January, 2023

Do Repeat Yourself: Understanding Sufficient Conditions for Restricted Chase Non-Termination.

Lukas Gerlach, David Carral

Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning, 2023

Testing Logical Diagrams in Power Plants: A Tale of LTL Model Checking.

Aziz Sfar, David Carral, Dina Irofti, Madalina Croitoru

Proceedings of the Formal Methods for Industrial Critical Systems, 2023

General Acyclicity and Cyclicity Notions for the Disjunctive Skolem Chase (Extended Abstract).

Lukas Gerlach, David Carral

Proceedings of the 36th International Workshop on Description Logics (DL 2023) co-located with the 20th International Conference on Principles of Knowledge Representation and Reasoning and the 21st International Workshop on Non-Monotonic Reasoning (KR 2023 and NMR 2023)., 2023

General Acyclicity and Cyclicity Notions for the Disjunctive Skolem Chase.

Lukas Gerlach, David Carral

Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence, 2023

2022

A Journey to the Frontiers of Query Rewritability.

Piotr Ostropolski-Nalewaja, Jerzy Marcinkowski, David Carral, Sebastian Rudolph

Proceedings of the PODS '22: International Conference on Management of Data, Philadelphia, PA, USA, June 12, 2022

Deciding Hyperproperties Combined with Functional Specifications.

Raven Beutner, David Carral, Bernd Finkbeiner, Jana Hofmann, Markus Krötzsch

Proceedings of the LICS '22: 37th Annual ACM/IEEE Symposium on Logic in Computer Science, Haifa, Israel, August 2, 2022

Normalisations of Existential Rules: Not so Innocuous!

David Carral, Lucas Larroque, Marie-Laure Mugnier, Michaël Thomazo

Proceedings of the 19th International Conference on Principles of Knowledge Representation and Reasoning, 2022

Capturing Homomorphism-Closed Decidable Queries with Existential Rules (Extended Abstract).

Camille Bourgaux, David Carral, Markus Krötzsch, Sebastian Rudolph, Michaël Thomazo

Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, 2022

2021

Materializing Knowledge Bases via Trigger Graphs.

Efthymia Tsamoura, David Carral, Enrico Malizia, Jacopo Urbani

Proc. VLDB Endow., 2021

Seed Patterns for Modeling Trees.

Aaron Eberhart, David Carral, Pascal Hitzler, Hilmar Lapp, Sebastian Rudolph

Proceedings of the Advances in Pattern-Based Ontology Engineering, 2021

Capturing Homomorphism-Closed Decidable Queries with Existential Rules.

Camille Bourgaux, David Carral, Markus Krötzsch, Sebastian Rudolph, Michaël Thomazo

Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning, 2021

2020

Reasoner = Logical Calculus + Rule Engine.

David Carral, Irina Dragoste, Markus Krötzsch

Künstliche Intell., 2020

Rewriting the Description Logic ALCHIQ to Disjunctive Existential Rules.

David Carral, Markus Krötzsch

Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, 2020

Rewriting ALCHIQ to Disjunctive Existential Rules (Extended Abstract).

David Carral, Markus Krötzsch

Proceedings of the 33rd International Workshop on Description Logics (DL 2020) co-located with the 17th International Conference on Principles of Knowledge Representation and Reasoning (KR 2020), 2020

Checking Chase Termination over Ontologies of Existential Rules with Equality.

David Carral, Jacopo Urbani

Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020

2019

VLog: A Rule Engine for Knowledge Graphs.

David Carral, Irina Dragoste, Larry González, Ceriel J. H. Jacobs, Markus Krötzsch, Jacopo Urbani

Proceedings of the Semantic Web - ISWC 2019, 2019

Chasing Sets: How to Use Existential Rules for Expressive Reasoning.

David Carral, Irina Dragoste, Markus Krötzsch, Christian Lewe

Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019

Chasing Sets: How to Use Existential Rules for Expressive Reasoning (Extended Abstract).

David Carral, Irina Dragoste, Markus Krötzsch, Christian Lewe

Proceedings of the 32nd International Workshop on Description Logics, 2019

The Combined Approach to Query Answering in Horn-ALCHOIQ (Extended Abstract).

David Carral, Irina Dragoste, Markus Krötzsch

Proceedings of the 32nd International Workshop on Description Logics, 2019

From Horn-SRIQ to Datalog: A Data-Independent Transformation That Preserves Assertion Entailment.

David Carral, Larry González, Patrick Koopmann

Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence, 2019

2018

A Practical Acyclicity Notion for Query Answering over Horn-SRIQ Ontologies.

David Carral, Cristina Feier, Pascal Hitzler

CoRR, 2018

The Combined Approach to Query Answering in Horn-ALCHOIQ.

David Carral, Irina Dragoste, Markus Krötzsch

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, 2018

Preserving Constraints with the Stable Chase.

David Carral, Markus Krötzsch, Maximilian Marx, Ana Ozaki, Sebastian Rudolph

Proceedings of the 21st International Conference on Database Theory, 2018

Efficient Model Construction for Horn Logic with VLog: Extended Abstract.

Jacopo Urbani, Markus Krötzsch, Ceriel J. H. Jacobs, Irina Dragoste, David Carral

Proceedings of the 31st International Workshop on Description Logics co-located with 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018), Tempe, Arizona, US, October 27th - to, 2018

Tractable Query Answering for DL Ontologies and Existential Rules: Extended Abstract.

David Carral, Irina Dragoste, Markus Krötzsch

Proceedings of the 31st International Workshop on Description Logics co-located with 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018), Tempe, Arizona, US, October 27th - to, 2018

Efficient Model Construction for Horn Logic with VLog - System Description.

Jacopo Urbani, Markus Krötzsch, Ceriel J. H. Jacobs, Irina Dragoste, David Carral

Proceedings of the Automated Reasoning - 9th International Joint Conference, 2018

2017

On the Ontological Modeling of Trees.

David Carral, Pascal Hitzler, Hilmar Lapp, Sebastian Rudolph

Proceedings of the 8th Workshop on Ontology Design and Patterns (WOP 2017) co-located with the 16th International Semantic Web Conference (ISWC 2017), 2017

Tractable Query Answering for Expressive Ontologies and Existential Rules.

David Carral, Irina Dragoste, Markus Krötzsch

Proceedings of the Semantic Web - ISWC 2017, 2017

Restricted Chase (Non)Termination for Existential Rules with Disjunctions.

David Carral, Irina Dragoste, Markus Krötzsch

Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

Rule-Based OWL Modeling with ROWLTab Protégé Plugin.

Md. Kamruzzaman Sarker, Adila Krisnadhi, David Carral, Pascal Hitzler

Proceedings of the Semantic Web - 14th International Conference, 2017

2016

Modeling OWL with Rules: The ROWL Protege Plugin.

Md. Kamruzzaman Sarker, David Carral, Adila Alfa Krisnadhi, Pascal Hitzler

Proceedings of the ISWC 2016 Posters & Demonstrations Track co-located with 15th International Semantic Web Conference (ISWC 2016), 2016

A Practical Acyclicity Notion for Query Answering Over Horn- <i>SRIQ</i> Ontologies.

David Carral, Cristina Feier, Pascal Hitzler

Proceedings of the Semantic Web - ISWC 2016, 2016

Collected Research Questions Concerning Ontology Design Patterns.

Karl Hammar, Eva Blomqvist, David Carral, Marieke van Erp, Antske Fokkens, Aldo Gangemi, Willem Robert van Hage, Pascal Hitzler, Krzysztof Janowicz, Nazifa Karima, Adila Krisnadhi, Tom Narock, Roxane Segers, Monika Solanki, Vojtech Svátek

Proceedings of the Ontology Engineering with Ontology Design Patterns, 2016

An Ontology Design Pattern for Detector Final States.

David Carral

Proceedings of the Ontology Engineering with Ontology Design Patterns, 2016

2015

An Ontology Design Pattern for Data Integration in the Library Domain.

Patrick S. O'Brien, David Carral, Jeff Mixter, Pascal Hitzler

Proceedings of the 6th Workshop on Ontology and Semantic Web Patterns (WOP 2015) co-located with the 14th International Semantic Web Conference (ISWC 2015), 2015

An Ontology Design Pattern for Particle Physics Analysis.

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

Proceedings of the 6th Workshop on Ontology and Semantic Web Patterns (WOP 2015) co-located with the 14th International Semantic Web Conference (ISWC 2015), 2015

The Combined Approach to Query Answering Beyond the OWL 2 Profiles.

Cristina Feier, David Carral, Giorgio Stefanoni, Bernardo Cuenca Grau, Ian Horrocks

Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

Extending the Combined Approach Beyond Lightweight Description Logics.

Cristina Feier, David Carral, Giorgio Stefanoni, Bernardo Cuenca Grau, Ian Horrocks

Proceedings of the 28th International Workshop on Description Logics, 2015

2014

Pushing the Boundaries of Tractable Ontology Reasoning.

David Carral, Cristina Feier, Bernardo Cuenca Grau, Pascal Hitzler, Ian Horrocks

Proceedings of the Semantic Web - ISWC 2014, 2014

An Ontology Design Pattern for Activity Reasoning.

Amin Abdalla, Yingjie Hu, David Carral, Naicong Li, Krzysztof Janowicz

Proceedings of the 5th Workshop on Ontology and Semantic Web Patterns (WOP2014) co-located with the 13th International Semantic Web Conference (ISWC 2014), 2014

All But Not Nothing: Left-Hand Side Universals for Tractable OWL Profiles.

David Carral, Adila Krisnadhi, Sebastian Rudolph, Pascal Hitzler

Proceedings of the 11th International Workshop on OWL: Experiences and Directions (OWLED 2014) co-located with 13th International Semantic Web Conference on (ISWC 2014), 2014

Is Your Ontology as Hard as You Think? Rewriting Ontologies into Simpler DLs.

David Carral, Cristina Feier, Ana Armas Romero, Bernardo Cuenca Grau, Pascal Hitzler, Ian Horrocks

Proceedings of the Informal Proceedings of the 27th International Workshop on Description Logics, 2014

<i>EL</i>-ifying Ontologies.

David Carral, Cristina Feier, Bernardo Cuenca Grau, Pascal Hitzler, Ian Horrocks

Proceedings of the Automated Reasoning - 7th International Joint Conference, 2014

2013

Towards an Efficient Algorithm to Reason over Description Logics Extended with Nominal Schemas.

David Carral, Cong Wang, Pascal Hitzler

Proceedings of the Web Reasoning and Rule Systems - 7th International Conference, 2013

An Ontology Design Pattern for Cartographic Map Scaling.

David Carral, Simon Scheider, Krzysztof Janowicz, Charles Vardeman, Adila Alfa Krisnadhi, Pascal Hitzler

Proceedings of the Semantic Web: Semantics and Big Data, 10th International Conference, 2013

SROIQ Syntax Approximation by Using Nominal Schemas.

Cong Wang, David Carral, Pascal Hitzler

Proceedings of the Informal Proceedings of the 26th International Workshop on Description Logics, Ulm, Germany, July 23, 2013

A Geo-ontology Design Pattern for Semantic Trajectories.

Yingjie Hu, Krzysztof Janowicz, David Carral, Simon Scheider, Werner Kuhn, Gary Berg-Cross, Pascal Hitzler, Mike Dean, Dave Kolas

Proceedings of the Spatial Information Theory - 11th International Conference, 2013

2012

Recent Advances in Integrating OWL and Rules (Technical Communication).

Matthias Knorr, David Carral Martínez, Pascal Hitzler, Adila Alfa Krisnadhi, Frederick Maier, Cong Wang

Proceedings of the Web Reasoning and Rule Systems - 6th International Conference, 2012

Integrating OWL and Rules: A Syntax Proposal for Nominal Schemas.

David Carral Martínez, Adila Alfa Krisnadhi, Pascal Hitzler

Proceedings of OWL: Experiences and Directions Workshop 2012, 2012

A logical geo-ontology design pattern for quantifying over types.

David Carral Martínez, Krzysztof Janowicz, Pascal Hitzler

Proceedings of the SIGSPATIAL 2012 International Conference on Advances in Geographic Information Systems (formerly known as GIS), 2012

Extending Description Logic Rules.

David Carral Martínez, Pascal Hitzler

Proceedings of the Semantic Web: Research and Applications, 2012