Egor V. Kostylev

99 papers A* 30A 7C 1Misc 2Journal 30Unranked 28
YearRankTypeTitle / Venue / Authors
2026 J jnl
Semantically Reflected Programs.
TGDK
Eduard Kamburjan, Vidar Norstein Klungre, Yuanwei Qu, Rudolf Schlatte, Egor V. Kostylev, Martin Giese, Einar Broch Johnsen
2025 — conf
Description Logics with Epsilon Individuals.
DL
Anders Søberg, Martin Giese, Egor V. Kostylev
2025 — conf
Foundations of Graph Neural Networks (A Logician's View) (Invited Paper).
RW
Egor V. Kostylev
2025 A* conf
GLoRa: A Benchmark to Evaluate the Ability to Learn Long-Range Dependencies in Graphs.
ICLR
Dongzhuoran Zhou, Evgeny Kharlamov, Egor V. Kostylev
2025 J jnl
Semantically Reflected Programs.
CoRR
Eduard Kamburjan, Vidar Norstein Klungre, Yuanwei Qu, Rudolf Schlatte, Egor V. Kostylev, Martin Giese, Einar Broch Johnsen
2024 A* conf
A Characterisation Theorem for Two-Way Bisimulation-Invariant Monadic Least Fixpoint Logic Over Finite Structures.
LICS
Maximilian Pflueger, Johannes Marti, Egor V. Kostylev
2024 — conf
Compositional Generalization with Grounded Language Models.
ACL (Findings)
Sondre Wold, Étienne Simon, Lucas Georges Gabriel Charpentier, Egor V. Kostylev, Erik Velldal, Lilja Øvrelid
2024 J jnl
Compositional Generalization with Grounded Language Models.
CoRR
Sondre Wold, Étienne Simon, Lucas Georges Gabriel Charpentier, Egor V. Kostylev, Erik Velldal, Lilja Øvrelid
2024 — conf
Foundations of Ontology Template Language OTTR (Extended Abstract).
Description Logics
Erik Snilsberg, Leif Harald Karlsen, Egor V. Kostylev, Martin G. Skjæveland
2024 A* conf
Recurrent Graph Neural Networks and Their Connections to Bisimulation and Logic.
AAAI
Maximilian Pflueger, David Tena Cucala, Egor V. Kostylev
2024 J jnl
The Stable Model Semantics of Datalog with Metric Temporal Operators.
Theory Pract. Log. Program.
Przemyslaw Andrzej Walega, David J. Tena Cucala, Bernardo Cuenca Grau, Egor V. Kostylev
2024 J jnl
Two Variable Logic with Ultimately Periodic Counting.
SIAM J. Comput.
Michael Benedikt, Egor V. Kostylev, Tony Tan
2023 C conf
Inductive Future Time Prediction on Temporal Knowledge Graphs with Interval Time.
NeSy
Roxana Pop, Egor V. Kostylev
2023 A* conf
On the Correspondence Between Monotonic Max-Sum GNNs and Datalog.
KR
David Tena Cucala, Bernardo Cuenca Grau, Boris Motik, Egor V. Kostylev
2023 J jnl
On the Correspondence Between Monotonic Max-Sum GNNs and Datalog.
CoRR
David Tena Cucala, Bernardo Cuenca Grau, Boris Motik, Egor V. Kostylev
2023 — ed.
Proceedings of the 17th International Rule Challenge and 7th Doctoral Consortium @ RuleML+RR 2023 co-located with 19th Reasoning Web Summer School (RW 2023) and 15th DecisionCAMP 2023 as part of Declarative AI 2023, Oslo, Norway, 18 - 20 September, 2023.
RuleML+RR (Companion)
Jan Vanthienen, Tomás Kliegr, Paul Fodor, Davide Lanti, Dörthe Arndt, Egor V. Kostylev, Theodoros Mitsikas, Ahmet Soylu
2023 A* conf
Revisiting Inferential Benchmarks for Knowledge Graph Completion.
KR
Shuwen Liu, Bernardo Cuenca Grau, Ian Horrocks, Egor V. Kostylev
2023 J jnl
Revisiting Inferential Benchmarks for Knowledge Graph Completion.
CoRR
Shuwen Liu, Bernardo Cuenca Grau, Ian Horrocks, Egor V. Kostylev
2023 J jnl
The Stable Model Semantics of Datalog with Metric Temporal Operators.
CoRR
Przemyslaw Andrzej Walega, David J. Tena Cucala, Bernardo Cuenca Grau, Egor V. Kostylev
2022 — conf
Enhancing Knowledge Graph Generation with Ontology Reshaping - Bosch Case.
ESWC (Satellite Events)
Dongzhuoran Zhou, Baifan Zhou, Zhuoxun Zheng, Egor V. Kostylev, Gong Cheng, Ernesto Jiménez-Ruiz, Ahmet Soylu, Evgeny Kharlamov
2022 A* conf
Explainable GNN-Based Models over Knowledge Graphs.
ICLR
David Jaime Tena Cucala, Bernardo Cuenca Grau, Egor V. Kostylev, Boris Motik
2022 Misc conf
GNNQ: A Neuro-Symbolic Approach to Query Answering over Incomplete Knowledge Graphs.
ISWC
Maximilian Pflueger, David J. Tena Cucala, Egor V. Kostylev
2022 Misc conf
Ontology Reshaping for Knowledge Graph Construction: Applied on Bosch Welding Case.
ISWC
Dongzhuoran Zhou, Baifan Zhou, Zhuoxun Zheng, Ahmet Soylu, Gong Cheng, Ernesto Jiménez-Ruiz, Egor V. Kostylev, Evgeny Kharlamov
2022 A conf
ScheRe: Schema Reshaping for Enhancing Knowledge Graph Construction.
CIKM
Dongzhuoran Zhou, Baifan Zhou, Zhuoxun Zheng, Ahmet Soylu, Ognjen Savkovic, Egor V. Kostylev, Evgeny Kharlamov
2022 J jnl
The Complexity and Expressive Power of Limit Datalog.
J. ACM
Mark Kaminski, Egor V. Kostylev, Bernardo Cuenca Grau, Boris Motik, Ian Horrocks
2022 — conf
Towards Executable Knowledge Graph Translation.
ISWC (Posters/Demos/Industry)
Dongzhuoran Zhou, Baifan Zhou, Zhuoxun Zheng, Zhipeng Tan, Egor V. Kostylev, Evgeny Kharlamov
2022 J jnl
Towards Ontology Reshaping for KG Generation with User-in-the-Loop: Applied to Bosch Welding.
CoRR
Dongzhuoran Zhou, Baifan Zhou, Jieying Chen, Gong Cheng, Egor V. Kostylev, Evgeny Kharlamov
2021 A* conf
DatalogMTL with Negation Under Stable Models Semantics.
KR
Przemyslaw Andrzej Walega, David J. Tena Cucala, Egor V. Kostylev, Bernardo Cuenca Grau
2021 A* conf
INDIGO: GNN-Based Inductive Knowledge Graph Completion Using Pair-Wise Encoding.
NeurIPS
Shuwen Liu, Bernardo Cuenca Grau, Ian Horrocks, Egor V. Kostylev
2021 A* conf
Stratified Negation in Datalog with Metric Temporal Operators.
AAAI
David J. Tena Cucala, Przemyslaw Andrzej Walega, Bernardo Cuenca Grau, Egor V. Kostylev
2021 — conf
Towards Ontology Reshaping for KG Generation with User-in-the-Loop: Applied to Bosch Welding.
IJCKG
Dongzhuoran Zhou, Baifan Zhou, Jieying Chen, Gong Cheng, Egor V. Kostylev, Evgeny Kharlamov
2021 — conf
Type Checking Semantically Lifted Programs via Query Containment under Entailment Regimes.
Description Logics
Eduard Kamburjan, Egor V. Kostylev
2020 A* conf
Complexity and Expressive Power of Disjunction and Negation in Limit Datalog.
AAAI
Mark Kaminski, Bernardo Cuenca Grau, Egor V. Kostylev, Ian Horrocks
2020 A* conf
DatalogMTL over the Integer Timeline.
KR
Przemyslaw Andrzej Walega, Bernardo Cuenca Grau, Mark Kaminski, Egor V. Kostylev
2020 — conf
Declarative Data Analysis Using Limit Datalog Programs.
RW
Egor V. Kostylev
2020 J jnl
The Expressive Power of Graph Neural Networks as a Query Language.
SIGMOD Rec.
Pablo Barceló, Egor V. Kostylev, Mikaël Monet, Jorge Pérez, Juan L. Reutter, Juan Pablo Silva
2020 A* conf
The Logical Expressiveness of Graph Neural Networks.
ICLR
Pablo Barceló, Egor V. Kostylev, Mikaël Monet, Jorge Pérez, Juan L. Reutter, Juan Pablo Silva
2020 A* conf
Tractable Fragments of Datalog with Metric Temporal Operators.
IJCAI
Przemyslaw Andrzej Walega, Bernardo Cuenca Grau, Mark Kaminski, Egor V. Kostylev
2020 A* conf
Two Variable Logic with Ultimately Periodic Counting.
ICALP
Michael Benedikt, Egor V. Kostylev, Tony Tan
2020 J jnl
Two variable logic with ultimately periodic counting.
CoRR
Michael Benedikt, Egor V. Kostylev, Tony Tan
2019 — conf
Bag Semantics of DL-Lite with Functionality Axioms.
ISWC (1)
Gianluca Cima, Charalampos Nikolaou, Egor V. Kostylev, Mark Kaminski, Bernardo Cuenca Grau, Ian Horrocks
2019 — conf
Bagging the DL-Lite Family Further.
Description Logics
Gianluca Cima, Charalampos Nikolaou, Egor V. Kostylev, Mark Kaminski, Bernardo Cuenca Grau, Ian Horrocks
2019 A* conf
DatalogMTL: Computational Complexity and Expressive Power.
IJCAI
Przemyslaw Andrzej Walega, Bernardo Cuenca Grau, Mark Kaminski, Egor V. Kostylev
2019 J jnl
Foundations of ontology-based data access under bag semantics.
Artif. Intell.
Charalampos Nikolaou, Egor V. Kostylev, George Konstantinidis, Mark Kaminski, Bernardo Cuenca Grau, Ian Horrocks
2019 J jnl
Limit Datalog: A Declarative Query Language for Data Analysis.
SIGMOD Rec.
Bernardo Cuenca Grau, Ian Horrocks, Mark Kaminski, Egor V. Kostylev, Boris Motik
2019 J jnl
Logical Foundations of Linked Data Anonymisation.
J. Artif. Intell. Res.
Bernardo Cuenca Grau, Egor V. Kostylev
2019 — conf
Query-Based Entity Comparison in Knowledge Graphs Revisited.
ISWC (1)
Alina Petrova, Egor V. Kostylev, Bernardo Cuenca Grau, Ian Horrocks
2019 A* conf
Satisfaction and Implication of Integrity Constraints in Ontology-based Data Access.
IJCAI
Charalampos Nikolaou, Bernardo Cuenca Grau, Egor V. Kostylev, Mark Kaminski, Ian Horrocks
2019 J jnl
Subsumption of Weakly Well-Designed SPARQL Patterns is Undecidable.
CoRR
Mark Kaminski, Egor V. Kostylev
2019 — conf
Towards Explainable Entity Matching via Comparison Queries.
OM@ISWC
Alina Petrova, Egor V. Kostylev, Bernardo Cuenca Grau, Ian Horrocks
2018 J jnl
A Note on the Hardness of the Critical Tuple Problem.
CoRR
Egor V. Kostylev, Dan Suciu
2018 J jnl
Complexity and Expressive Power of Weakly Well-Designed SPARQL.
Theory Comput. Syst.
Mark Kaminski, Egor V. Kostylev
2018 J jnl
Containment of queries for graphs with data.
J. Comput. Syst. Sci.
Egor V. Kostylev, Juan L. Reutter, Domagoj Vrgoc
2018 A* conf
Estimating the Cardinality of Conjunctive Queries over RDF Data Using Graph Summarisation.
WWW
Giorgio Stefanoni, Boris Motik, Egor V. Kostylev
2018 J jnl
Estimating the Cardinality of Conjunctive Queries over RDF Data Using Graph Summarisation.
CoRR
Giorgio Stefanoni, Boris Motik, Egor V. Kostylev
2018 J jnl
Logical foundations of information disclosure in ontology-based data integration.
Artif. Intell.
Michael Benedikt, Bernardo Cuenca Grau, Egor V. Kostylev
2018 A* conf
Stratified Negation in Limit Datalog Programs.
IJCAI
Mark Kaminski, Bernardo Cuenca Grau, Egor V. Kostylev, Boris Motik, Ian Horrocks
2018 J jnl
Stratified Negation in Limit Datalog Programs.
CoRR
Mark Kaminski, Bernardo Cuenca Grau, Egor V. Kostylev, Boris Motik, Ian Horrocks
2017 — conf
A Note on Computing Certain Answers to Queries over Incomplete Databases.
AMW
Marcelo Arenas, Elena Botoeva, Egor V. Kostylev, Vladislav Ryzhikov
2017 A* conf
Foundations of Declarative Data Analysis Using Limit Datalog Programs.
IJCAI
Mark Kaminski, Bernardo Cuenca Grau, Egor V. Kostylev, Boris Motik, Ian Horrocks
2017 J jnl
Foundations of Declarative Data Analysis Using Limit Datalog Programs.
CoRR
Mark Kaminski, Bernardo Cuenca Grau, Egor V. Kostylev, Boris Motik, Ian Horrocks
2017 J jnl
Query Nesting, Assignment, and Aggregation in SPARQL 1.1.
ACM Trans. Database Syst.
Mark Kaminski, Egor V. Kostylev, Bernardo Cuenca Grau
2017 — conf
Ranking, Aggregation, and Reachability in Faceted Search with SemFacet.
ISWC (Posters, Demos & Industry Tracks)
Evgeny Kharlamov, Luca Giacomelli, Evgeny Sherkhonov, Bernardo Cuenca Grau, Egor V. Kostylev, Ian Horrocks
2017 A* conf
Reformulating Queries: Theory and Practice.
IJCAI
Michael Benedikt, Egor V. Kostylev, Fabio Mogavero, Efthymia Tsamoura
2017 A conf
SemFacet: Making Hard Faceted Search Easier.
CIKM
Evgeny Kharlamov, Luca Giacomelli, Evgeny Sherkhonov, Bernardo Cuenca Grau, Egor V. Kostylev, Ian Horrocks
2017 — conf
Semantic Faceted Search with Aggregation and Recursion.
ISWC (1)
Evgeny Sherkhonov, Bernardo Cuenca Grau, Evgeny Kharlamov, Egor V. Kostylev
2017 A* conf
Source Information Disclosure in Ontology-Based Data Integration.
AAAI
Michael Benedikt, Bernardo Cuenca Grau, Egor V. Kostylev
2017 A* conf
The Bag Semantics of Ontology-Based Data Access.
IJCAI
Charalampos Nikolaou, Egor V. Kostylev, George Konstantinidis, Mark Kaminski, Bernardo Cuenca Grau, Ian Horrocks
2017 J jnl
The Bag Semantics of Ontology-Based Data Access.
CoRR
Charalampos Nikolaou, Egor V. Kostylev, George Konstantinidis, Mark Kaminski, Bernardo Cuenca Grau, Ian Horrocks
2016 A conf
Beyond Well-designed SPARQL.
ICDT
Mark Kaminski, Egor V. Kostylev
2016 A* conf
Logical Foundations of Privacy-Preserving Publishing of Linked Data.
AAAI
Bernardo Cuenca Grau, Egor V. Kostylev
2016 — conf
Nested Constructs vs. Sub-Selects in SPARQL.
AMW
Axel Polleres, Juan L. Reutter, Egor V. Kostylev
2016 A* conf
On Expressibility of Non-Monotone Operators in SPARQL.
KR
Roman Kontchakov, Egor V. Kostylev
2016 A* conf
Reverse Engineering SPARQL Queries.
WWW
Marcelo Arenas, Gonzalo I. Diaz, Egor V. Kostylev
2016 A* conf
Semantics and Expressive Power of Subqueries and Aggregates in SPARQL 1.1.
WWW
Mark Kaminski, Egor V. Kostylev, Bernardo Cuenca Grau
2016 J jnl
Static analysis of navigational XPath over graph databases.
Inf. Process. Lett.
Egor V. Kostylev, Juan L. Reutter, Domagoj Vrgoc
2015 A conf
CONSTRUCT Queries in SPARQL.
ICDT
Egor V. Kostylev, Juan L. Reutter, Martín Ugarte
2015 J jnl
Complexity of answering counting aggregate queries over DL-Lite.
J. Web Semant.
Egor V. Kostylev, Juan L. Reutter
2015 A* conf
Controlled Query Evaluation for Datalog and OWL 2 Profile Ontologies.
IJCAI
Bernardo Cuenca Grau, Evgeny Kharlamov, Egor V. Kostylev, Dmitriy Zheleznyakov
2015 J jnl
Controlled Query Evaluation for Datalog and OWL 2 Profile Ontologies.
CoRR
Bernardo Cuenca Grau, Evgeny Kharlamov, Egor V. Kostylev, Dmitriy Zheleznyakov
2015 J jnl
Queries with negation and inequalities over lightweight ontologies.
J. Web Semant.
Víctor Gutiérrez-Basulto, Yazmín Angélica Ibáñez-García, Roman Kontchakov, Egor V. Kostylev
2015 — conf
SPARQL with Property Paths.
ISWC (1)
Egor V. Kostylev, Juan L. Reutter, Miguel Romero, Domagoj Vrgoc
2015 — conf
Semantics of SPARQL under OWL 2 Entailment Regimes.
Description Logics
Egor V. Kostylev, Bernardo Cuenca Grau
2015 A* conf
XPath for DL Ontologies.
AAAI
Egor V. Kostylev, Juan L. Reutter, Domagoj Vrgoc
2014 J jnl
Classification of annotation semirings over containment of conjunctive queries.
ACM Trans. Database Syst.
Egor V. Kostylev, Juan L. Reutter, András Z. Salamon
2014 A conf
Containment of Data Graph Queries.
ICDT
Egor V. Kostylev, Juan L. Reutter, Domagoj Vrgoc
2014 — conf
Controlled Query Evaluation over Lightweight Ontologies.
Description Logics
Bernardo Cuenca Grau, Evgeny Kharlamov, Egor V. Kostylev, Dmitriy Zheleznyakov
2014 — conf
On the Semantics of SPARQL Queries with Optional Matching under Entailment Regimes.
ISWC (2)
Egor V. Kostylev, Bernardo Cuenca Grau
2014 — conf
XPath for DL-Lite Ontologies.
Description Logics
Egor V. Kostylev, Juan L. Reutter, Domagoj Vrgoc
2013 A conf
Annotations are relative.
ICDT
Peter Buneman, Egor V. Kostylev, Stijn Vansummeren
2013 A* conf
Answering Counting Aggregate Queries over Ontologies of the DL-Lite Family.
AAAI
Egor V. Kostylev, Juan L. Reutter
2013 — conf
Complexity of Answering Counting Aggregate Queries over DL-Lite.
Description Logics
Egor V. Kostylev, Juan L. Reutter
2013 — conf
Conjunctive Queries with Negation over DL-Lite: A Closer Look.
RR
Víctor Gutiérrez-Basulto, Yazmín Angélica Ibáñez-García, Roman Kontchakov, Egor V. Kostylev
2013 — conf
Controlled Query Evaluation over OWL 2 RL Ontologies.
ISWC (1)
Bernardo Cuenca Grau, Evgeny Kharlamov, Egor V. Kostylev, Dmitriy Zheleznyakov
2012 A* conf
Classification of annotation semirings over query containment.
PODS
Egor V. Kostylev, Juan L. Reutter, András Z. Salamon
2012 A conf
Combining dependent annotations for relational algebra.
ICDT
Egor V. Kostylev, Peter Buneman
2012 — conf
Hierarchical Models of Provenance.
TaPP
Peter Buneman, James Cheney, Egor V. Kostylev
2010 — conf
Annotation algebras for RDFS Data.
SWPM@ISWC
Peter Buneman, Egor V. Kostylev
2009 — conf
Anti-unification Algorithms and Their Applications in Program Analysis.
Ershov Memorial Conference
Peter E. Bulychev, Egor V. Kostylev, Vladimir A. Zakharov