David Carral
9 papers · 2015–2024 · 2 venues · across top CS/AI venues
Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.
Achievements
Jump to papers ↓+2 more ↓ Show less ↑
๐ Interdisciplinary Bridge ยท Silver ๐ Academic Marathon ยท Sprint ๐ Conference Polyglot ยท Bronze ๐บ๏ธ Taxonomy Completionist (10) ๐ Keyword Champion (5)
๐
Trend Setter
๐
Conference Pioneer
Top co-authors
Research topics
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
Chasing Sets: How to Use Existential Rules for Expressive Reasoning
IJCAI 2019
From Horn-SRIQ to Datalog: A Data-Independent Transformation That Preserves Assertion Entailment
AAAI 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