Vladislav Ryzhikov

Anton R. Gnatenko

2022

First-Order Rewritability and Complexity of Two-Dimensional Temporal Ontology-Mediated Queries.

[BibT_eX]

[DOI]

J. Artif. Intell. Res., 2022

Unique Characterisability and Learnability of Temporal Instance Queries.

[BibT_eX]

[DOI]

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).

[BibT_eX]

[DOI]

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).

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Artif. Intell., 2021

Deciding FO-Rewritability of Ontology-Mediated Queries in Linear Temporal Logic.

[BibT_eX]

[DOI]

Yury Savateev

Proceedings of the 28th International Symposium on Temporal Representation and Reasoning, 2021

Deciding FO-definability of Regular Languages.

[BibT_eX]

[DOI]

Agi Kurucz

Yury Savateev

Proceedings of the Relational and Algebraic Methods in Computer Science, 2021

2020

Temporal Ontology-Mediated Queries and First-Order Rewritability: A Short Course.

[BibT_eX]

[DOI]

Proceedings of the Reasoning Web. Declarative Artificial Intelligence, 2020

Boolean Role Inclusions in DL-Lite With and Without Time.

[BibT_eX]

[DOI]

Frank Wolter

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.

[BibT_eX]

[DOI]

Yury Savateev

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).

[BibT_eX]

[DOI]

CoRR, 2019

Ontology-based access to temporal data with Ontop: A framework proposal.

[BibT_eX]

[DOI]

Int. J. Appl. Math. Comput. Sci., 2019

Query inseparability for ALC ontologies.

[BibT_eX]

[DOI]

Artif. Intell., 2019

Two-Dimensional Rule Language for Querying Sensor Log Data: A Framework and Use Cases.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019

A Note on DL-Lite with Boolean Role Inclusions.

[BibT_eX]

[DOI]

Frank Wolter

Proceedings of the 32nd International Workshop on Description Logics, 2019

2018

Querying Log Data with Metric Temporal Logic.

[BibT_eX]

[DOI]

J. Artif. Intell. Res., 2018

On the Data Complexity of Ontology-Mediated Queries with MTL Operators over Timed Words.

[BibT_eX]

[DOI]

Stanislav Kikot

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.

[BibT_eX]

[DOI]

Proceedings of the 27th ACM International Conference on Information and Knowledge Management, 2018

2017

Horn Fragments of the Halpern-Shoham Interval Temporal Logic.

[BibT_eX]

[DOI]

ACM Trans. Comput. Log., 2017

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

[BibT_eX]

[DOI]

CoRR, 2017

Ontology-Mediated Query Answering over Temporal Data: A Survey (Invited Talk).

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Meghyn Bienvenu

Stanislav Kikot

Vladimir V. Podolskii

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.

[BibT_eX]

[DOI]

Proceedings of the Semantic Web - 14th International Conference, 2017

Optimal Nonrecursive Datalog Rewritings of Linear TGDs and Bounded (Hyper)Tree-Width Queries.

[BibT_eX]

[DOI]

Proceedings of the 30th International Workshop on Description Logics, 2017

On the Parametrised Complexity of Tree-Shaped Ontology-Mediated Queries in OWL 2 QL.

[BibT_eX]

[DOI]

Proceedings of the 30th International Workshop on Description Logics, 2017

A Note on Computing Certain Answers to Queries over Incomplete Databases.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the New Trends in Databases and Information Systems, 2017

Ontology-Based Data Access with a Horn Fragment of Metric Temporal Logic.

[BibT_eX]

[DOI]

Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence, 2017

2016

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

[BibT_eX]

[DOI]

CoRR, 2016

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

[BibT_eX]

[DOI]

CoRR, 2016

Games for query inseparability of description logic knowledge bases.

[BibT_eX]

[DOI]

Artif. Intell., 2016

Knowledge base exchange: The case of OWL 2 QL.

[BibT_eX]

[DOI]

Artif. Intell., 2016

Inseparability and Conservative Extensions of Description Logic Ontologies: A Survey.

[BibT_eX]

[DOI]

Proceedings of the Reasoning Web: Logical Foundation of Knowledge Graph Construction and Query Answering, 2016

Towards Practical OBDA with Temporal Ontologies - (Position Paper).

[BibT_eX]

[DOI]

Proceedings of the Web Reasoning and Rule Systems - 10th International Conference, 2016

Temporal and Spatial OBDA with Many-Dimensional Halpern-Shoham Logic.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016

Query-Based Entailment and Inseparability for ALC Ontologies.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016

When is Query Inseparability for ALC Ontologies Decidable?

[BibT_eX]

[DOI]

Proceedings of the 29th International Workshop on Description Logics, 2016

2015

When Are Description Logic Knowledge Bases Indistinguishable?

[BibT_eX]

[DOI]

Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

First-Order Rewritability of Temporal Ontology-Mediated Queries.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

Interval Temporal Description Logics.

[BibT_eX]

[DOI]

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

Tractable Interval Temporal Propositional and Description Logics.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015

2014

A Cookbook for Temporal Conceptual Data Modelling with Description Logics.

[BibT_eX]

[DOI]

ACM Trans. Comput. Log., 2014

Query Inseparability for Description Logic Knowledge Bases.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic, 2014

Query Inseparability by Games.

[BibT_eX]

[DOI]

Proceedings of the Informal Proceedings of the 27th International Workshop on Description Logics, 2014

Temporal OBDA with LTL and DL-Lite.

[BibT_eX]

[DOI]

Proceedings of the Informal Proceedings of the 27th International Workshop on Description Logics, 2014

2013

The Complexity of Clausal Fragments of LTL.

[BibT_eX]

[DOI]

Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2013

Exchanging OWL 2 QL Knowledge Bases.

[BibT_eX]

[DOI]

Proceedings of the IJCAI 2013, 2013

Conjunctive Query Inseparability in OWL 2 QL is ExpTime-hard.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Informal Proceedings of the 26th International Workshop on Description Logics, Ulm, Germany, July 23, 2013

2012

Exchanging Description Logic Knowledge Bases.

[BibT_eX]

[DOI]

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference, 2012

DL-Lite with Attributes and Datatypes.

[BibT_eX]

[DOI]

Proceedings of the ECAI 2012, 2012

Representability in DL-Lite_R Knowledge Base Exchange.

[BibT_eX]

[DOI]

Proceedings of the 2012 International Workshop on Description Logics, 2012

2011

Tailoring Temporal Description Logics for Reasoning over Temporal Conceptual Models.

[BibT_eX]

[DOI]

Proceedings of the Frontiers of Combining Systems, 8th International Symposium, 2011

DL-Lite with Attributes and Sub-Roles (Extended Abstract).

[BibT_eX]

[DOI]

Yazmín Angélica Ibáñez-García

Proceedings of the 24th International Workshop on Description Logics (DL 2011), 2011

2010

Complexity of Reasoning over Temporal Data Models.

[BibT_eX]

[DOI]

Proceedings of the Conceptual Modeling, 2010

Temporal Conceptual Modelling with DL-Lite.

[BibT_eX]

[DOI]

Proceedings of the 23rd International Workshop on Description Logics (DL 2010), 2010

Past and Future of DL-Lite.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Fourth AAAI Conference on Artificial Intelligence, 2010

2009

<i>DL-Lite</i> with Temporalised Concepts, Rigid Axioms and Roles.

[BibT_eX]

[DOI]

Proceedings of the Frontiers of Combining Systems, 7th International Symposium, 2009

Extending DL-Lite Sometime in the Future.

[BibT_eX]

[DOI]

Proceedings of the 22nd International Workshop on Description Logics (DL 2009), 2009

2008

Checking DL-Lite Modularity with QBF Solvers.

[BibT_eX]

[DOI]

Frank Wolter

Proceedings of the 21st International Workshop on Description Logics (DL2008), 2008

2007

Reasoning over Extended ER Models.

[BibT_eX]

[DOI]

Proceedings of the Conceptual Modeling, 2007

Complexity of Reasoning in Entity Relationship Models.

[BibT_eX]

[DOI]