Anti-unification Algorithms and Their Applications in Program Analysis. - Peter E. Bulychev; Egor V. Kostylev; Vladimir A. Zakharov (Ershov Memorial Conference, 2009)

Annotation algebras for RDFS Data. - Peter Buneman; Egor V. Kostylev (SWPM@ISWC, 2010)

Combining dependent annotations for relational algebra. - Egor V. Kostylev; Peter Buneman (ICDT, 2012)

Classification of annotation semirings over query containment. - Egor V. Kostylev; Juan L. Reutter; András Z. Salamon (PODS, 2012)

Hierarchical Models of Provenance. - Peter Buneman; James Cheney; Egor V. Kostylev (TaPP, 2012)

Answering Counting Aggregate Queries over Ontologies of the DL-Lite Family. - Egor V. Kostylev; Juan L. Reutter (AAAI, 2013)

Annotations are relative. - Peter Buneman; Egor V. Kostylev; Stijn Vansummeren (ICDT, 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 (RR, 2013)

Controlled Query Evaluation over OWL 2 RL Ontologies. - Bernardo Cuenca Grau; Evgeny Kharlamov; Egor V. Kostylev; Dmitriy Zheleznyakov (ISWC (1), 2013)

Controlled Query Evaluation over Lightweight Ontologies. - Bernardo Cuenca Grau; Evgeny Kharlamov; Egor V. Kostylev; Dmitriy Zheleznyakov (Description Logics, 2014)

XPath for DL-Lite Ontologies. - Egor V. Kostylev; Juan L. Reutter; Domagoj Vrgoc (Description Logics, 2014)

Containment of Data Graph Queries. - Egor V. Kostylev; Juan L. Reutter; Domagoj Vrgoc (ICDT, 2014)

On the Semantics of SPARQL Queries with Optional Matching under Entailment Regimes. - Egor V. Kostylev; Bernardo Cuenca Grau (ISWC (2), 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)

XPath for DL Ontologies. - Egor V. Kostylev; Juan L. Reutter; Domagoj Vrgoc (AAAI, 2015)

Semantics of SPARQL under OWL 2 Entailment Regimes. - Egor V. Kostylev; Bernardo Cuenca Grau (Description Logics, 2015)

CONSTRUCT Queries in SPARQL. - Egor V. Kostylev; Juan L. Reutter; Martín Ugarte (ICDT, 2015)

Controlled Query Evaluation for Datalog and OWL 2 Profile Ontologies. - Bernardo Cuenca Grau; Evgeny Kharlamov; Egor V. Kostylev; Dmitriy Zheleznyakov (IJCAI, 2015)

SPARQL with Property Paths. - Egor V. Kostylev; Juan L. Reutter; Miguel Romero 001; Domagoj Vrgoc (ISWC (1), 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)

Complexity of answering counting aggregate queries over DL-Lite. - Egor V. Kostylev; Juan L. Reutter (J. Web Semant., 2015)

Logical Foundations of Privacy-Preserving Publishing of Linked Data. - Bernardo Cuenca Grau; Egor V. Kostylev (AAAI, 2016)

Nested Constructs vs. Sub-Selects in SPARQL. - Axel Polleres; Juan L. Reutter; Egor V. Kostylev (AMW, 2016)

Beyond Well-designed SPARQL. - Mark Kaminski; Egor V. Kostylev (ICDT, 2016)

On Expressibility of Non-Monotone Operators in SPARQL. - Roman Kontchakov; Egor V. Kostylev (KR, 2016)

Reverse Engineering SPARQL Queries. - Marcelo Arenas; Gonzalo I. Diaz; Egor V. Kostylev (WWW, 2016)

Semantics and Expressive Power of Subqueries and Aggregates in SPARQL 1.1. - Mark Kaminski; Egor V. Kostylev; Bernardo Cuenca Grau (WWW, 2016)

Static analysis of navigational XPath over graph databases. - Egor V. Kostylev; Juan L. Reutter; Domagoj Vrgoc (Inf. Process. Lett., 2016)

Source Information Disclosure in Ontology-Based Data Integration. - Michael Benedikt; Bernardo Cuenca Grau; Egor V. Kostylev (AAAI, 2017)

A Note on Computing Certain Answers to Queries over Incomplete Databases. - Marcelo Arenas; Elena Botoeva; Egor V. Kostylev; Vladislav Ryzhikov (AMW, 2017)

SemFacet: Making Hard Faceted Search Easier. - Evgeny Kharlamov; Luca Giacomelli; Evgeny Sherkhonov; Bernardo Cuenca Grau; Egor V. Kostylev; Ian Horrocks 001 (CIKM, 2017)

Reformulating Queries: Theory and Practice. - Michael Benedikt; Egor V. Kostylev; Fabio Mogavero; Efthymia Tsamoura (IJCAI, 2017)

Foundations of Declarative Data Analysis Using Limit Datalog Programs. - Mark Kaminski; Bernardo Cuenca Grau; Egor V. Kostylev; Boris Motik; Ian Horrocks 001 (IJCAI, 2017)

The Bag Semantics of Ontology-Based Data Access. - Charalampos Nikolaou; Egor V. Kostylev; George Konstantinidis 001; Mark Kaminski; Bernardo Cuenca Grau; Ian Horrocks 001 (IJCAI, 2017)

Ranking, Aggregation, and Reachability in Faceted Search with SemFacet. - Evgeny Kharlamov; Luca Giacomelli; Evgeny Sherkhonov; Bernardo Cuenca Grau; Egor V. Kostylev; Ian Horrocks 001 (ISWC (Posters, Demos & Industry Tracks), 2017)

Semantic Faceted Search with Aggregation and Recursion. - Evgeny Sherkhonov; Bernardo Cuenca Grau; Evgeny Kharlamov; Egor V. Kostylev (ISWC (1), 2017)

Query Nesting, Assignment, and Aggregation in SPARQL 1.1. - Mark Kaminski; Egor V. Kostylev; Bernardo Cuenca Grau (ACM Trans. Database Syst., 2017)

Stratified Negation in Limit Datalog Programs. - Mark Kaminski; Bernardo Cuenca Grau; Egor V. Kostylev; Boris Motik; Ian Horrocks 001 (IJCAI, 2018)

Estimating the Cardinality of Conjunctive Queries over RDF Data Using Graph Summarisation. - Giorgio Stefanoni; Boris Motik; Egor V. Kostylev (WWW, 2018)

Logical foundations of information disclosure in ontology-based data integration. - Michael Benedikt; Bernardo Cuenca Grau; Egor V. Kostylev (Artif. Intell., 2018)

A Note on the Hardness of the Critical Tuple Problem. - Egor V. Kostylev; Dan Suciu (CoRR, 2018)

Containment of queries for graphs with data. - Egor V. Kostylev; Juan L. Reutter; Domagoj Vrgoc (J. Comput. Syst. Sci., 2018)

Complexity and Expressive Power of Weakly Well-Designed SPARQL. - Mark Kaminski; Egor V. Kostylev (Theory Comput. Syst., 2018)

Bagging the DL-Lite Family Further. - Gianluca Cima; Charalampos Nikolaou; Egor V. Kostylev; Mark Kaminski; Bernardo Cuenca Grau; Ian Horrocks 001 (Description Logics, 2019)

Satisfaction and Implication of Integrity Constraints in Ontology-based Data Access. - Charalampos Nikolaou; Bernardo Cuenca Grau; Egor V. Kostylev; Mark Kaminski; Ian Horrocks 001 (IJCAI, 2019)

DatalogMTL: Computational Complexity and Expressive Power. - Przemyslaw Andrzej Walega; Bernardo Cuenca Grau; Mark Kaminski; Egor V. Kostylev (IJCAI, 2019)

Bag Semantics of DL-Lite with Functionality Axioms. - Gianluca Cima; Charalampos Nikolaou; Egor V. Kostylev; Mark Kaminski; Bernardo Cuenca Grau; Ian Horrocks 001 (ISWC (1), 2019)

Query-Based Entity Comparison in Knowledge Graphs Revisited. - Alina Petrova; Egor V. Kostylev; Bernardo Cuenca Grau; Ian Horrocks 001 (ISWC (1), 2019)

Towards Explainable Entity Matching via Comparison Queries. - Alina Petrova; Egor V. Kostylev; Bernardo Cuenca Grau; Ian Horrocks 001 (OM@ISWC, 2019)

Foundations of ontology-based data access under bag semantics. - Charalampos Nikolaou; Egor V. Kostylev; George Konstantinidis 001; Mark Kaminski; Bernardo Cuenca Grau; Ian Horrocks 001 (Artif. Intell., 2019)

Subsumption of Weakly Well-Designed SPARQL Patterns is Undecidable. - Mark Kaminski; Egor V. Kostylev (CoRR, 2019)

Logical Foundations of Linked Data Anonymisation. - Bernardo Cuenca Grau; Egor V. Kostylev (J. Artif. Intell. Res., 2019)

Limit Datalog: A Declarative Query Language for Data Analysis. - Bernardo Cuenca Grau; Ian Horrocks 001; Mark Kaminski; Egor V. Kostylev; Boris Motik (SIGMOD Rec., 2019)

Complexity and Expressive Power of Disjunction and Negation in Limit Datalog. - Mark Kaminski; Bernardo Cuenca Grau; Egor V. Kostylev; Ian Horrocks 001 (AAAI, 2020)

The Logical Expressiveness of Graph Neural Networks. - Pablo Barceló; Egor V. Kostylev; Mikaël Monet; Jorge Pérez 001; Juan L. Reutter; Juan Pablo Silva (ICLR, 2020)

Tractable Fragments of Datalog with Metric Temporal Operators. - Przemyslaw Andrzej Walega; Bernardo Cuenca Grau; Mark Kaminski; Egor V. Kostylev (IJCAI, 2020)

DatalogMTL over the Integer Timeline. - Przemyslaw Andrzej Walega; Bernardo Cuenca Grau; Mark Kaminski; Egor V. Kostylev (KR, 2020)

Declarative Data Analysis Using Limit Datalog Programs. - Egor V. Kostylev (RW, 2020)

The Expressive Power of Graph Neural Networks as a Query Language. - Pablo Barceló; Egor V. Kostylev; Mikaël Monet; Jorge Pérez 001; Juan L. Reutter; Juan Pablo Silva (SIGMOD Rec., 2020)

Stratified Negation in Datalog with Metric Temporal Operators. - David J. Tena Cucala; Przemyslaw Andrzej Walega; Bernardo Cuenca Grau; Egor V. Kostylev (AAAI, 2021)

Type Checking Semantically Lifted Programs via Query Containment under Entailment Regimes. - Eduard Kamburjan; Egor V. Kostylev (Description Logics, 2021)

Towards Ontology Reshaping for KG Generation with User-in-the-Loop: Applied to Bosch Welding. - Dongzhuoran Zhou; Baifan Zhou; Jieying Chen 001; Gong Cheng 001; Egor V. Kostylev; Evgeny Kharlamov (IJCKG, 2021)

DatalogMTL with Negation Under Stable Models Semantics. - Przemyslaw Andrzej Walega; David J. Tena Cucala; Egor V. Kostylev; Bernardo Cuenca Grau (KR, 2021)

INDIGO: GNN-Based Inductive Knowledge Graph Completion Using Pair-Wise Encoding. - Shuwen Liu 007; Bernardo Cuenca Grau; Ian Horrocks 001; Egor V. Kostylev (NeurIPS, 2021)

ScheRe: Schema Reshaping for Enhancing Knowledge Graph Construction. - Dongzhuoran Zhou; Baifan Zhou; Zhuoxun Zheng; Ahmet Soylu; Ognjen Savkovic; Egor V. Kostylev; Evgeny Kharlamov (CIKM, 2022)

Enhancing Knowledge Graph Generation with Ontology Reshaping - Bosch Case. - Dongzhuoran Zhou; Baifan Zhou; Zhuoxun Zheng; Egor V. Kostylev; Gong Cheng 001; Ernesto Jiménez-Ruiz; Ahmet Soylu; Evgeny Kharlamov (ESWC (Satellite Events), 2022)

Explainable GNN-Based Models over Knowledge Graphs. - David Jaime Tena Cucala; Bernardo Cuenca Grau; Egor V. Kostylev; Boris Motik (ICLR, 2022)

GNNQ: A Neuro-Symbolic Approach to Query Answering over Incomplete Knowledge Graphs. - Maximilian Pflueger; David J. Tena Cucala; Egor V. Kostylev (ISWC, 2022)

Ontology Reshaping for Knowledge Graph Construction: Applied on Bosch Welding Case. - Dongzhuoran Zhou; Baifan Zhou; Zhuoxun Zheng; Ahmet Soylu; Gong Cheng 001; Ernesto Jiménez-Ruiz; Egor V. Kostylev; Evgeny Kharlamov (ISWC, 2022)

Towards Executable Knowledge Graph Translation. - Dongzhuoran Zhou; Baifan Zhou; Zhuoxun Zheng; Zhipeng Tan; Egor V. Kostylev; Evgeny Kharlamov (ISWC (Posters/Demos/Industry), 2022)

The Complexity and Expressive Power of Limit Datalog. - Mark Kaminski; Egor V. Kostylev; Bernardo Cuenca Grau; Boris Motik; Ian Horrocks 001 (J. ACM, 2022)

Revisiting Inferential Benchmarks for Knowledge Graph Completion. - Shuwen Liu 007; Bernardo Cuenca Grau; Ian Horrocks 001; Egor V. Kostylev (KR, 2023)

On the Correspondence Between Monotonic Max-Sum GNNs and Datalog. - David Tena Cucala; Bernardo Cuenca Grau; Boris Motik; Egor V. Kostylev (KR, 2023)

Inductive Future Time Prediction on Temporal Knowledge Graphs with Interval Time. - Roxana Pop; Egor V. Kostylev (NeSy, 2023)

Recurrent Graph Neural Networks and Their Connections to Bisimulation and Logic. - Maximilian Pflueger; David Tena Cucala; Egor V. Kostylev (AAAI, 2024)

Compositional Generalization with Grounded Language Models. - Sondre Wold; Étienne Simon; Lucas Georges Gabriel Charpentier; Egor V. Kostylev; Erik Velldal; Lilja Øvrelid (ACL (Findings), 2024)

Foundations of Ontology Template Language OTTR (Extended Abstract). - Erik Snilsberg; Leif Harald Karlsen; Egor V. Kostylev; Martin G. Skjæveland (Description Logics, 2024)

A Characterisation Theorem for Two-Way Bisimulation-Invariant Monadic Least Fixpoint Logic Over Finite Structures. - Maximilian Pflueger; Johannes Marti; Egor V. Kostylev (LICS, 2024)

Two Variable Logic with Ultimately Periodic Counting. - Michael Benedikt; Egor V. Kostylev; Tony Tan (SIAM J. Comput., 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., 2024)

GLoRa: A Benchmark to Evaluate the Ability to Learn Long-Range Dependencies in Graphs. - Dongzhuoran Zhou; Evgeny Kharlamov; Egor V. Kostylev (ICLR, 2025)