Michael Zakharyaschev

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

Achievements

🐣 Hot Topic Early Bird 🏃 Academic Marathon (11) 🐝 Cross-Pollinator (7) 🌈 Renaissance Researcher (5) 🌉 Interdisciplinary Bridge 🧭 Keyword Pioneer 🚀 Conference Pioneer ❓ The Questioner 💎 Century Club (10) 📈 Trend Setter

Conferences

IJCAI (10)

Top co-authors

Frank Wolter (7) Vladislav Ryzhikov (7) Roman Kontchakov (6) Alessandro Artale (3) Boris Konev (2) Alisa Kovtunova (2) Luca Pulina (1) Laura Pandolfo (1) Carsten Lutz (1) Yury Savateev (1)

Keywords

linear temporal logic (3) first-order logic (2) ontology-mediated queries (2) database query (1) query rewriting (1) relational datum (1) ontology-based data access (1) description logic (1) data complexity (1) ontology-mediated query (1) query answering (1) semantic query (1) semantic integration (1) temporal datum (1) reverse engineering (1) metric temporal logic (1) first-order rewritability (1) temporal queries (1) monadic first-order logic (1) semantic paradigm (1)

Papers

Extremal Separation Problems for Temporal Instance Queries IJCAI 2024

Reverse Engineering of Temporal Queries Mediated by LTL Ontologies IJCAI 2023

On the First-Order Rewritability of Ontology-Mediated Queries in Linear Temporal Logic (Extended Abstract) IJCAI 2022

Data Complexity and Rewritability of Ontology-Mediated Queries in Metric Temporal Logic under the Event-Based Semantics IJCAI 2019

Ontology-Based Data Access: A Survey IJCAI 2018

Temporal and Spatial OBDA with Many-Dimensional Halpern-Shoham Logic IJCAI 2016

Conservative Rewritability of Description Logic TBoxes IJCAI 2016

When Are Description Logic Knowledge Bases Indistinguishable? IJCAI 2015

First-Order Rewritability of Temporal Ontology-Mediated Queries IJCAI 2015

Temporal Description Logic for Ontology-Based Data Access IJCAI 2013