Extending Description Logic Rules. - David Carral Martínez; Pascal Hitzler (ESWC, 2012)

A logical geo-ontology design pattern for quantifying over types. - David Carral Martínez; Krzysztof Janowicz; Pascal Hitzler (SIGSPATIAL/GIS, 2012)

Integrating OWL and Rules: A Syntax Proposal for Nominal Schemas. - David Carral Martínez; Adila Alfa Krisnadhi; Pascal Hitzler (OWLED, 2012)

Recent Advances in Integrating OWL and Rules (Technical Communication). - Matthias Knorr 001; David Carral Martínez; Pascal Hitzler; Adila Alfa Krisnadhi; Frederick Maier; Cong Wang 016 (RR, 2012)

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 (COSIT, 2013)

SROIQ Syntax Approximation by Using Nominal Schemas. - Cong Wang 016; David Carral; Pascal Hitzler (Description Logics, 2013)

An Ontology Design Pattern for Cartographic Map Scaling. - David Carral; Simon Scheider; Krzysztof Janowicz; Charles Vardeman; Adila Alfa Krisnadhi; Pascal Hitzler (ESWC, 2013)

Towards an Efficient Algorithm to Reason over Description Logics Extended with Nominal Schemas. - David Carral; Cong Wang 016; Pascal Hitzler (RR, 2013)

EL-ifying Ontologies. - David Carral; Cristina Feier; Bernardo Cuenca Grau; Pascal Hitzler; Ian Horrocks 001 (IJCAR, 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 001 (Description Logics, 2014)

All But Not Nothing: Left-Hand Side Universals for Tractable OWL Profiles. - David Carral; Adila Krisnadhi; Sebastian Rudolph; Pascal Hitzler (OWLED, 2014)

An Ontology Design Pattern for Activity Reasoning. - Amin Abdalla; Yingjie Hu; David Carral; Naicong Li; Krzysztof Janowicz (WOP, 2014)

Pushing the Boundaries of Tractable Ontology Reasoning. - David Carral; Cristina Feier; Bernardo Cuenca Grau; Pascal Hitzler; Ian Horrocks 001 (ISWC (2), 2014)

Extending the Combined Approach Beyond Lightweight Description Logics. - Cristina Feier; David Carral; Giorgio Stefanoni; Bernardo Cuenca Grau; Ian Horrocks 001 (Description Logics, 2015)

The Combined Approach to Query Answering Beyond the OWL 2 Profiles. - Cristina Feier; David Carral; Giorgio Stefanoni; Bernardo Cuenca Grau; Ian Horrocks 001 (IJCAI, 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 (WOP, 2015)

An Ontology Design Pattern for Data Integration in the Library Domain. - Patrick S. O'Brien; David Carral; Jeff Mixter; Pascal Hitzler (WOP, 2015)

An Ontology Design Pattern for Detector Final States. - David Carral (Ontology Engineering with Ontology Design Patterns, 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; et al. (Ontology Engineering with Ontology Design Patterns, 2016)

A Practical Acyclicity Notion for Query Answering Over Horn- SRIQ Ontologies. - David Carral; Cristina Feier; Pascal Hitzler (ISWC (1), 2016)

Modeling OWL with Rules: The ROWL Protege Plugin. - Md. Kamruzzaman Sarker; David Carral; Adila Alfa Krisnadhi; Pascal Hitzler (ISWC (Posters & Demos), 2016)

Rule-Based OWL Modeling with ROWLTab Protégé Plugin. - Md. Kamruzzaman Sarker; Adila Krisnadhi; David Carral; Pascal Hitzler (ESWC (1), 2017)

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

Tractable Query Answering for Expressive Ontologies and Existential Rules. - David Carral; Irina Dragoste; Markus Krötzsch (ISWC (1), 2017)

On the Ontological Modeling of Trees. - David Carral; Pascal Hitzler; Hilmar Lapp; Sebastian Rudolph (WOP@ISWC, 2017)

Efficient Model Construction for Horn Logic with VLog - System Description. - Jacopo Urbani; Markus Krötzsch; Ceriel J. H. Jacobs; Irina Dragoste; David Carral (IJCAR, 2018)

Tractable Query Answering for DL Ontologies and Existential Rules: Extended Abstract. - David Carral; Irina Dragoste; Markus Krötzsch (Description Logics, 2018)

Efficient Model Construction for Horn Logic with VLog: Extended Abstract. - Jacopo Urbani; Markus Krötzsch; Ceriel J. H. Jacobs; Irina Dragoste; David Carral (Description Logics, 2018)

Preserving Constraints with the Stable Chase. - David Carral; Markus Krötzsch; Maximilian Marx 001; Ana Ozaki; Sebastian Rudolph (ICDT, 2018)

The Combined Approach to Query Answering in Horn-ALCHOIQ. - David Carral; Irina Dragoste; Markus Krötzsch (KR, 2018)

A Practical Acyclicity Notion for Query Answering over Horn-SRIQ Ontologies. - David Carral; Cristina Feier; Pascal Hitzler (CoRR, 2018)

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

The Combined Approach to Query Answering in Horn-ALCHOIQ (Extended Abstract). - David Carral; Irina Dragoste; Markus Krötzsch (Description Logics, 2019)

Chasing Sets: How to Use Existential Rules for Expressive Reasoning (Extended Abstract). - David Carral; Irina Dragoste; Markus Krötzsch; Christian Lewe (Description Logics, 2019)

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

VLog: A Rule Engine for Knowledge Graphs. - David Carral; Irina Dragoste; Larry González; Ceriel J. H. Jacobs; Markus Krötzsch; Jacopo Urbani (ISWC (2), 2019)

Checking Chase Termination over Ontologies of Existential Rules with Equality. - David Carral; Jacopo Urbani (AAAI, 2020)

Rewriting ALCHIQ to Disjunctive Existential Rules (Extended Abstract). - David Carral; Markus Krötzsch (Description Logics, 2020)

Rewriting the Description Logic ALCHIQ to Disjunctive Existential Rules. - David Carral; Markus Krötzsch (IJCAI, 2020)

Reasoner = Logical Calculus + Rule Engine. - David Carral; Irina Dragoste; Markus Krötzsch (Künstliche Intell., 2020)

Capturing Homomorphism-Closed Decidable Queries with Existential Rules. - Camille Bourgaux; David Carral; Markus Krötzsch; Sebastian Rudolph; Michaël Thomazo (KR, 2021)

Seed Patterns for Modeling Trees. - Aaron Eberhart; David Carral; Pascal Hitzler; Hilmar Lapp; Sebastian Rudolph (WOP (Book), 2021)

Materializing Knowledge Bases via Trigger Graphs. - Efthymia Tsamoura; David Carral; Enrico Malizia; Jacopo Urbani (Proc. VLDB Endow., 2021)

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

Normalisations of Existential Rules: Not so Innocuous! - David Carral; Lucas Larroque; Marie-Laure Mugnier; Michaël Thomazo (KR, 2022)

Deciding Hyperproperties Combined with Functional Specifications. - Raven Beutner; David Carral; Bernd Finkbeiner; Jana Hofmann; Markus Krötzsch (LICS, 2022)

A Journey to the Frontiers of Query Rewritability. - Piotr Ostropolski-Nalewaja; Jerzy Marcinkowski; David Carral; Sebastian Rudolph (PODS, 2022)

General Acyclicity and Cyclicity Notions for the Disjunctive Skolem Chase. - Lukas Gerlach 002; David Carral (AAAI, 2023)

General Acyclicity and Cyclicity Notions for the Disjunctive Skolem Chase (Extended Abstract). - Lukas Gerlach 002; David Carral (Description Logics, 2023)

Testing Logical Diagrams in Power Plants: A Tale of LTL Model Checking. - Aziz Sfar; David Carral; Dina Irofti; Madalina Croitoru (FMICS, 2023)

Do Repeat Yourself: Understanding Sufficient Conditions for Restricted Chase Non-Termination. - Lukas Gerlach 002; David Carral (KR, 2023)

An efficient algorithm for reasoning over OWL EL ontologies with nominal schemas. - David Carral; Joseph Zalewski; Pascal Hitzler (J. Log. Comput., 2023)

Finite Groundings for ASP with Functions: A Journey through Consistency. - Lukas Gerlach 002; David Carral; Markus Hecher (IJCAI, 2024)

Ontology-Based Query Answering over Datalog-Expressible Rule Sets is Undecidable. - David Carral; Lucas Larroque; Michaël Thomazo (KR, 2024)

Finite Groundings for ASP with Functions: A Journey through Consistency (Extended Abstract). - Lukas Gerlach 002; David Carral; Markus Hecher (NMR, 2024)

Rule-aware Datalog Fact Explanation Using Group-SAT Solver. - Akira Charoensit; David Carral; Pierre Bisquert; Lucas Rouquette; Federico Ulliana (RuleML+RR (Companion), 2024)

Restricted Chase Termination: You Want More than Fairness. - David Carral; Lukas Gerlach 002; Lucas Larroque; Michaël Thomazo (Proc. ACM Manag. Data, 2025)