Michaël Thomazo

10 papers · 2013–2022 · 1 conference · across top CS/AI conferences

Achievements

🧭 Keyword Pioneer 🐣 Hot Topic Early Bird 🐝 Cross-Pollinator (13) 🏃 Academic Marathon (9) 📈 Trend Setter 💎 Century Club (10) 🚀 Conference Pioneer

Conferences

IJCAI (10)

Top co-authors

Sebastian Rudolph (3) Meghyn Bienvenu (3) Marie-Laure Mugnier (2) Quentin Manière (2) Camille Bourgaux (1) Michel Leclère (1) Michael Benedikt (1) David Carral (1) Mélanie König (1) Pierre Bourhis (1)

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