Vladislav Ryzhikov

Orcid: 0000-0002-6847-6465

According to our database1, Vladislav Ryzhikov authored at least 71 papers between 2007 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Extremal Separation Problems for Temporal Instance Queries.
Proceedings of the Thirty-Third International Joint Conference on Artificial Intelligence, 2024

On Deciding the Data Complexity of Answering Linear Monadic Datalog Queries with LTL Operators (Extended Abstract).
Proceedings of the 37th International Workshop on Description Logics (DL 2024), 2024

2023
Deciding FO-rewritability of Regular Languages and Ontology-Mediated Queries in Linear Temporal Logic.
J. Artif. Intell. Res., 2023

Temporalising Unique Characterisability and Learnability of Ontology-Mediated Queries.
CoRR, 2023

Reverse Engineering of Temporal Queries Mediated by LTL Ontologies.
Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, 2023

Temporalising Unique Characterisability and Learnability of Ontology-Mediated Queries (Extended Abstract).
Proceedings of the 36th International Workshop on Description Logics (DL 2023) co-located with the 20th International Conference on Principles of Knowledge Representation and Reasoning and the 21st International Workshop on Non-Monotonic Reasoning (KR 2023 and NMR 2023)., 2023

A Decidable Temporal DL-Lite Logic with Undecidable First-Order and Datalog-rewritability of Ontology-Mediated Atomic Queries (Extended Abstract).
Proceedings of the 36th International Workshop on Description Logics (DL 2023) co-located with the 20th International Conference on Principles of Knowledge Representation and Reasoning and the 21st International Workshop on Non-Monotonic Reasoning (KR 2023 and NMR 2023)., 2023

2022
First-Order Rewritability and Complexity of Two-Dimensional Temporal Ontology-Mediated Queries.
J. Artif. Intell. Res., 2022

Unique Characterisability and Learnability of Temporal Instance Queries.
Proceedings of the 19th International Conference on Principles of Knowledge Representation and Reasoning, 2022

On the First-Order Rewritability of Ontology-Mediated Queries in Linear Temporal Logic (Extended Abstract).
Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, 2022

Reverse Engineering of Temporal Queries with and without LTL Ontologies: First Steps (Extended Abstract).
Proceedings of the 35th International Workshop on Description Logics (DL 2022) co-located with Federated Logic Conference (FLoC 2022), 2022

2021
First-order rewritability of ontology-mediated queries in linear temporal logic.
Artif. Intell., 2021

Deciding FO-Rewritability of Ontology-Mediated Queries in Linear Temporal Logic.
Proceedings of the 28th International Symposium on Temporal Representation and Reasoning, 2021

Deciding FO-definability of Regular Languages.
Proceedings of the Relational and Algebraic Methods in Computer Science, 2021

2020
Temporal Ontology-Mediated Queries and First-Order Rewritability: A Short Course.
Proceedings of the Reasoning Web. Declarative Artificial Intelligence, 2020

Boolean Role Inclusions in DL-Lite With and Without Time.
Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, 2020

Recognising FO-rewritability of Ontology-Mediated Queries in Linear Temporal Logic.
Proceedings of the 33rd International Workshop on Description Logics (DL 2020) co-located with the 17th International Conference on Principles of Knowledge Representation and Reasoning (KR 2020), 2020

2019
Data Complexity and Rewritability of Ontology-Mediated Queries in Metric Temporal Logic under the Event-Based Semantics (Full Version).
CoRR, 2019

Ontology-based access to temporal data with Ontop: A framework proposal.
Int. J. Appl. Math. Comput. Sci., 2019

Query inseparability for ALC ontologies.
Artif. Intell., 2019

Two-Dimensional Rule Language for Querying Sensor Log Data: A Framework and Use Cases.
Proceedings of the 26th International Symposium on Temporal Representation and Reasoning, 2019

Data Complexity and Rewritability of Ontology-Mediated Queries in Metric Temporal Logic under the Event-Based Semantics.
Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019

A Note on DL-Lite with Boolean Role Inclusions.
Proceedings of the 32nd International Workshop on Description Logics, 2019

2018
Querying Log Data with Metric Temporal Logic.
J. Artif. Intell. Res., 2018

On the Data Complexity of Ontology-Mediated Queries with MTL Operators over Timed Words.
Proceedings of the 31st International Workshop on Description Logics co-located with 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018), Tempe, Arizona, US, October 27th - to, 2018

Ontop-temporal: A Tool for Ontology-based Query Answering over Temporal Data.
Proceedings of the 27th ACM International Conference on Information and Knowledge Management, 2018

2017
Horn Fragments of the Halpern-Shoham Interval Temporal Logic.
ACM Trans. Comput. Log., 2017

Metric Temporal Logic for Ontology-Based Data Access over Log Data.
CoRR, 2017

Ontology-Mediated Query Answering over Temporal Data: A Survey (Invited Talk).
Proceedings of the 24th International Symposium on Temporal Representation and Reasoning, 2017

The Complexity of Ontology-Based Data Access with OWL 2 QL and Bounded Treewidth Queries.
Proceedings of the 36th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems, 2017

BalOnSe: Temporal Aspects of Dance Movement and Its Ontological Representation.
Proceedings of the Semantic Web - 14th International Conference, 2017

Optimal Nonrecursive Datalog Rewritings of Linear TGDs and Bounded (Hyper)Tree-Width Queries.
Proceedings of the 30th International Workshop on Description Logics, 2017

On the Parametrised Complexity of Tree-Shaped Ontology-Mediated Queries in OWL 2 QL.
Proceedings of the 30th International Workshop on Description Logics, 2017

A Note on Computing Certain Answers to Queries over Incomplete Databases.
Proceedings of the 11th Alberto Mendelzon International Workshop on Foundations of Data Management and the Web, 2017

A Framework for Temporal Ontology-Based Data Access: A Proposal.
Proceedings of the New Trends in Databases and Information Systems, 2017

Ontology-Based Data Access with a Horn Fragment of Metric Temporal Logic.
Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence, 2017

2016
Horn Fragments of the Halpern-Shoham Interval Temporal Logic (Technical Report).
CoRR, 2016

Query-Based Entailment and Inseparability for ALC Ontologies (Full Version).
CoRR, 2016

Games for query inseparability of description logic knowledge bases.
Artif. Intell., 2016

Knowledge base exchange: The case of OWL 2 QL.
Artif. Intell., 2016

Inseparability and Conservative Extensions of Description Logic Ontologies: A Survey.
Proceedings of the Reasoning Web: Logical Foundation of Knowledge Graph Construction and Query Answering, 2016

Towards Practical OBDA with Temporal Ontologies - (Position Paper).
Proceedings of the Web Reasoning and Rule Systems - 10th International Conference, 2016

Temporal and Spatial OBDA with Many-Dimensional Halpern-Shoham Logic.
Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016

Query-Based Entailment and Inseparability for ALC Ontologies.
Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016

When is Query Inseparability for ALC Ontologies Decidable?
Proceedings of the 29th International Workshop on Description Logics, 2016

2015
When Are Description Logic Knowledge Bases Indistinguishable?
Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

First-Order Rewritability of Temporal Ontology-Mediated Queries.
Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

Interval Temporal Description Logics.
Proceedings of the 28th International Workshop on Description Logics, 2015

Tractable Interval Temporal Propositional and Description Logics.
Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015

2014
A Cookbook for Temporal Conceptual Data Modelling with Description Logics.
ACM Trans. Comput. Log., 2014

Query Inseparability for Description Logic Knowledge Bases.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference, 2014

DL-Lite and Interval Temporal Logics: a Marriage Proposal.
Proceedings of the ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic, 2014

Query Inseparability by Games.
Proceedings of the Informal Proceedings of the 27th International Workshop on Description Logics, 2014

Temporal OBDA with LTL and DL-Lite.
Proceedings of the Informal Proceedings of the 27th International Workshop on Description Logics, 2014

2013
The Complexity of Clausal Fragments of LTL.
Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2013

Exchanging OWL 2 QL Knowledge Bases.
Proceedings of the IJCAI 2013, 2013

Conjunctive Query Inseparability in OWL 2 QL is ExpTime-hard.
Proceedings of the Informal Proceedings of the 26th International Workshop on Description Logics, Ulm, Germany, July 23, 2013

Computing Solutions in OWL 2 QL Knowledge Exchange.
Proceedings of the Informal Proceedings of the 26th International Workshop on Description Logics, Ulm, Germany, July 23, 2013

2012
Exchanging Description Logic Knowledge Bases.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference, 2012

DL-Lite with Attributes and Datatypes.
Proceedings of the ECAI 2012, 2012

Representability in DL-Lite_R Knowledge Base Exchange.
Proceedings of the 2012 International Workshop on Description Logics, 2012

2011
Tailoring Temporal Description Logics for Reasoning over Temporal Conceptual Models.
Proceedings of the Frontiers of Combining Systems, 8th International Symposium, 2011

DL-Lite with Attributes and Sub-Roles (Extended Abstract).
Proceedings of the 24th International Workshop on Description Logics (DL 2011), 2011

2010
Complexity of Reasoning over Temporal Data Models.
Proceedings of the Conceptual Modeling, 2010

Temporal Conceptual Modelling with DL-Lite.
Proceedings of the 23rd International Workshop on Description Logics (DL 2010), 2010

Past and Future of DL-Lite.
Proceedings of the Twenty-Fourth AAAI Conference on Artificial Intelligence, 2010

2009
<i>DL-Lite</i> with Temporalised Concepts, Rigid Axioms and Roles.
Proceedings of the Frontiers of Combining Systems, 7th International Symposium, 2009

Extending DL-Lite Sometime in the Future.
Proceedings of the 22nd International Workshop on Description Logics (DL 2009), 2009

2008
Checking DL-Lite Modularity with QBF Solvers.
Proceedings of the 21st International Workshop on Description Logics (DL2008), 2008

2007
Reasoning over Extended ER Models.
Proceedings of the Conceptual Modeling, 2007

Complexity of Reasoning in Entity Relationship Models.
Proceedings of the 2007 International Workshop on Description Logics (DL2007), 2007


  Loading...