David Carral
9 papers · 2015–2024 · 2 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+5 more ↓ Show less ↑
π§ Keyword Pioneer π Cross-Pollinator (13) π Academic Marathon (9) π Renaissance Researcher (5) π Interdisciplinary Bridge
π
Conference Polyglot
(2)
πΊοΈ
Taxonomy Completionist
(10)
π
Keyword Champion
(5)
π
Trend Setter
π
Conference Pioneer
Conferences
IJCAI (6)
AAAI (3)
Top co-authors
Keywords
existential rule
(5)
chase termination
(3)
knowledge representation
(3)
description logic
(2)
query answering
(1)
logic programming
(1)
ontological reasoning
(1)
consistency checking
(1)
datalog rewriting
(1)
ontology entailment
(1)
role chain axiom
(1)
chase algorithm
(1)
ontology axiomatization
(1)
conjunctive query answering
(1)
acyclicity notion
(1)
horn logic
(1)
disjunctive rule
(1)
declarative reasoning
(1)
rule-based inference
(1)
disjunctive existential rule
(1)
Papers
Finite Groundings for ASP with Functions: A Journey through Consistency
IJCAI 2024
General Acyclicity and Cyclicity Notions for the Disjunctive Skolem Chase
AAAI 2023
Capturing Homomorphism-Closed Decidable Queries with Existential Rules (Extended Abstract)
IJCAI 2022
Checking Chase Termination over Ontologies of Existential Rules with Equality
AAAI 2020
Rewriting the Description Logic ALCHIQ to Disjunctive Existential Rules
IJCAI 2020
From Horn-SRIQ to Datalog: A Data-Independent Transformation That Preserves Assertion Entailment
AAAI 2019
Chasing Sets: How to Use Existential Rules for Expressive Reasoning
IJCAI 2019
Restricted Chase (Non)Termination for Existential Rules with Disjunctions
IJCAI 2017
The Combined Approach to Query Answering Beyond the OWL 2 Profiles
IJCAI 2015