Michaël Thomazo
10 papers · 2013–2022 · 1 venue · 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 ↓
🏃
Academic Marathon · Sprint
🐣
Hot Topic Early Bird
💎
Century Club · Bronze
🚀
Conference Pioneer
📈
Trend Setter
Venues
Top co-authors
Research topics
Keywords
query answering
(3)
knowledge base
(2)
description logic
(2)
first-order logic
(1)
privacy policy
(1)
conjunctive query
(1)
existential rule
(1)
schema mapping
(1)
ontological reasoning
(1)
ontology-mediated query answering
(1)
guarded existential rule
(1)
chase termination
(1)
disclosure analysis
(1)
source constraint
(1)
conjunctive regular path query
(1)
counting queries
(1)
knowledge representation
(1)
decidable queries
(1)
data integration
(1)
automated reasoning
(1)
Papers
Capturing Homomorphism-Closed Decidable Queries with Existential Rules (Extended Abstract)
IJCAI 2022
Cardinality Queries over DL-Lite Ontologies
IJCAI 2021
Answering Counting Queries over DL-Lite Ontologies
IJCAI 2020
Reasoning about Disclosure in Data Integration in the Presence of Source Constraints
IJCAI 2019
Answering Conjunctive Regular Path Queries over Guarded Existential Rules
IJCAI 2017
Expressivity of Datalog Variants — Completing the Picture
IJCAI 2016
Characterization of the Expressivity of Existential Rule Queries
IJCAI 2015
Compact Rewritings for Existential Rules
IJCAI 2013
Ontology Based Query Answering with Existential Rules
IJCAI 2013
Sound, Complete, and Minimal Query Rewriting for Existential Rules
IJCAI 2013