Roman Kontchakov
6 papers · 2013–2022 · 1 conference · across top CS/AI conferences
Achievements
Jump to papers ↓
🧭
Keyword Pioneer
🏃
Academic Marathon
(9)
🐝
Cross-Pollinator
(7)
❓
The Questioner
🚀
Conference Pioneer
Conferences
IJCAI (6)
Top co-authors
Keywords
data integration
(1)
knowledge base
(1)
first-order logic
(1)
relational database
(1)
query rewriting
(1)
relational datum
(1)
ontology-based data access
(1)
description logic
(1)
ontology-mediated query
(1)
query answering
(1)
semantic query
(1)
linear temporal logic
(1)
semantic integration
(1)
temporal datum
(1)
first-order rewritability
(1)
monadic first-order logic
(1)
ontology-mediated queries
(1)
semantic paradigm
(1)
relational data source
(1)
ontology-based queries
(1)
Papers
On the First-Order Rewritability of Ontology-Mediated Queries in Linear Temporal Logic (Extended Abstract)
IJCAI 2022
Ontology-Based Data Access: A Survey
IJCAI 2018
Temporal and Spatial OBDA with Many-Dimensional Halpern-Shoham Logic
IJCAI 2016
First-Order Rewritability of Temporal Ontology-Mediated Queries
IJCAI 2015
When Are Description Logic Knowledge Bases Indistinguishable?
IJCAI 2015
Temporal Description Logic for Ontology-Based Data Access
IJCAI 2013