Egor V. Kostylev

Publication Activity (10 Years)

Years Active: 2009-2024
Publications (10 Years): 70

Top Topics

Expressive Power

Top Venues

Description Logics

Publications

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