Egor V. Kostylev

According to our database, Egor V. Kostylev authored at least 80 papers between 2009 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

The Stable Model Semantics of Datalog with Metric Temporal Operators.

Przemyslaw Andrzej Walega, David J. Tena Cucala, Bernardo Cuenca Grau, Egor V. Kostylev

Theory Pract. Log. Program., January, 2024

Two Variable Logic with Ultimately Periodic Counting.

Michael Benedikt, Egor V. Kostylev, Tony Tan

SIAM J. Comput., 2024

A Characterisation Theorem for Two-Way Bisimulation-Invariant Monadic Least Fixpoint Logic Over Finite Structures.

Maximilian Pflueger, Johannes Marti, Egor V. Kostylev

Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science, 2024

Foundations of Ontology Template Language OTTR (Extended Abstract).

Erik Snilsberg, Leif Harald Karlsen, Egor V. Kostylev, Martin G. Skjæveland

Proceedings of the 37th International Workshop on Description Logics (DL 2024), 2024

Compositional Generalization with Grounded Language Models.

Sondre Wold, Étienne Simon, Lucas Georges Gabriel Charpentier, Egor V. Kostylev, Erik Velldal, Lilja Øvrelid

Proceedings of the Findings of the Association for Computational Linguistics, 2024

Recurrent Graph Neural Networks and Their Connections to Bisimulation and Logic.

Maximilian Pflueger, David Tena Cucala, Egor V. Kostylev

Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024

2023

Inductive Future Time Prediction on Temporal Knowledge Graphs with Interval Time.

Roxana Pop, Egor V. Kostylev

Proceedings of the 17th International Workshop on Neural-Symbolic Learning and Reasoning, 2023

On the Correspondence Between Monotonic Max-Sum GNNs and Datalog.

David Tena Cucala, Bernardo Cuenca Grau, Boris Motik, Egor V. Kostylev

Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning, 2023

Revisiting Inferential Benchmarks for Knowledge Graph Completion.

Shuwen Liu, Bernardo Cuenca Grau, Ian Horrocks, Egor V. Kostylev

Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning, 2023

2022

The Complexity and Expressive Power of Limit Datalog.

Mark Kaminski, Egor V. Kostylev, Bernardo Cuenca Grau, Boris Motik, Ian Horrocks

J. ACM, 2022

Towards Executable Knowledge Graph Translation.

Dongzhuoran Zhou, Baifan Zhou, Zhuoxun Zheng, Zhipeng Tan, Egor V. Kostylev, Evgeny Kharlamov

Proceedings of the ISWC 2022 Posters, 2022

Ontology Reshaping for Knowledge Graph Construction: Applied on Bosch Welding Case.

Dongzhuoran Zhou, Baifan Zhou, Zhuoxun Zheng, Ahmet Soylu, Gong Cheng, Ernesto Jiménez-Ruiz, Egor V. Kostylev, Evgeny Kharlamov

Proceedings of the Semantic Web - ISWC 2022, 2022

GNNQ: A Neuro-Symbolic Approach to Query Answering over Incomplete Knowledge Graphs.

Maximilian Pflueger, David J. Tena Cucala, Egor V. Kostylev

Proceedings of the Semantic Web - ISWC 2022, 2022

Explainable GNN-Based Models over Knowledge Graphs.

David Jaime Tena Cucala, Bernardo Cuenca Grau, Egor V. Kostylev, Boris Motik

Proceedings of the Tenth International Conference on Learning Representations, 2022

Enhancing Knowledge Graph Generation with Ontology Reshaping - Bosch Case.

Dongzhuoran Zhou, Baifan Zhou, Zhuoxun Zheng, Egor V. Kostylev, Gong Cheng, Ernesto Jiménez-Ruiz, Ahmet Soylu, Evgeny Kharlamov

Proceedings of the Semantic Web: ESWC 2022 Satellite Events - Hersonissos, Crete, Greece, May 29, 2022

ScheRe: Schema Reshaping for Enhancing Knowledge Graph Construction.

Dongzhuoran Zhou, Baifan Zhou, Zhuoxun Zheng, Ahmet Soylu, Ognjen Savkovic, Egor V. Kostylev, Evgeny Kharlamov

Proceedings of the 31st ACM International Conference on Information & Knowledge Management, 2022

2021

INDIGO: GNN-Based Inductive Knowledge Graph Completion Using Pair-Wise Encoding.

Shuwen Liu, Bernardo Cuenca Grau, Ian Horrocks, Egor V. Kostylev

Proceedings of the Advances in Neural Information Processing Systems 34: Annual Conference on Neural Information Processing Systems 2021, 2021

DatalogMTL with Negation Under Stable Models Semantics.

Przemyslaw Andrzej Walega, David J. Tena Cucala, Egor V. Kostylev, Bernardo Cuenca Grau

Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning, 2021

Towards Ontology Reshaping for KG Generation with User-in-the-Loop: Applied to Bosch Welding.

Dongzhuoran Zhou, Baifan Zhou, Jieying Chen, Gong Cheng, Egor V. Kostylev, Evgeny Kharlamov

Proceedings of the IJCKG'21: The 10th International Joint Conference on Knowledge Graphs, Virtual Event, Thailand, December 6, 2021

Type Checking Semantically Lifted Programs via Query Containment under Entailment Regimes.

Eduard Kamburjan, Egor V. Kostylev

Proceedings of the 34th International Workshop on Description Logics (DL 2021) part of Bratislava Knowledge September (BAKS 2021), 2021

Stratified Negation in Datalog with Metric Temporal Operators.

David J. Tena Cucala, Przemyslaw Andrzej Walega, Bernardo Cuenca Grau, Egor V. Kostylev

Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021

2020

The Expressive Power of Graph Neural Networks as a Query Language.

Pablo Barceló, Egor V. Kostylev, Mikaël Monet, Jorge Pérez, Juan L. Reutter, Juan Pablo Silva

SIGMOD Rec., 2020

Declarative Data Analysis Using Limit Datalog Programs.

Egor V. Kostylev

Proceedings of the Reasoning Web. Declarative Artificial Intelligence, 2020

DatalogMTL over the Integer Timeline.

Przemyslaw Andrzej Walega, Bernardo Cuenca Grau, Mark Kaminski, Egor V. Kostylev

Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, 2020

Tractable Fragments of Datalog with Metric Temporal Operators.

Przemyslaw Andrzej Walega, Bernardo Cuenca Grau, Mark Kaminski, Egor V. Kostylev

Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, 2020

The Logical Expressiveness of Graph Neural Networks.

Pablo Barceló, Egor V. Kostylev, Mikaël Monet, Jorge Pérez, Juan L. Reutter, Juan Pablo Silva

Proceedings of the 8th International Conference on Learning Representations, 2020

Complexity and Expressive Power of Disjunction and Negation in Limit Datalog.

Mark Kaminski, Bernardo Cuenca Grau, Egor V. Kostylev, Ian Horrocks

Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020

2019

Limit Datalog: A Declarative Query Language for Data Analysis.

Bernardo Cuenca Grau, Ian Horrocks, Mark Kaminski, Egor V. Kostylev, Boris Motik

SIGMOD Rec., 2019

Logical Foundations of Linked Data Anonymisation.

Bernardo Cuenca Grau, Egor V. Kostylev

J. Artif. Intell. Res., 2019

Subsumption of Weakly Well-Designed SPARQL Patterns is Undecidable.

Mark Kaminski, Egor V. Kostylev

CoRR, 2019

Foundations of ontology-based data access under bag semantics.

Charalampos Nikolaou, Egor V. Kostylev, George Konstantinidis, Mark Kaminski, Bernardo Cuenca Grau, Ian Horrocks

Artif. Intell., 2019

Towards Explainable Entity Matching via Comparison Queries.

Alina Petrova, Egor V. Kostylev, Bernardo Cuenca Grau, Ian Horrocks

Proceedings of the 14th International Workshop on Ontology Matching co-located with the 18th International Semantic Web Conference (ISWC 2019), 2019

Query-Based Entity Comparison in Knowledge Graphs Revisited.

Alina Petrova, Egor V. Kostylev, Bernardo Cuenca Grau, Ian Horrocks

Proceedings of the Semantic Web - ISWC 2019, 2019

Bag Semantics of DL-Lite with Functionality Axioms.

Gianluca Cima, Charalampos Nikolaou, Egor V. Kostylev, Mark Kaminski, Bernardo Cuenca Grau, Ian Horrocks

Proceedings of the Semantic Web - ISWC 2019, 2019

DatalogMTL: Computational Complexity and Expressive Power.

Przemyslaw Andrzej Walega, Bernardo Cuenca Grau, Mark Kaminski, Egor V. Kostylev

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

Satisfaction and Implication of Integrity Constraints in Ontology-based Data Access.

Charalampos Nikolaou, Bernardo Cuenca Grau, Egor V. Kostylev, Mark Kaminski, Ian Horrocks

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

Bagging the DL-Lite Family Further.

Gianluca Cima, Charalampos Nikolaou, Egor V. Kostylev, Mark Kaminski, Bernardo Cuenca Grau, Ian Horrocks

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

2018

Complexity and Expressive Power of Weakly Well-Designed SPARQL.

Mark Kaminski, Egor V. Kostylev

Theory Comput. Syst., 2018

Containment of queries for graphs with data.

Egor V. Kostylev, Juan L. Reutter, Domagoj Vrgoc

J. Comput. Syst. Sci., 2018

A Note on the Hardness of the Critical Tuple Problem.

Egor V. Kostylev, Dan Suciu

CoRR, 2018

Logical foundations of information disclosure in ontology-based data integration.

Michael Benedikt, Bernardo Cuenca Grau, Egor V. Kostylev

Artif. Intell., 2018

Estimating the Cardinality of Conjunctive Queries over RDF Data Using Graph Summarisation.

Giorgio Stefanoni, Boris Motik, Egor V. Kostylev

Proceedings of the 2018 World Wide Web Conference on World Wide Web, 2018

Stratified Negation in Limit Datalog Programs.

Mark Kaminski, Bernardo Cuenca Grau, Egor V. Kostylev, Boris Motik, Ian Horrocks

Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018

2017

Query Nesting, Assignment, and Aggregation in SPARQL 1.1.

Mark Kaminski, Egor V. Kostylev, Bernardo Cuenca Grau

ACM Trans. Database Syst., 2017

Semantic Faceted Search with Aggregation and Recursion.

Evgeny Sherkhonov, Bernardo Cuenca Grau, Evgeny Kharlamov, Egor V. Kostylev

Proceedings of the Semantic Web - ISWC 2017, 2017

Ranking, Aggregation, and Reachability in Faceted Search with SemFacet.

Evgeny Kharlamov, Luca Giacomelli, Evgeny Sherkhonov, Bernardo Cuenca Grau, Egor V. Kostylev, Ian Horrocks

Proceedings of the ISWC 2017 Posters & Demonstrations and Industry Tracks co-located with 16th International Semantic Web Conference (ISWC 2017), Vienna, Austria, October 23rd - to, 2017

The Bag Semantics of Ontology-Based Data Access.

Charalampos Nikolaou, Egor V. Kostylev, George Konstantinidis, Mark Kaminski, Bernardo Cuenca Grau, Ian Horrocks

Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

Foundations of Declarative Data Analysis Using Limit Datalog Programs.

Mark Kaminski, Bernardo Cuenca Grau, Egor V. Kostylev, Boris Motik, Ian Horrocks

Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

Reformulating Queries: Theory and Practice.

Michael Benedikt, Egor V. Kostylev, Fabio Mogavero, Efthymia Tsamoura

Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

SemFacet: Making Hard Faceted Search Easier.

Evgeny Kharlamov, Luca Giacomelli, Evgeny Sherkhonov, Bernardo Cuenca Grau, Egor V. Kostylev, Ian Horrocks

Proceedings of the 2017 ACM on Conference on Information and Knowledge Management, 2017

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

Marcelo Arenas, Elena Botoeva, Egor V. Kostylev, Vladislav Ryzhikov

Proceedings of the 11th Alberto Mendelzon International Workshop on Foundations of Data Management and the Web, 2017

Source Information Disclosure in Ontology-Based Data Integration.

Michael Benedikt, Bernardo Cuenca Grau, Egor V. Kostylev

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

2016

Static analysis of navigational XPath over graph databases.

Egor V. Kostylev, Juan L. Reutter, Domagoj Vrgoc

Inf. Process. Lett., 2016

Semantics and Expressive Power of Subqueries and Aggregates in SPARQL 1.1.

Mark Kaminski, Egor V. Kostylev, Bernardo Cuenca Grau

Proceedings of the 25th International Conference on World Wide Web, 2016

Reverse Engineering SPARQL Queries.

Marcelo Arenas, Gonzalo I. Diaz, Egor V. Kostylev

Proceedings of the 25th International Conference on World Wide Web, 2016

On Expressibility of Non-Monotone Operators in SPARQL.

Roman Kontchakov, Egor V. Kostylev

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fifteenth International Conference, 2016

Beyond Well-designed SPARQL.

Mark Kaminski, Egor V. Kostylev

Proceedings of the 19th International Conference on Database Theory, 2016

Nested Constructs vs. Sub-Selects in SPARQL.

Axel Polleres, Juan L. Reutter, Egor V. Kostylev

Proceedings of the 10th Alberto Mendelzon International Workshop on Foundations of Data Management, 2016

Logical Foundations of Privacy-Preserving Publishing of Linked Data.

Bernardo Cuenca Grau, Egor V. Kostylev

Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, 2016

2015

Complexity of answering counting aggregate queries over DL-Lite.

Egor V. Kostylev, Juan L. Reutter

J. Web Semant., 2015

Queries with negation and inequalities over lightweight ontologies.

Víctor Gutiérrez-Basulto, Yazmín Angélica Ibáñez-García, Roman Kontchakov, Egor V. Kostylev

J. Web Semant., 2015

SPARQL with Property Paths.

Egor V. Kostylev, Juan L. Reutter, Miguel Romero, Domagoj Vrgoc

Proceedings of the Semantic Web - ISWC 2015, 2015

Controlled Query Evaluation for Datalog and OWL 2 Profile Ontologies.

Bernardo Cuenca Grau, Evgeny Kharlamov, Egor V. Kostylev, Dmitriy Zheleznyakov

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

CONSTRUCT Queries in SPARQL.

Egor V. Kostylev, Juan L. Reutter, Martín Ugarte

Proceedings of the 18th International Conference on Database Theory, 2015

Semantics of SPARQL under OWL 2 Entailment Regimes.

Egor V. Kostylev, Bernardo Cuenca Grau

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

XPath for DL Ontologies.

Egor V. Kostylev, Juan L. Reutter, Domagoj Vrgoc

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

2014

Classification of annotation semirings over containment of conjunctive queries.

Egor V. Kostylev, Juan L. Reutter, András Z. Salamon

ACM Trans. Database Syst., 2014

On the Semantics of SPARQL Queries with Optional Matching under Entailment Regimes.

Egor V. Kostylev, Bernardo Cuenca Grau

Proceedings of the Semantic Web - ISWC 2014, 2014

Containment of Data Graph Queries.

Egor V. Kostylev, Juan L. Reutter, Domagoj Vrgoc

Proceedings of the Proc. 17th International Conference on Database Theory (ICDT), 2014

XPath for DL-Lite Ontologies.

Egor V. Kostylev, Juan L. Reutter, Domagoj Vrgoc

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

Controlled Query Evaluation over Lightweight Ontologies.

Bernardo Cuenca Grau, Evgeny Kharlamov, Egor V. Kostylev, Dmitriy Zheleznyakov

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

2013

Controlled Query Evaluation over OWL 2 RL Ontologies.

Bernardo Cuenca Grau, Evgeny Kharlamov, Egor V. Kostylev, Dmitriy Zheleznyakov

Proceedings of the Semantic Web - ISWC 2013, 2013

Conjunctive Queries with Negation over DL-Lite: A Closer Look.

Víctor Gutiérrez-Basulto, Yazmín Angélica Ibáñez-García, Roman Kontchakov, Egor V. Kostylev

Proceedings of the Web Reasoning and Rule Systems - 7th International Conference, 2013

Annotations are relative.

Peter Buneman, Egor V. Kostylev, Stijn Vansummeren

Proceedings of the Joint 2013 EDBT/ICDT Conferences, 2013

Answering Counting Aggregate Queries over Ontologies of the DL-Lite Family.

Egor V. Kostylev, Juan L. Reutter

Proceedings of the Twenty-Seventh AAAI Conference on Artificial Intelligence, 2013

2012

Hierarchical Models of Provenance.

Peter Buneman, James Cheney, Egor V. Kostylev

Proceedings of the 4th Workshop on the Theory and Practice of Provenance, 2012

Classification of annotation semirings over query containment.

Egor V. Kostylev, Juan L. Reutter, András Z. Salamon

Proceedings of the 31st ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, 2012

Combining dependent annotations for relational algebra.

Egor V. Kostylev, Peter Buneman

Proceedings of the 15th International Conference on Database Theory, 2012

2010

Annotation algebras for RDFS Data.

Peter Buneman, Egor V. Kostylev

Proceedings of the Second International Workshop on the role of Semantic Web in Provenance Management, 2010

2009

Anti-unification Algorithms and Their Applications in Program Analysis.

Peter E. Bulychev, Egor V. Kostylev, Vladimir A. Zakharov

Proceedings of the Perspectives of Systems Informatics, 2009