David Carral - RankMe

69 papers A* 16A 2B 2C 1Journal 17Unranked 28

Year	Rank	Type	Title / Venue / Authors
2025	B	`conf`	Integrating Environmental Regulations into Autonomous Agricultural Robotics: A Case for Waterbody-Aware Fertilization. RuleML+RR Guillaume Pérution-Kihli, Ahmad Kadi, Nikolas Müller, Akira Charoensit, David Carral, Pierre Bisquert, Federico Ulliana, Ansgar Bernardi, Marie-Laure Mugnier
2025	—	`conf`	Ontology-Based Query Answering over Datalog-Expressible Rule Sets is Undecidable (Extended Abstract). DL David Carral, Lucas Larroque, Michaël Thomazo
2025	—	`conf`	Restricted Chase Termination: You Want More Than Fairness (Extended Abstract). DL David Carral, Lukas Gerlach, Lucas Larroque, Michaël Thomazo
2025	J	`jnl`	Restricted Chase Termination: You Want More than Fairness. CoRR David Carral, Lukas Gerlach, Lucas Larroque, Michaël Thomazo
2025	J	`jnl`	Restricted Chase Termination: You Want More than Fairness. Proc. ACM Manag. Data David Carral, Lukas Gerlach, Lucas Larroque, Michaël Thomazo
2024	—	`conf`	Finite Groundings for ASP with Functions: A Journey through Consistency (Extended Abstract). NMR Lukas Gerlach, David Carral, Markus Hecher
2024	A*	`conf`	Finite Groundings for ASP with Functions: A Journey through Consistency. IJCAI Lukas Gerlach, David Carral, Markus Hecher
2024	J	`jnl`	Finite Groundings for ASP with Functions: A Journey through Consistency. CoRR Lukas Gerlach, David Carral, Markus Hecher
2024	A*	`conf`	Ontology-Based Query Answering over Datalog-Expressible Rule Sets is Undecidable. KR David Carral, Lucas Larroque, Michaël Thomazo
2024	—	`conf`	Rule-aware Datalog Fact Explanation Using Group-SAT Solver. RuleML+RR (Companion) Akira Charoensit, David Carral, Pierre Bisquert, Lucas Rouquette, Federico Ulliana
2023	J	`jnl`	An efficient algorithm for reasoning over OWL EL ontologies with nominal schemas. J. Log. Comput. David Carral, Joseph Zalewski, Pascal Hitzler
2023	A*	`conf`	Do Repeat Yourself: Understanding Sufficient Conditions for Restricted Chase Non-Termination. KR Lukas Gerlach, David Carral
2023	J	`jnl`	Do Repeat Yourself: Understanding Sufficient Conditions for Restricted Chase Non-Termination. CoRR Lukas Gerlach, David Carral
2023	—	`conf`	General Acyclicity and Cyclicity Notions for the Disjunctive Skolem Chase (Extended Abstract). Description Logics Lukas Gerlach, David Carral
2023	A*	`conf`	General Acyclicity and Cyclicity Notions for the Disjunctive Skolem Chase. AAAI Lukas Gerlach, David Carral
2023	C	`conf`	Testing Logical Diagrams in Power Plants: A Tale of LTL Model Checking. FMICS Aziz Sfar, David Carral, Dina Irofti, Madalina Croitoru
2022	A*	`conf`	A Journey to the Frontiers of Query Rewritability. PODS Piotr Ostropolski-Nalewaja, Jerzy Marcinkowski, David Carral, Sebastian Rudolph
2022	A*	`conf`	Capturing Homomorphism-Closed Decidable Queries with Existential Rules (Extended Abstract). IJCAI Camille Bourgaux, David Carral, Markus Krötzsch, Sebastian Rudolph, Michaël Thomazo
2022	A*	`conf`	Deciding Hyperproperties Combined with Functional Specifications. LICS Raven Beutner, David Carral, Bernd Finkbeiner, Jana Hofmann, Markus Krötzsch
2022	J	`jnl`	Deciding Hyperproperties Combined with Functional Specifications. CoRR Raven Beutner, David Carral, Bernd Finkbeiner, Jana Hofmann, Markus Krötzsch
2022	A*	`conf`	Normalisations of Existential Rules: Not so Innocuous! KR David Carral, Lucas Larroque, Marie-Laure Mugnier, Michaël Thomazo
2022	J	`jnl`	Normalisations of Existential Rules: Not so Innocuous! CoRR David Carral, Lucas Larroque, Marie-Laure Mugnier, Michaël Thomazo
2021	A*	`conf`	Capturing Homomorphism-Closed Decidable Queries with Existential Rules. KR Camille Bourgaux, David Carral, Markus Krötzsch, Sebastian Rudolph, Michaël Thomazo
2021	J	`jnl`	Capturing Homomorphism-Closed Decidable Queries with Existential Rules. CoRR Camille Bourgaux, David Carral, Markus Krötzsch, Sebastian Rudolph, Michaël Thomazo
2021	J	`jnl`	Materializing Knowledge Bases via Trigger Graphs. CoRR Efthymia Tsamoura, David Carral, Enrico Malizia, Jacopo Urbani
2021	J	`jnl`	Materializing Knowledge Bases via Trigger Graphs. Proc. VLDB Endow. Efthymia Tsamoura, David Carral, Enrico Malizia, Jacopo Urbani
2021	—	`conf`	Seed Patterns for Modeling Trees. WOP (Book) Aaron Eberhart, David Carral, Pascal Hitzler, Hilmar Lapp, Sebastian Rudolph
2020	J	`jnl`	A Journey to the Frontiers of Query Rewritability. CoRR Piotr Ostropolski-Nalewaja, Jerzy Marcinkowski, David Carral, Sebastian Rudolph
2020	A*	`conf`	Checking Chase Termination over Ontologies of Existential Rules with Equality. AAAI David Carral, Jacopo Urbani
2020	J	`jnl`	Reasoner = Logical Calculus + Rule Engine. Künstliche Intell. David Carral, Irina Dragoste, Markus Krötzsch
2020	—	`conf`	Rewriting ALCHIQ to Disjunctive Existential Rules (Extended Abstract). Description Logics David Carral, Markus Krötzsch
2020	A*	`conf`	Rewriting the Description Logic ALCHIQ to Disjunctive Existential Rules. IJCAI David Carral, Markus Krötzsch
2019	—	`conf`	Chasing Sets: How to Use Existential Rules for Expressive Reasoning (Extended Abstract). Description Logics David Carral, Irina Dragoste, Markus Krötzsch, Christian Lewe
2019	A*	`conf`	Chasing Sets: How to Use Existential Rules for Expressive Reasoning. IJCAI David Carral, Irina Dragoste, Markus Krötzsch, Christian Lewe
2019	J	`jnl`	Checking Chase Termination over Ontologies of Existential Rules with Equality. CoRR David Carral, Jacopo Urbani
2019	A*	`conf`	From Horn-SRIQ to Datalog: A Data-Independent Transformation That Preserves Assertion Entailment. AAAI David Carral, Larry González, Patrick Koopmann
2019	—	`conf`	From Horn-SRIQ to Datalog: A Data-Independent Transformation that Preserves Assertion Entailment. Description Logics David Carral, Larry González, Patrick Koopmann
2019	—	`conf`	The Combined Approach to Query Answering in Horn-ALCHOIQ (Extended Abstract). Description Logics David Carral, Irina Dragoste, Markus Krötzsch
2019	—	`conf`	VLog: A Rule Engine for Knowledge Graphs. ISWC (2) David Carral, Irina Dragoste, Larry González, Ceriel J. H. Jacobs, Markus Krötzsch, Jacopo Urbani
2018	J	`jnl`	A Practical Acyclicity Notion for Query Answering over Horn-SRIQ Ontologies. CoRR David Carral, Cristina Feier, Pascal Hitzler
2018	A	`conf`	Efficient Model Construction for Horn Logic with VLog - System Description. IJCAR Jacopo Urbani, Markus Krötzsch, Ceriel J. H. Jacobs, Irina Dragoste, David Carral
2018	—	`conf`	Efficient Model Construction for Horn Logic with VLog: Extended Abstract. Description Logics Jacopo Urbani, Markus Krötzsch, Ceriel J. H. Jacobs, Irina Dragoste, David Carral
2018	J	`jnl`	Modeling OWL with Rules: The ROWL Protege Plugin. CoRR Md. Kamruzzaman Sarker, David Carral, Adila Alfa Krisnadhi, Pascal Hitzler
2018	A	`conf`	Preserving Constraints with the Stable Chase. ICDT David Carral, Markus Krötzsch, Maximilian Marx, Ana Ozaki, Sebastian Rudolph
2018	—	`ed.`	Proceedings of the 8th Workshop on Ontology Design and Patterns (WOP 2017) co-located with the 16th International Semantic Web Conference (ISWC 2017), Vienna, Austria, October 21, 2017. WOP@ISWC Eva Blomqvist, Óscar Corcho, Matthew Horridge, David Carral, Rinke Hoekstra
2018	J	`jnl`	Rule-based OWL Modeling with ROWLTab Protege Plugin. CoRR Md. Kamruzzaman Sarker, Adila Krisnadhi, David Carral, Pascal Hitzler
2018	A*	`conf`	The Combined Approach to Query Answering in Horn-ALCHOIQ. KR David Carral, Irina Dragoste, Markus Krötzsch
2018	—	`conf`	Tractable Query Answering for DL Ontologies and Existential Rules: Extended Abstract. Description Logics David Carral, Irina Dragoste, Markus Krötzsch
2017	—	`conf`	On the Ontological Modeling of Trees. WOP@ISWC David Carral, Pascal Hitzler, Hilmar Lapp, Sebastian Rudolph
2017	J	`jnl`	On the Ontological Modeling of Trees. CoRR David Carral, Pascal Hitzler, Hilmar Lapp, Sebastian Rudolph
2017	A*	`conf`	Restricted Chase (Non)Termination for Existential Rules with Disjunctions. IJCAI David Carral, Irina Dragoste, Markus Krötzsch
2017	—	`conf`	Rule-Based OWL Modeling with ROWLTab Protégé Plugin. ESWC (1) Md. Kamruzzaman Sarker, Adila Krisnadhi, David Carral, Pascal Hitzler
2017	—	`conf`	Tractable Query Answering for Expressive Ontologies and Existential Rules. ISWC (1) David Carral, Irina Dragoste, Markus Krötzsch
2016	—	`conf`	A Practical Acyclicity Notion for Query Answering Over Horn- ISWC (1) David Carral, Cristina Feier, Pascal Hitzler
2016	—	`ch.`	An Ontology Design Pattern for Detector Final States. Ontology Engineering with Ontology Design Patterns David Carral
2016	—	`ch.`	Collected Research Questions Concerning Ontology Design Patterns. Ontology Engineering with 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
2016	—	`conf`	Modeling OWL with Rules: The ROWL Protege Plugin. ISWC (Posters & Demos) Md. Kamruzzaman Sarker, David Carral, Adila Alfa Krisnadhi, Pascal Hitzler
2015	—	`conf`	An Ontology Design Pattern for Data Integration in the Library Domain. WOP Patrick S. O'Brien, David Carral, Jeff Mixter, Pascal Hitzler
2015	—	`conf`	An Ontology Design Pattern for Particle Physics Analysis. WOP 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
2015	—	`conf`	Extending the Combined Approach Beyond Lightweight Description Logics. Description Logics Cristina Feier, David Carral, Giorgio Stefanoni, Bernardo Cuenca Grau, Ian Horrocks
2015	A*	`conf`	The Combined Approach to Query Answering Beyond the OWL 2 Profiles. IJCAI Cristina Feier, David Carral, Giorgio Stefanoni, Bernardo Cuenca Grau, Ian Horrocks
2014	—	`conf`	All But Not Nothing: Left-Hand Side Universals for Tractable OWL Profiles. OWLED David Carral, Adila Krisnadhi, Sebastian Rudolph, Pascal Hitzler
2014	—	`conf`	An Ontology Design Pattern for Activity Reasoning. WOP Amin Abdalla, Yingjie Hu, David Carral, Naicong Li, Krzysztof Janowicz
2014	—	`conf`	Is Your Ontology as Hard as You Think? Rewriting Ontologies into Simpler DLs. Description Logics David Carral, Cristina Feier, Ana Armas Romero, Bernardo Cuenca Grau, Pascal Hitzler, Ian Horrocks
2014	—	`conf`	Pushing the Boundaries of Tractable Ontology Reasoning. ISWC (2) David Carral, Cristina Feier, Bernardo Cuenca Grau, Pascal Hitzler, Ian Horrocks
2013	—	`conf`	A Geo-ontology Design Pattern for Semantic Trajectories. COSIT Yingjie Hu, Krzysztof Janowicz, David Carral, Simon Scheider, Werner Kuhn, Gary Berg-Cross, Pascal Hitzler, Mike Dean, Dave Kolas
2013	B	`conf`	An Ontology Design Pattern for Cartographic Map Scaling. ESWC David Carral, Simon Scheider, Krzysztof Janowicz, Charles Vardeman, Adila Alfa Krisnadhi, Pascal Hitzler
2013	—	`conf`	SROIQ Syntax Approximation by Using Nominal Schemas. Description Logics Cong Wang, David Carral, Pascal Hitzler
2013	—	`conf`	Towards an Efficient Algorithm to Reason over Description Logics Extended with Nominal Schemas. RR David Carral, Cong Wang, Pascal Hitzler