BibTeX records: Egor V. Kostylev

download as .bib file

@article{DBLP:journals/tplp/WalegaCGK24,
  author       = {Przemyslaw Andrzej Walega and
                  David J. Tena Cucala and
                  Bernardo Cuenca Grau and
                  Egor V. Kostylev},
  title        = {The Stable Model Semantics of Datalog with Metric Temporal Operators},
  journal      = {Theory Pract. Log. Program.},
  volume       = {24},
  number       = {1},
  pages        = {22--56},
  year         = {2024},
  url          = {https://doi.org/10.1017/s1471068423000315},
  doi          = {10.1017/S1471068423000315},
  timestamp    = {Sat, 16 Mar 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tplp/WalegaCGK24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/PfluegerCK24,
  author       = {Maximilian Pflueger and
                  David Tena Cucala and
                  Egor V. Kostylev},
  editor       = {Michael J. Wooldridge and
                  Jennifer G. Dy and
                  Sriraam Natarajan},
  title        = {Recurrent Graph Neural Networks and Their Connections to Bisimulation
                  and Logic},
  booktitle    = {Thirty-Eighth {AAAI} Conference on Artificial Intelligence, {AAAI}
                  2024, Thirty-Sixth Conference on Innovative Applications of Artificial
                  Intelligence, {IAAI} 2024, Fourteenth Symposium on Educational Advances
                  in Artificial Intelligence, {EAAI} 2014, February 20-27, 2024, Vancouver,
                  Canada},
  pages        = {14608--14616},
  publisher    = {{AAAI} Press},
  year         = {2024},
  url          = {https://doi.org/10.1609/aaai.v38i13.29377},
  doi          = {10.1609/AAAI.V38I13.29377},
  timestamp    = {Tue, 02 Apr 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/PfluegerCK24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/0007G0K23,
  author       = {Shuwen Liu and
                  Bernardo Cuenca Grau and
                  Ian Horrocks and
                  Egor V. Kostylev},
  editor       = {Pierre Marquis and
                  Tran Cao Son and
                  Gabriele Kern{-}Isberner},
  title        = {Revisiting Inferential Benchmarks for Knowledge Graph Completion},
  booktitle    = {Proceedings of the 20th International Conference on Principles of
                  Knowledge Representation and Reasoning, {KR} 2023, Rhodes, Greece,
                  September 2-8, 2023},
  pages        = {461--471},
  year         = {2023},
  url          = {https://doi.org/10.24963/kr.2023/45},
  doi          = {10.24963/KR.2023/45},
  timestamp    = {Tue, 05 Sep 2023 14:50:36 +0200},
  biburl       = {https://dblp.org/rec/conf/kr/0007G0K23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/CucalaGMK23,
  author       = {David Tena Cucala and
                  Bernardo Cuenca Grau and
                  Boris Motik and
                  Egor V. Kostylev},
  editor       = {Pierre Marquis and
                  Tran Cao Son and
                  Gabriele Kern{-}Isberner},
  title        = {On the Correspondence Between Monotonic Max-Sum GNNs and Datalog},
  booktitle    = {Proceedings of the 20th International Conference on Principles of
                  Knowledge Representation and Reasoning, {KR} 2023, Rhodes, Greece,
                  September 2-8, 2023},
  pages        = {658--667},
  year         = {2023},
  url          = {https://doi.org/10.24963/kr.2023/64},
  doi          = {10.24963/KR.2023/64},
  timestamp    = {Tue, 05 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/kr/CucalaGMK23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nesy/PopK23,
  author       = {Roxana Pop and
                  Egor V. Kostylev},
  editor       = {Artur S. d'Avila Garcez and
                  Tarek R. Besold and
                  Marco Gori and
                  Ernesto Jim{\'{e}}nez{-}Ruiz},
  title        = {Inductive Future Time Prediction on Temporal Knowledge Graphs with
                  Interval Time},
  booktitle    = {Proceedings of the 17th International Workshop on Neural-Symbolic
                  Learning and Reasoning, La Certosa di Pontignano, Siena, Italy, July
                  3-5, 2023},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {3432},
  pages        = {233--240},
  publisher    = {CEUR-WS.org},
  year         = {2023},
  url          = {https://ceur-ws.org/Vol-3432/paper20.pdf},
  timestamp    = {Tue, 11 Jul 2023 17:14:10 +0200},
  biburl       = {https://dblp.org/rec/conf/nesy/PopK23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ruleml/2023c,
  editor       = {Jan Vanthienen and
                  Tom{\'{a}}s Kliegr and
                  Paul Fodor and
                  Davide Lanti and
                  D{\"{o}}rthe Arndt and
                  Egor V. Kostylev and
                  Theodoros Mitsikas and
                  Ahmet Soylu},
  title        = {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},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {3485},
  publisher    = {CEUR-WS.org},
  year         = {2023},
  url          = {https://ceur-ws.org/Vol-3485},
  urn          = {urn:nbn:de:0074-3485-4},
  timestamp    = {Wed, 20 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ruleml/2023c.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2305-18015,
  author       = {David Tena Cucala and
                  Bernardo Cuenca Grau and
                  Boris Motik and
                  Egor V. Kostylev},
  title        = {On the Correspondence Between Monotonic Max-Sum GNNs and Datalog},
  journal      = {CoRR},
  volume       = {abs/2305.18015},
  year         = {2023},
  url          = {https://doi.org/10.48550/arXiv.2305.18015},
  doi          = {10.48550/ARXIV.2305.18015},
  eprinttype    = {arXiv},
  eprint       = {2305.18015},
  timestamp    = {Wed, 07 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2305-18015.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2306-04814,
  author       = {Shuwen Liu and
                  Bernardo Cuenca Grau and
                  Ian Horrocks and
                  Egor V. Kostylev},
  title        = {Revisiting Inferential Benchmarks for Knowledge Graph Completion},
  journal      = {CoRR},
  volume       = {abs/2306.04814},
  year         = {2023},
  url          = {https://doi.org/10.48550/arXiv.2306.04814},
  doi          = {10.48550/ARXIV.2306.04814},
  eprinttype    = {arXiv},
  eprint       = {2306.04814},
  timestamp    = {Wed, 14 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2306-04814.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2306-07625,
  author       = {Przemyslaw Andrzej Walega and
                  David J. Tena Cucala and
                  Bernardo Cuenca Grau and
                  Egor V. Kostylev},
  title        = {The Stable Model Semantics of Datalog with Metric Temporal Operators},
  journal      = {CoRR},
  volume       = {abs/2306.07625},
  year         = {2023},
  url          = {https://doi.org/10.48550/arXiv.2306.07625},
  doi          = {10.48550/ARXIV.2306.07625},
  eprinttype    = {arXiv},
  eprint       = {2306.07625},
  timestamp    = {Sat, 17 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2306-07625.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/KaminskiKGMH22,
  author       = {Mark Kaminski and
                  Egor V. Kostylev and
                  Bernardo Cuenca Grau and
                  Boris Motik and
                  Ian Horrocks},
  title        = {The Complexity and Expressive Power of Limit Datalog},
  journal      = {J. {ACM}},
  volume       = {69},
  number       = {1},
  pages        = {6:1--6:83},
  year         = {2022},
  url          = {https://doi.org/10.1145/3495009},
  doi          = {10.1145/3495009},
  timestamp    = {Tue, 12 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jacm/KaminskiKGMH22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cikm/ZhouZZSSKK22,
  author       = {Dongzhuoran Zhou and
                  Baifan Zhou and
                  Zhuoxun Zheng and
                  Ahmet Soylu and
                  Ognjen Savkovic and
                  Egor V. Kostylev and
                  Evgeny Kharlamov},
  editor       = {Mohammad Al Hasan and
                  Li Xiong},
  title        = {ScheRe: Schema Reshaping for Enhancing Knowledge Graph Construction},
  booktitle    = {Proceedings of the 31st {ACM} International Conference on Information
                  {\&} Knowledge Management, Atlanta, GA, USA, October 17-21, 2022},
  pages        = {5074--5078},
  publisher    = {{ACM}},
  year         = {2022},
  url          = {https://doi.org/10.1145/3511808.3557214},
  doi          = {10.1145/3511808.3557214},
  timestamp    = {Wed, 19 Oct 2022 12:52:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cikm/ZhouZZSSKK22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esws/ZhouZZK0JSK22,
  author       = {Dongzhuoran Zhou and
                  Baifan Zhou and
                  Zhuoxun Zheng and
                  Egor V. Kostylev and
                  Gong Cheng and
                  Ernesto Jim{\'{e}}nez{-}Ruiz and
                  Ahmet Soylu and
                  Evgeny Kharlamov},
  editor       = {Paul Groth and
                  Anisa Rula and
                  Jodi Schneider and
                  Ilaria Tiddi and
                  Elena Simperl and
                  Panos Alexopoulos and
                  Rinke Hoekstra and
                  Mehwish Alam and
                  Anastasia Dimou and
                  Minna Tamper},
  title        = {Enhancing Knowledge Graph Generation with Ontology Reshaping - Bosch
                  Case},
  booktitle    = {The Semantic Web: {ESWC} 2022 Satellite Events - Hersonissos, Crete,
                  Greece, May 29 - June 2, 2022, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13384},
  pages        = {299--302},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-11609-4\_45},
  doi          = {10.1007/978-3-031-11609-4\_45},
  timestamp    = {Mon, 28 Aug 2023 21:17:38 +0200},
  biburl       = {https://dblp.org/rec/conf/esws/ZhouZZK0JSK22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclr/CucalaGKM22,
  author       = {David Jaime Tena Cucala and
                  Bernardo Cuenca Grau and
                  Egor V. Kostylev and
                  Boris Motik},
  title        = {Explainable GNN-Based Models over Knowledge Graphs},
  booktitle    = {The Tenth International Conference on Learning Representations, {ICLR}
                  2022, Virtual Event, April 25-29, 2022},
  publisher    = {OpenReview.net},
  year         = {2022},
  url          = {https://openreview.net/forum?id=CrCvGNHAIrz},
  timestamp    = {Sat, 20 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/iclr/CucalaGKM22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/semweb/PfluegerCK22,
  author       = {Maximilian Pflueger and
                  David J. Tena Cucala and
                  Egor V. Kostylev},
  editor       = {Ulrike Sattler and
                  Aidan Hogan and
                  C. Maria Keet and
                  Valentina Presutti and
                  Jo{\~{a}}o Paulo A. Almeida and
                  Hideaki Takeda and
                  Pierre Monnin and
                  Giuseppe Pirr{\`{o}} and
                  Claudia d'Amato},
  title        = {{GNNQ:} {A} Neuro-Symbolic Approach to Query Answering over Incomplete
                  Knowledge Graphs},
  booktitle    = {The Semantic Web - {ISWC} 2022 - 21st International Semantic Web Conference,
                  Virtual Event, October 23-27, 2022, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13489},
  pages        = {481--497},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-19433-7\_28},
  doi          = {10.1007/978-3-031-19433-7\_28},
  timestamp    = {Mon, 28 Aug 2023 21:17:23 +0200},
  biburl       = {https://dblp.org/rec/conf/semweb/PfluegerCK22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/semweb/ZhouZZSCJKK22,
  author       = {Dongzhuoran Zhou and
                  Baifan Zhou and
                  Zhuoxun Zheng and
                  Ahmet Soylu and
                  Gong Cheng and
                  Ernesto Jim{\'{e}}nez{-}Ruiz and
                  Egor V. Kostylev and
                  Evgeny Kharlamov},
  editor       = {Ulrike Sattler and
                  Aidan Hogan and
                  C. Maria Keet and
                  Valentina Presutti and
                  Jo{\~{a}}o Paulo A. Almeida and
                  Hideaki Takeda and
                  Pierre Monnin and
                  Giuseppe Pirr{\`{o}} and
                  Claudia d'Amato},
  title        = {Ontology Reshaping for Knowledge Graph Construction: Applied on Bosch
                  Welding Case},
  booktitle    = {The Semantic Web - {ISWC} 2022 - 21st International Semantic Web Conference,
                  Virtual Event, October 23-27, 2022, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13489},
  pages        = {770--790},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-19433-7\_44},
  doi          = {10.1007/978-3-031-19433-7\_44},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/semweb/ZhouZZSCJKK22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/semweb/ZhouZZTKK22,
  author       = {Dongzhuoran Zhou and
                  Baifan Zhou and
                  Zhuoxun Zheng and
                  Zhipeng Tan and
                  Egor V. Kostylev and
                  Evgeny Kharlamov},
  editor       = {Anastasia Dimou and
                  Armin Haller and
                  Anna Lisa Gentile and
                  Petar Ristoski},
  title        = {Towards Executable Knowledge Graph Translation},
  booktitle    = {Proceedings of the {ISWC} 2022 Posters, Demos and Industry Tracks:
                  From Novel Ideas to Industrial Practice co-located with 21st International
                  Semantic Web Conference {(ISWC} 2022), Virtual Conference, Hangzhou,
                  China, October 23-27, 2022},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {3254},
  publisher    = {CEUR-WS.org},
  year         = {2022},
  url          = {https://ceur-ws.org/Vol-3254/paper391.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:23:05 +0100},
  biburl       = {https://dblp.org/rec/conf/semweb/ZhouZZTKK22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2209-11067,
  author       = {Dongzhuoran Zhou and
                  Baifan Zhou and
                  Jieying Chen and
                  Gong Cheng and
                  Egor V. Kostylev and
                  Evgeny Kharlamov},
  title        = {Towards Ontology Reshaping for {KG} Generation with User-in-the-Loop:
                  Applied to Bosch Welding},
  journal      = {CoRR},
  volume       = {abs/2209.11067},
  year         = {2022},
  url          = {https://doi.org/10.48550/arXiv.2209.11067},
  doi          = {10.48550/ARXIV.2209.11067},
  eprinttype    = {arXiv},
  eprint       = {2209.11067},
  timestamp    = {Wed, 28 Sep 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2209-11067.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/CucalaWGK21,
  author       = {David J. Tena Cucala and
                  Przemyslaw Andrzej Walega and
                  Bernardo Cuenca Grau and
                  Egor V. Kostylev},
  title        = {Stratified Negation in Datalog with Metric Temporal Operators},
  booktitle    = {Thirty-Fifth {AAAI} Conference on Artificial Intelligence, {AAAI}
                  2021, Thirty-Third Conference on Innovative Applications of Artificial
                  Intelligence, {IAAI} 2021, The Eleventh Symposium on Educational Advances
                  in Artificial Intelligence, {EAAI} 2021, Virtual Event, February 2-9,
                  2021},
  pages        = {6488--6495},
  publisher    = {{AAAI} Press},
  year         = {2021},
  url          = {https://doi.org/10.1609/aaai.v35i7.16804},
  doi          = {10.1609/AAAI.V35I7.16804},
  timestamp    = {Mon, 04 Sep 2023 12:29:24 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/CucalaWGK21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/KamburjanK21,
  author       = {Eduard Kamburjan and
                  Egor V. Kostylev},
  editor       = {Martin Homola and
                  Vladislav Ryzhikov and
                  Renate A. Schmidt},
  title        = {Type Checking Semantically Lifted Programs via Query Containment under
                  Entailment Regimes},
  booktitle    = {Proceedings of the 34th International Workshop on Description Logics
                  {(DL} 2021) part of Bratislava Knowledge September {(BAKS} 2021),
                  Bratislava, Slovakia, September 19th to 22nd, 2021},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {2954},
  publisher    = {CEUR-WS.org},
  year         = {2021},
  url          = {https://ceur-ws.org/Vol-2954/paper-19.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:23:15 +0100},
  biburl       = {https://dblp.org/rec/conf/dlog/KamburjanK21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jist/ZhouZCCKK21,
  author       = {Dongzhuoran Zhou and
                  Baifan Zhou and
                  Jieying Chen and
                  Gong Cheng and
                  Egor V. Kostylev and
                  Evgeny Kharlamov},
  title        = {Towards Ontology Reshaping for {KG} Generation with User-in-the-Loop:
                  Applied to Bosch Welding},
  booktitle    = {IJCKG'21: The 10th International Joint Conference on Knowledge Graphs,
                  Virtual Event, Thailand, December 6 - 8, 2021},
  pages        = {145--150},
  publisher    = {{ACM}},
  year         = {2021},
  url          = {https://doi.org/10.1145/3502223.3502243},
  doi          = {10.1145/3502223.3502243},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/jist/ZhouZCCKK21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/WalegaCKG21,
  author       = {Przemyslaw Andrzej Walega and
                  David J. Tena Cucala and
                  Egor V. Kostylev and
                  Bernardo Cuenca Grau},
  editor       = {Meghyn Bienvenu and
                  Gerhard Lakemeyer and
                  Esra Erdem},
  title        = {DatalogMTL with Negation Under Stable Models Semantics},
  booktitle    = {Proceedings of the 18th International Conference on Principles of
                  Knowledge Representation and Reasoning, {KR} 2021, Online event, November
                  3-12, 2021},
  pages        = {609--618},
  year         = {2021},
  url          = {https://doi.org/10.24963/kr.2021/58},
  doi          = {10.24963/KR.2021/58},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/kr/WalegaCKG21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nips/LiuGHK21,
  author       = {Shuwen Liu and
                  Bernardo Cuenca Grau and
                  Ian Horrocks and
                  Egor V. Kostylev},
  editor       = {Marc'Aurelio Ranzato and
                  Alina Beygelzimer and
                  Yann N. Dauphin and
                  Percy Liang and
                  Jennifer Wortman Vaughan},
  title        = {{INDIGO:} GNN-Based Inductive Knowledge Graph Completion Using Pair-Wise
                  Encoding},
  booktitle    = {Advances in Neural Information Processing Systems 34: Annual Conference
                  on Neural Information Processing Systems 2021, NeurIPS 2021, December
                  6-14, 2021, virtual},
  pages        = {2034--2045},
  year         = {2021},
  url          = {https://proceedings.neurips.cc/paper/2021/hash/0fd600c953cde8121262e322ef09f70e-Abstract.html},
  timestamp    = {Thu, 05 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/nips/LiuGHK21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigmod/BarceloKMPRS20,
  author       = {Pablo Barcel{\'{o}} and
                  Egor V. Kostylev and
                  Mika{\"{e}}l Monet and
                  Jorge P{\'{e}}rez and
                  Juan L. Reutter and
                  Juan Pablo Silva},
  title        = {The Expressive Power of Graph Neural Networks as a Query Language},
  journal      = {{SIGMOD} Rec.},
  volume       = {49},
  number       = {2},
  pages        = {6--17},
  year         = {2020},
  url          = {https://doi.org/10.1145/3442322.3442324},
  doi          = {10.1145/3442322.3442324},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sigmod/BarceloKMPRS20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/KaminskiGKH20,
  author       = {Mark Kaminski and
                  Bernardo Cuenca Grau and
                  Egor V. Kostylev and
                  Ian Horrocks},
  title        = {Complexity and Expressive Power of Disjunction and Negation in Limit
                  Datalog},
  booktitle    = {The Thirty-Fourth {AAAI} Conference on Artificial Intelligence, {AAAI}
                  2020, The Thirty-Second Innovative Applications of Artificial Intelligence
                  Conference, {IAAI} 2020, The Tenth {AAAI} Symposium on Educational
                  Advances in Artificial Intelligence, {EAAI} 2020, New York, NY, USA,
                  February 7-12, 2020},
  pages        = {2862--2869},
  publisher    = {{AAAI} Press},
  year         = {2020},
  url          = {https://doi.org/10.1609/aaai.v34i03.5676},
  doi          = {10.1609/AAAI.V34I03.5676},
  timestamp    = {Mon, 04 Sep 2023 12:29:24 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/KaminskiGKH20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/BenediktKT20,
  author       = {Michael Benedikt and
                  Egor V. Kostylev and
                  Tony Tan},
  editor       = {Artur Czumaj and
                  Anuj Dawar and
                  Emanuela Merelli},
  title        = {Two Variable Logic with Ultimately Periodic Counting},
  booktitle    = {47th International Colloquium on Automata, Languages, and Programming,
                  {ICALP} 2020, July 8-11, 2020, Saarbr{\"{u}}cken, Germany (Virtual
                  Conference)},
  series       = {LIPIcs},
  volume       = {168},
  pages        = {112:1--112:16},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2020},
  url          = {https://doi.org/10.4230/LIPIcs.ICALP.2020.112},
  doi          = {10.4230/LIPICS.ICALP.2020.112},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icalp/BenediktKT20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclr/BarceloKM0RS20,
  author       = {Pablo Barcel{\'{o}} and
                  Egor V. Kostylev and
                  Mika{\"{e}}l Monet and
                  Jorge P{\'{e}}rez and
                  Juan L. Reutter and
                  Juan Pablo Silva},
  title        = {The Logical Expressiveness of Graph Neural Networks},
  booktitle    = {8th International Conference on Learning Representations, {ICLR} 2020,
                  Addis Ababa, Ethiopia, April 26-30, 2020},
  publisher    = {OpenReview.net},
  year         = {2020},
  url          = {https://openreview.net/forum?id=r1lZ7AEKvB},
  timestamp    = {Thu, 07 May 2020 17:11:47 +0200},
  biburl       = {https://dblp.org/rec/conf/iclr/BarceloKM0RS20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/WalegaGKK20,
  author       = {Przemyslaw Andrzej Walega and
                  Bernardo Cuenca Grau and
                  Mark Kaminski and
                  Egor V. Kostylev},
  editor       = {Christian Bessiere},
  title        = {Tractable Fragments of Datalog with Metric Temporal Operators},
  booktitle    = {Proceedings of the Twenty-Ninth International Joint Conference on
                  Artificial Intelligence, {IJCAI} 2020},
  pages        = {1919--1925},
  publisher    = {ijcai.org},
  year         = {2020},
  url          = {https://doi.org/10.24963/ijcai.2020/266},
  doi          = {10.24963/IJCAI.2020/266},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/WalegaGKK20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/WalegaGKK20,
  author       = {Przemyslaw Andrzej Walega and
                  Bernardo Cuenca Grau and
                  Mark Kaminski and
                  Egor V. Kostylev},
  editor       = {Diego Calvanese and
                  Esra Erdem and
                  Michael Thielscher},
  title        = {DatalogMTL over the Integer Timeline},
  booktitle    = {Proceedings of the 17th International Conference on Principles of
                  Knowledge Representation and Reasoning, {KR} 2020, Rhodes, Greece,
                  September 12-18, 2020},
  pages        = {768--777},
  year         = {2020},
  url          = {https://doi.org/10.24963/kr.2020/79},
  doi          = {10.24963/KR.2020/79},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/kr/WalegaGKK20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rweb/Kostylev20,
  author       = {Egor V. Kostylev},
  editor       = {Marco Manna and
                  Andreas Pieris},
  title        = {Declarative Data Analysis Using Limit Datalog Programs},
  booktitle    = {Reasoning Web. Declarative Artificial Intelligence - 16th International
                  Summer School 2020, Oslo, Norway, June 24-26, 2020, Tutorial Lectures},
  series       = {Lecture Notes in Computer Science},
  volume       = {12258},
  pages        = {186--222},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-60067-9\_7},
  doi          = {10.1007/978-3-030-60067-9\_7},
  timestamp    = {Sat, 14 Nov 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/rweb/Kostylev20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2006-01193,
  author       = {Michael Benedikt and
                  Egor V. Kostylev and
                  Tony Tan},
  title        = {Two variable logic with ultimately periodic counting},
  journal      = {CoRR},
  volume       = {abs/2006.01193},
  year         = {2020},
  url          = {https://arxiv.org/abs/2006.01193},
  eprinttype    = {arXiv},
  eprint       = {2006.01193},
  timestamp    = {Mon, 08 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2006-01193.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/NikolaouKKKGH19,
  author       = {Charalampos Nikolaou and
                  Egor V. Kostylev and
                  George Konstantinidis and
                  Mark Kaminski and
                  Bernardo Cuenca Grau and
                  Ian Horrocks},
  title        = {Foundations of ontology-based data access under bag semantics},
  journal      = {Artif. Intell.},
  volume       = {274},
  pages        = {91--132},
  year         = {2019},
  url          = {https://doi.org/10.1016/j.artint.2019.02.003},
  doi          = {10.1016/J.ARTINT.2019.02.003},
  timestamp    = {Tue, 12 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ai/NikolaouKKKGH19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jair/GrauK19,
  author       = {Bernardo Cuenca Grau and
                  Egor V. Kostylev},
  title        = {Logical Foundations of Linked Data Anonymisation},
  journal      = {J. Artif. Intell. Res.},
  volume       = {64},
  pages        = {253--314},
  year         = {2019},
  url          = {https://doi.org/10.1613/jair.1.11355},
  doi          = {10.1613/JAIR.1.11355},
  timestamp    = {Fri, 27 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jair/GrauK19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigmod/GrauHKKM19,
  author       = {Bernardo Cuenca Grau and
                  Ian Horrocks and
                  Mark Kaminski and
                  Egor V. Kostylev and
                  Boris Motik},
  title        = {Limit Datalog: {A} Declarative Query Language for Data Analysis},
  journal      = {{SIGMOD} Rec.},
  volume       = {48},
  number       = {4},
  pages        = {6--17},
  year         = {2019},
  url          = {https://doi.org/10.1145/3385658.3385660},
  doi          = {10.1145/3385658.3385660},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sigmod/GrauHKKM19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/CimaNKKGH19,
  author       = {Gianluca Cima and
                  Charalampos Nikolaou and
                  Egor V. Kostylev and
                  Mark Kaminski and
                  Bernardo Cuenca Grau and
                  Ian Horrocks},
  editor       = {Mantas Simkus and
                  Grant E. Weddell},
  title        = {Bagging the DL-Lite Family Further},
  booktitle    = {Proceedings of the 32nd International Workshop on Description Logics,
                  Oslo, Norway, June 18-21, 2019},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {2373},
  publisher    = {CEUR-WS.org},
  year         = {2019},
  url          = {https://ceur-ws.org/Vol-2373/paper-13.pdf},
  timestamp    = {Mon, 26 Jun 2023 20:43:45 +0200},
  biburl       = {https://dblp.org/rec/conf/dlog/CimaNKKGH19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/NikolaouGKKH19,
  author       = {Charalampos Nikolaou and
                  Bernardo Cuenca Grau and
                  Egor V. Kostylev and
                  Mark Kaminski and
                  Ian Horrocks},
  editor       = {Sarit Kraus},
  title        = {Satisfaction and Implication of Integrity Constraints in Ontology-based
                  Data Access},
  booktitle    = {Proceedings of the Twenty-Eighth International Joint Conference on
                  Artificial Intelligence, {IJCAI} 2019, Macao, China, August 10-16,
                  2019},
  pages        = {1829--1835},
  publisher    = {ijcai.org},
  year         = {2019},
  url          = {https://doi.org/10.24963/ijcai.2019/253},
  doi          = {10.24963/IJCAI.2019/253},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/NikolaouGKKH19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/WalegaGKK19,
  author       = {Przemyslaw Andrzej Walega and
                  Bernardo Cuenca Grau and
                  Mark Kaminski and
                  Egor V. Kostylev},
  editor       = {Sarit Kraus},
  title        = {DatalogMTL: Computational Complexity and Expressive Power},
  booktitle    = {Proceedings of the Twenty-Eighth International Joint Conference on
                  Artificial Intelligence, {IJCAI} 2019, Macao, China, August 10-16,
                  2019},
  pages        = {1886--1892},
  publisher    = {ijcai.org},
  year         = {2019},
  url          = {https://doi.org/10.24963/ijcai.2019/261},
  doi          = {10.24963/IJCAI.2019/261},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/WalegaGKK19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/semweb/CimaNKKGH19,
  author       = {Gianluca Cima and
                  Charalampos Nikolaou and
                  Egor V. Kostylev and
                  Mark Kaminski and
                  Bernardo Cuenca Grau and
                  Ian Horrocks},
  editor       = {Chiara Ghidini and
                  Olaf Hartig and
                  Maria Maleshkova and
                  Vojtech Sv{\'{a}}tek and
                  Isabel F. Cruz and
                  Aidan Hogan and
                  Jie Song and
                  Maxime Lefran{\c{c}}ois and
                  Fabien Gandon},
  title        = {Bag Semantics of DL-Lite with Functionality Axioms},
  booktitle    = {The Semantic Web - {ISWC} 2019 - 18th International Semantic Web Conference,
                  Auckland, New Zealand, October 26-30, 2019, Proceedings, Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {11778},
  pages        = {128--144},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-30793-6\_8},
  doi          = {10.1007/978-3-030-30793-6\_8},
  timestamp    = {Tue, 12 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/semweb/CimaNKKGH19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/semweb/PetrovaKGH19a,
  author       = {Alina Petrova and
                  Egor V. Kostylev and
                  Bernardo Cuenca Grau and
                  Ian Horrocks},
  editor       = {Pavel Shvaiko and
                  J{\'{e}}r{\^{o}}me Euzenat and
                  Ernesto Jim{\'{e}}nez{-}Ruiz and
                  Oktie Hassanzadeh and
                  C{\'{a}}ssia Trojahn},
  title        = {Towards Explainable Entity Matching via Comparison Queries},
  booktitle    = {Proceedings of the 14th International Workshop on Ontology Matching
                  co-located with the 18th International Semantic Web Conference {(ISWC}
                  2019), Auckland, New Zealand, October 26, 2019},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {2536},
  pages        = {197--198},
  publisher    = {CEUR-WS.org},
  year         = {2019},
  url          = {https://ceur-ws.org/Vol-2536/om2019\_poster5.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:23:08 +0100},
  biburl       = {https://dblp.org/rec/conf/semweb/PetrovaKGH19a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/semweb/PetrovaKGH19,
  author       = {Alina Petrova and
                  Egor V. Kostylev and
                  Bernardo Cuenca Grau and
                  Ian Horrocks},
  editor       = {Chiara Ghidini and
                  Olaf Hartig and
                  Maria Maleshkova and
                  Vojtech Sv{\'{a}}tek and
                  Isabel F. Cruz and
                  Aidan Hogan and
                  Jie Song and
                  Maxime Lefran{\c{c}}ois and
                  Fabien Gandon},
  title        = {Query-Based Entity Comparison in Knowledge Graphs Revisited},
  booktitle    = {The Semantic Web - {ISWC} 2019 - 18th International Semantic Web Conference,
                  Auckland, New Zealand, October 26-30, 2019, Proceedings, Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {11778},
  pages        = {558--575},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-30793-6\_32},
  doi          = {10.1007/978-3-030-30793-6\_32},
  timestamp    = {Tue, 12 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/semweb/PetrovaKGH19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1901-09353,
  author       = {Mark Kaminski and
                  Egor V. Kostylev},
  title        = {Subsumption of Weakly Well-Designed {SPARQL} Patterns is Undecidable},
  journal      = {CoRR},
  volume       = {abs/1901.09353},
  year         = {2019},
  url          = {http://arxiv.org/abs/1901.09353},
  eprinttype    = {arXiv},
  eprint       = {1901.09353},
  timestamp    = {Sat, 02 Feb 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1901-09353.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/BenediktGK18,
  author       = {Michael Benedikt and
                  Bernardo Cuenca Grau and
                  Egor V. Kostylev},
  title        = {Logical foundations of information disclosure in ontology-based data
                  integration},
  journal      = {Artif. Intell.},
  volume       = {262},
  pages        = {52--95},
  year         = {2018},
  url          = {https://doi.org/10.1016/j.artint.2018.06.002},
  doi          = {10.1016/J.ARTINT.2018.06.002},
  timestamp    = {Fri, 30 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ai/BenediktGK18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/KostylevRV18,
  author       = {Egor V. Kostylev and
                  Juan L. Reutter and
                  Domagoj Vrgoc},
  title        = {Containment of queries for graphs with data},
  journal      = {J. Comput. Syst. Sci.},
  volume       = {92},
  pages        = {65--91},
  year         = {2018},
  url          = {https://doi.org/10.1016/j.jcss.2017.09.005},
  doi          = {10.1016/J.JCSS.2017.09.005},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jcss/KostylevRV18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mst/KaminskiK18,
  author       = {Mark Kaminski and
                  Egor V. Kostylev},
  title        = {Complexity and Expressive Power of Weakly Well-Designed {SPARQL}},
  journal      = {Theory Comput. Syst.},
  volume       = {62},
  number       = {4},
  pages        = {772--809},
  year         = {2018},
  url          = {https://doi.org/10.1007/s00224-017-9802-9},
  doi          = {10.1007/S00224-017-9802-9},
  timestamp    = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/mst/KaminskiK18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/KaminskiGKMH18,
  author       = {Mark Kaminski and
                  Bernardo Cuenca Grau and
                  Egor V. Kostylev and
                  Boris Motik and
                  Ian Horrocks},
  editor       = {J{\'{e}}r{\^{o}}me Lang},
  title        = {Stratified Negation in Limit Datalog Programs},
  booktitle    = {Proceedings of the Twenty-Seventh International Joint Conference on
                  Artificial Intelligence, {IJCAI} 2018, July 13-19, 2018, Stockholm,
                  Sweden},
  pages        = {1875--1881},
  publisher    = {ijcai.org},
  year         = {2018},
  url          = {https://doi.org/10.24963/ijcai.2018/259},
  doi          = {10.24963/IJCAI.2018/259},
  timestamp    = {Tue, 12 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/KaminskiGKMH18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/www/StefanoniMK18,
  author       = {Giorgio Stefanoni and
                  Boris Motik and
                  Egor V. Kostylev},
  editor       = {Pierre{-}Antoine Champin and
                  Fabien Gandon and
                  Mounia Lalmas and
                  Panagiotis G. Ipeirotis},
  title        = {Estimating the Cardinality of Conjunctive Queries over {RDF} Data
                  Using Graph Summarisation},
  booktitle    = {Proceedings of the 2018 World Wide Web Conference on World Wide Web,
                  {WWW} 2018, Lyon, France, April 23-27, 2018},
  pages        = {1043--1052},
  publisher    = {{ACM}},
  year         = {2018},
  url          = {https://doi.org/10.1145/3178876.3186003},
  doi          = {10.1145/3178876.3186003},
  timestamp    = {Fri, 16 Apr 2021 10:04:12 +0200},
  biburl       = {https://dblp.org/rec/conf/www/StefanoniMK18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1801-09619,
  author       = {Giorgio Stefanoni and
                  Boris Motik and
                  Egor V. Kostylev},
  title        = {Estimating the Cardinality of Conjunctive Queries over {RDF} Data
                  Using Graph Summarisation},
  journal      = {CoRR},
  volume       = {abs/1801.09619},
  year         = {2018},
  url          = {http://arxiv.org/abs/1801.09619},
  eprinttype    = {arXiv},
  eprint       = {1801.09619},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1801-09619.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1804-00443,
  author       = {Egor V. Kostylev and
                  Dan Suciu},
  title        = {A Note on the Hardness of the Critical Tuple Problem},
  journal      = {CoRR},
  volume       = {abs/1804.00443},
  year         = {2018},
  url          = {http://arxiv.org/abs/1804.00443},
  eprinttype    = {arXiv},
  eprint       = {1804.00443},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1804-00443.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1804-09473,
  author       = {Mark Kaminski and
                  Bernardo Cuenca Grau and
                  Egor V. Kostylev and
                  Boris Motik and
                  Ian Horrocks},
  title        = {Stratified Negation in Limit Datalog Programs},
  journal      = {CoRR},
  volume       = {abs/1804.09473},
  year         = {2018},
  url          = {http://arxiv.org/abs/1804.09473},
  eprinttype    = {arXiv},
  eprint       = {1804.09473},
  timestamp    = {Tue, 12 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1804-09473.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tods/KaminskiKG17,
  author       = {Mark Kaminski and
                  Egor V. Kostylev and
                  Bernardo Cuenca Grau},
  title        = {Query Nesting, Assignment, and Aggregation in {SPARQL} 1.1},
  journal      = {{ACM} Trans. Database Syst.},
  volume       = {42},
  number       = {3},
  pages        = {17:1--17:46},
  year         = {2017},
  url          = {https://doi.org/10.1145/3083898},
  doi          = {10.1145/3083898},
  timestamp    = {Sat, 08 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tods/KaminskiKG17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/BenediktGK17,
  author       = {Michael Benedikt and
                  Bernardo Cuenca Grau and
                  Egor V. Kostylev},
  editor       = {Satinder Singh and
                  Shaul Markovitch},
  title        = {Source Information Disclosure in Ontology-Based Data Integration},
  booktitle    = {Proceedings of the Thirty-First {AAAI} Conference on Artificial Intelligence,
                  February 4-9, 2017, San Francisco, California, {USA}},
  pages        = {1056--1062},
  publisher    = {{AAAI} Press},
  year         = {2017},
  url          = {https://doi.org/10.1609/aaai.v31i1.10690},
  doi          = {10.1609/AAAI.V31I1.10690},
  timestamp    = {Mon, 04 Sep 2023 14:40:32 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/BenediktGK17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amw/ArenasBKR17,
  author       = {Marcelo Arenas and
                  Elena Botoeva and
                  Egor V. Kostylev and
                  Vladislav Ryzhikov},
  editor       = {Juan L. Reutter and
                  Divesh Srivastava},
  title        = {A Note on Computing Certain Answers to Queries over Incomplete Databases},
  booktitle    = {Proceedings of the 11th Alberto Mendelzon International Workshop on
                  Foundations of Data Management and the Web, Montevideo, Uruguay, June
                  7-9, 2017},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1912},
  publisher    = {CEUR-WS.org},
  year         = {2017},
  url          = {https://ceur-ws.org/Vol-1912/paper16.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:23:19 +0100},
  biburl       = {https://dblp.org/rec/conf/amw/ArenasBKR17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cikm/KharlamovGSGKH17,
  author       = {Evgeny Kharlamov and
                  Luca Giacomelli and
                  Evgeny Sherkhonov and
                  Bernardo Cuenca Grau and
                  Egor V. Kostylev and
                  Ian Horrocks},
  editor       = {Ee{-}Peng Lim and
                  Marianne Winslett and
                  Mark Sanderson and
                  Ada Wai{-}Chee Fu and
                  Jimeng Sun and
                  J. Shane Culpepper and
                  Eric Lo and
                  Joyce C. Ho and
                  Debora Donato and
                  Rakesh Agrawal and
                  Yu Zheng and
                  Carlos Castillo and
                  Aixin Sun and
                  Vincent S. Tseng and
                  Chenliang Li},
  title        = {SemFacet: Making Hard Faceted Search Easier},
  booktitle    = {Proceedings of the 2017 {ACM} on Conference on Information and Knowledge
                  Management, {CIKM} 2017, Singapore, November 06 - 10, 2017},
  pages        = {2475--2478},
  publisher    = {{ACM}},
  year         = {2017},
  url          = {https://doi.org/10.1145/3132847.3133192},
  doi          = {10.1145/3132847.3133192},
  timestamp    = {Tue, 29 Aug 2023 16:24:43 +0200},
  biburl       = {https://dblp.org/rec/conf/cikm/KharlamovGSGKH17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/BenediktKMT17,
  author       = {Michael Benedikt and
                  Egor V. Kostylev and
                  Fabio Mogavero and
                  Efthymia Tsamoura},
  editor       = {Carles Sierra},
  title        = {Reformulating Queries: Theory and Practice},
  booktitle    = {Proceedings of the Twenty-Sixth International Joint Conference on
                  Artificial Intelligence, {IJCAI} 2017, Melbourne, Australia, August
                  19-25, 2017},
  pages        = {837--843},
  publisher    = {ijcai.org},
  year         = {2017},
  url          = {https://doi.org/10.24963/ijcai.2017/116},
  doi          = {10.24963/IJCAI.2017/116},
  timestamp    = {Sun, 12 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ijcai/BenediktKMT17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/KaminskiGKMH17,
  author       = {Mark Kaminski and
                  Bernardo Cuenca Grau and
                  Egor V. Kostylev and
                  Boris Motik and
                  Ian Horrocks},
  editor       = {Carles Sierra},
  title        = {Foundations of Declarative Data Analysis Using Limit Datalog Programs},
  booktitle    = {Proceedings of the Twenty-Sixth International Joint Conference on
                  Artificial Intelligence, {IJCAI} 2017, Melbourne, Australia, August
                  19-25, 2017},
  pages        = {1123--1130},
  publisher    = {ijcai.org},
  year         = {2017},
  url          = {https://doi.org/10.24963/ijcai.2017/156},
  doi          = {10.24963/IJCAI.2017/156},
  timestamp    = {Tue, 12 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/KaminskiGKMH17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/NikolaouKKKGH17,
  author       = {Charalampos Nikolaou and
                  Egor V. Kostylev and
                  George Konstantinidis and
                  Mark Kaminski and
                  Bernardo Cuenca Grau and
                  Ian Horrocks},
  editor       = {Carles Sierra},
  title        = {The Bag Semantics of Ontology-Based Data Access},
  booktitle    = {Proceedings of the Twenty-Sixth International Joint Conference on
                  Artificial Intelligence, {IJCAI} 2017, Melbourne, Australia, August
                  19-25, 2017},
  pages        = {1224--1230},
  publisher    = {ijcai.org},
  year         = {2017},
  url          = {https://doi.org/10.24963/ijcai.2017/170},
  doi          = {10.24963/IJCAI.2017/170},
  timestamp    = {Tue, 12 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/NikolaouKKKGH17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/semweb/KharlamovGSGKH17,
  author       = {Evgeny Kharlamov and
                  Luca Giacomelli and
                  Evgeny Sherkhonov and
                  Bernardo Cuenca Grau and
                  Egor V. Kostylev and
                  Ian Horrocks},
  editor       = {Nadeschda Nikitina and
                  Dezhao Song and
                  Achille Fokoue and
                  Peter Haase},
  title        = {Ranking, Aggregation, and Reachability in Faceted Search with SemFacet},
  booktitle    = {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 - 25th, 2017},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1963},
  publisher    = {CEUR-WS.org},
  year         = {2017},
  url          = {https://ceur-ws.org/Vol-1963/paper650.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:23:06 +0100},
  biburl       = {https://dblp.org/rec/conf/semweb/KharlamovGSGKH17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/semweb/SherkhonovGKK17,
  author       = {Evgeny Sherkhonov and
                  Bernardo Cuenca Grau and
                  Evgeny Kharlamov and
                  Egor V. Kostylev},
  editor       = {Claudia d'Amato and
                  Miriam Fern{\'{a}}ndez and
                  Valentina A. M. Tamma and
                  Freddy L{\'{e}}cu{\'{e}} and
                  Philippe Cudr{\'{e}}{-}Mauroux and
                  Juan F. Sequeda and
                  Christoph Lange and
                  Jeff Heflin},
  title        = {Semantic Faceted Search with Aggregation and Recursion},
  booktitle    = {The Semantic Web - {ISWC} 2017 - 16th International Semantic Web Conference,
                  Vienna, Austria, October 21-25, 2017, Proceedings, Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {10587},
  pages        = {594--610},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-68288-4\_35},
  doi          = {10.1007/978-3-319-68288-4\_35},
  timestamp    = {Tue, 07 Sep 2021 13:48:04 +0200},
  biburl       = {https://dblp.org/rec/conf/semweb/SherkhonovGKK17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/KaminskiGKMH17,
  author       = {Mark Kaminski and
                  Bernardo Cuenca Grau and
                  Egor V. Kostylev and
                  Boris Motik and
                  Ian Horrocks},
  title        = {Foundations of Declarative Data Analysis Using Limit Datalog Programs},
  journal      = {CoRR},
  volume       = {abs/1705.06927},
  year         = {2017},
  url          = {http://arxiv.org/abs/1705.06927},
  eprinttype    = {arXiv},
  eprint       = {1705.06927},
  timestamp    = {Tue, 12 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/KaminskiGKMH17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/NikolaouKKKGH17,
  author       = {Charalampos Nikolaou and
                  Egor V. Kostylev and
                  George Konstantinidis and
                  Mark Kaminski and
                  Bernardo Cuenca Grau and
                  Ian Horrocks},
  title        = {The Bag Semantics of Ontology-Based Data Access},
  journal      = {CoRR},
  volume       = {abs/1705.07105},
  year         = {2017},
  url          = {http://arxiv.org/abs/1705.07105},
  eprinttype    = {arXiv},
  eprint       = {1705.07105},
  timestamp    = {Tue, 12 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/NikolaouKKKGH17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/KostylevRV16,
  author       = {Egor V. Kostylev and
                  Juan L. Reutter and
                  Domagoj Vrgoc},
  title        = {Static analysis of navigational XPath over graph databases},
  journal      = {Inf. Process. Lett.},
  volume       = {116},
  number       = {7},
  pages        = {467--474},
  year         = {2016},
  url          = {https://doi.org/10.1016/j.ipl.2016.03.006},
  doi          = {10.1016/J.IPL.2016.03.006},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ipl/KostylevRV16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/GrauK16,
  author       = {Bernardo Cuenca Grau and
                  Egor V. Kostylev},
  editor       = {Dale Schuurmans and
                  Michael P. Wellman},
  title        = {Logical Foundations of Privacy-Preserving Publishing of Linked Data},
  booktitle    = {Proceedings of the Thirtieth {AAAI} Conference on Artificial Intelligence,
                  February 12-17, 2016, Phoenix, Arizona, {USA}},
  pages        = {943--949},
  publisher    = {{AAAI} Press},
  year         = {2016},
  url          = {https://doi.org/10.1609/aaai.v30i1.10105},
  doi          = {10.1609/AAAI.V30I1.10105},
  timestamp    = {Mon, 04 Sep 2023 15:08:28 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/GrauK16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amw/PolleresRK16,
  author       = {Axel Polleres and
                  Juan L. Reutter and
                  Egor V. Kostylev},
  editor       = {Reinhard Pichler and
                  Altigran Soares da Silva},
  title        = {Nested Constructs vs. Sub-Selects in {SPARQL}},
  booktitle    = {Proceedings of the 10th Alberto Mendelzon International Workshop on
                  Foundations of Data Management, Panama City, Panama, May 8-10, 2016},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1644},
  publisher    = {CEUR-WS.org},
  year         = {2016},
  url          = {https://ceur-ws.org/Vol-1644/paper10.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:23:19 +0100},
  biburl       = {https://dblp.org/rec/conf/amw/PolleresRK16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdt/KaminskiK16,
  author       = {Mark Kaminski and
                  Egor V. Kostylev},
  editor       = {Wim Martens and
                  Thomas Zeume},
  title        = {Beyond Well-designed {SPARQL}},
  booktitle    = {19th International Conference on Database Theory, {ICDT} 2016, Bordeaux,
                  France, March 15-18, 2016},
  series       = {LIPIcs},
  volume       = {48},
  pages        = {5:1--5:18},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2016},
  url          = {https://doi.org/10.4230/LIPIcs.ICDT.2016.5},
  doi          = {10.4230/LIPICS.ICDT.2016.5},
  timestamp    = {Tue, 11 Feb 2020 15:52:14 +0100},
  biburl       = {https://dblp.org/rec/conf/icdt/KaminskiK16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/KontchakovK16,
  author       = {Roman Kontchakov and
                  Egor V. Kostylev},
  editor       = {Chitta Baral and
                  James P. Delgrande and
                  Frank Wolter},
  title        = {On Expressibility of Non-Monotone Operators in {SPARQL}},
  booktitle    = {Principles of Knowledge Representation and Reasoning: Proceedings
                  of the Fifteenth International Conference, {KR} 2016, Cape Town, South
                  Africa, April 25-29, 2016},
  pages        = {369--379},
  publisher    = {{AAAI} Press},
  year         = {2016},
  url          = {http://www.aaai.org/ocs/index.php/KR/KR16/paper/view/12889},
  timestamp    = {Tue, 09 Feb 2021 08:33:50 +0100},
  biburl       = {https://dblp.org/rec/conf/kr/KontchakovK16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/www/KaminskiKG16,
  author       = {Mark Kaminski and
                  Egor V. Kostylev and
                  Bernardo Cuenca Grau},
  editor       = {Jacqueline Bourdeau and
                  Jim Hendler and
                  Roger Nkambou and
                  Ian Horrocks and
                  Ben Y. Zhao},
  title        = {Semantics and Expressive Power of Subqueries and Aggregates in {SPARQL}
                  1.1},
  booktitle    = {Proceedings of the 25th International Conference on World Wide Web,
                  {WWW} 2016, Montreal, Canada, April 11 - 15, 2016},
  pages        = {227--238},
  publisher    = {{ACM}},
  year         = {2016},
  url          = {https://doi.org/10.1145/2872427.2883022},
  doi          = {10.1145/2872427.2883022},
  timestamp    = {Tue, 12 Apr 2022 14:46:29 +0200},
  biburl       = {https://dblp.org/rec/conf/www/KaminskiKG16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/www/ArenasDK16,
  author       = {Marcelo Arenas and
                  Gonzalo I. Diaz and
                  Egor V. Kostylev},
  editor       = {Jacqueline Bourdeau and
                  Jim Hendler and
                  Roger Nkambou and
                  Ian Horrocks and
                  Ben Y. Zhao},
  title        = {Reverse Engineering {SPARQL} Queries},
  booktitle    = {Proceedings of the 25th International Conference on World Wide Web,
                  {WWW} 2016, Montreal, Canada, April 11 - 15, 2016},
  pages        = {239--249},
  publisher    = {{ACM}},
  year         = {2016},
  url          = {https://doi.org/10.1145/2872427.2882989},
  doi          = {10.1145/2872427.2882989},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/www/ArenasDK16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ws/KostylevR15,
  author       = {Egor V. Kostylev and
                  Juan L. Reutter},
  title        = {Complexity of answering counting aggregate queries over DL-Lite},
  journal      = {J. Web Semant.},
  volume       = {33},
  pages        = {94--111},
  year         = {2015},
  url          = {https://doi.org/10.1016/j.websem.2015.05.003},
  doi          = {10.1016/J.WEBSEM.2015.05.003},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ws/KostylevR15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ws/Gutierrez-Basulto15,
  author       = {V{\'{\i}}ctor Guti{\'{e}}rrez{-}Basulto and
                  Yazm{\'{\i}}n Ang{\'{e}}lica Ib{\'{a}}{\~{n}}ez{-}Garc{\'{\i}}a and
                  Roman Kontchakov and
                  Egor V. Kostylev},
  title        = {Queries with negation and inequalities over lightweight ontologies},
  journal      = {J. Web Semant.},
  volume       = {35},
  pages        = {184--202},
  year         = {2015},
  url          = {https://doi.org/10.1016/j.websem.2015.06.002},
  doi          = {10.1016/J.WEBSEM.2015.06.002},
  timestamp    = {Thu, 12 Nov 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ws/Gutierrez-Basulto15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/KostylevRV15,
  author       = {Egor V. Kostylev and
                  Juan L. Reutter and
                  Domagoj Vrgoc},
  editor       = {Blai Bonet and
                  Sven Koenig},
  title        = {XPath for {DL} Ontologies},
  booktitle    = {Proceedings of the Twenty-Ninth {AAAI} Conference on Artificial Intelligence,
                  January 25-30, 2015, Austin, Texas, {USA}},
  pages        = {1525--1531},
  publisher    = {{AAAI} Press},
  year         = {2015},
  url          = {https://doi.org/10.1609/aaai.v29i1.9396},
  doi          = {10.1609/AAAI.V29I1.9396},
  timestamp    = {Mon, 18 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/KostylevRV15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/KostylevG15,
  author       = {Egor V. Kostylev and
                  Bernardo Cuenca Grau},
  editor       = {Diego Calvanese and
                  Boris Konev},
  title        = {Semantics of {SPARQL} under {OWL} 2 Entailment Regimes},
  booktitle    = {Proceedings of the 28th International Workshop on Description Logics,
                  Athens,Greece, June 7-10, 2015},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1350},
  publisher    = {CEUR-WS.org},
  year         = {2015},
  url          = {https://ceur-ws.org/Vol-1350/paper-31.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:23:17 +0100},
  biburl       = {https://dblp.org/rec/conf/dlog/KostylevG15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdt/KostylevRU15,
  author       = {Egor V. Kostylev and
                  Juan L. Reutter and
                  Mart{\'{\i}}n Ugarte},
  editor       = {Marcelo Arenas and
                  Mart{\'{\i}}n Ugarte},
  title        = {{CONSTRUCT} Queries in {SPARQL}},
  booktitle    = {18th International Conference on Database Theory, {ICDT} 2015, March
                  23-27, 2015, Brussels, Belgium},
  series       = {LIPIcs},
  volume       = {31},
  pages        = {212--229},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2015},
  url          = {https://doi.org/10.4230/LIPIcs.ICDT.2015.212},
  doi          = {10.4230/LIPICS.ICDT.2015.212},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icdt/KostylevRU15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/GrauKKZ15,
  author       = {Bernardo Cuenca Grau and
                  Evgeny Kharlamov and
                  Egor V. Kostylev and
                  Dmitriy Zheleznyakov},
  editor       = {Qiang Yang and
                  Michael J. Wooldridge},
  title        = {Controlled Query Evaluation for Datalog and {OWL} 2 Profile Ontologies},
  booktitle    = {Proceedings of the Twenty-Fourth International Joint Conference on
                  Artificial Intelligence, {IJCAI} 2015, Buenos Aires, Argentina, July
                  25-31, 2015},
  pages        = {2883--2889},
  publisher    = {{AAAI} Press},
  year         = {2015},
  url          = {http://ijcai.org/Abstract/15/408},
  timestamp    = {Tue, 20 Aug 2019 16:16:43 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/GrauKKZ15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/semweb/KostylevR0V15,
  author       = {Egor V. Kostylev and
                  Juan L. Reutter and
                  Miguel Romero and
                  Domagoj Vrgoc},
  editor       = {Marcelo Arenas and
                  {\'{O}}scar Corcho and
                  Elena Simperl and
                  Markus Strohmaier and
                  Mathieu d'Aquin and
                  Kavitha Srinivas and
                  Paul Groth and
                  Michel Dumontier and
                  Jeff Heflin and
                  Krishnaprasad Thirunarayan and
                  Steffen Staab},
  title        = {{SPARQL} with Property Paths},
  booktitle    = {The Semantic Web - {ISWC} 2015 - 14th International Semantic Web Conference,
                  Bethlehem, PA, USA, October 11-15, 2015, Proceedings, Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {9366},
  pages        = {3--18},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-25007-6\_1},
  doi          = {10.1007/978-3-319-25007-6\_1},
  timestamp    = {Sun, 12 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/semweb/KostylevR0V15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/GrauKKZ15,
  author       = {Bernardo Cuenca Grau and
                  Evgeny Kharlamov and
                  Egor V. Kostylev and
                  Dmitriy Zheleznyakov},
  title        = {Controlled Query Evaluation for Datalog and {OWL} 2 Profile Ontologies},
  journal      = {CoRR},
  volume       = {abs/1504.06529},
  year         = {2015},
  url          = {http://arxiv.org/abs/1504.06529},
  eprinttype    = {arXiv},
  eprint       = {1504.06529},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/GrauKKZ15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tods/KostylevRS14,
  author       = {Egor V. Kostylev and
                  Juan L. Reutter and
                  Andr{\'{a}}s Z. Salamon},
  title        = {Classification of annotation semirings over containment of conjunctive
                  queries},
  journal      = {{ACM} Trans. Database Syst.},
  volume       = {39},
  number       = {1},
  pages        = {1:1--1:39},
  year         = {2014},
  url          = {https://doi.org/10.1145/2556524},
  doi          = {10.1145/2556524},
  timestamp    = {Thu, 23 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tods/KostylevRS14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/GrauKKZ14,
  author       = {Bernardo Cuenca Grau and
                  Evgeny Kharlamov and
                  Egor V. Kostylev and
                  Dmitriy Zheleznyakov},
  editor       = {Meghyn Bienvenu and
                  Magdalena Ortiz and
                  Riccardo Rosati and
                  Mantas Simkus},
  title        = {Controlled Query Evaluation over Lightweight Ontologies},
  booktitle    = {Informal Proceedings of the 27th International Workshop on Description
                  Logics, Vienna, Austria, July 17-20, 2014},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1193},
  pages        = {141--152},
  publisher    = {CEUR-WS.org},
  year         = {2014},
  url          = {https://ceur-ws.org/Vol-1193/paper\_55.pdf},
  timestamp    = {Mon, 26 Jun 2023 20:43:45 +0200},
  biburl       = {https://dblp.org/rec/conf/dlog/GrauKKZ14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/KostylevRV14,
  author       = {Egor V. Kostylev and
                  Juan L. Reutter and
                  Domagoj Vrgoc},
  editor       = {Meghyn Bienvenu and
                  Magdalena Ortiz and
                  Riccardo Rosati and
                  Mantas Simkus},
  title        = {XPath for DL-Lite Ontologies},
  booktitle    = {Informal Proceedings of the 27th International Workshop on Description
                  Logics, Vienna, Austria, July 17-20, 2014},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1193},
  pages        = {258--269},
  publisher    = {CEUR-WS.org},
  year         = {2014},
  url          = {https://ceur-ws.org/Vol-1193/paper\_79.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dlog/KostylevRV14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdt/KostylevRV14,
  author       = {Egor V. Kostylev and
                  Juan L. Reutter and
                  Domagoj Vrgoc},
  editor       = {Nicole Schweikardt and
                  Vassilis Christophides and
                  Vincent Leroy},
  title        = {Containment of Data Graph Queries},
  booktitle    = {Proc. 17th International Conference on Database Theory (ICDT), Athens,
                  Greece, March 24-28, 2014},
  pages        = {131--142},
  publisher    = {OpenProceedings.org},
  year         = {2014},
  url          = {https://doi.org/10.5441/002/icdt.2014.16},
  doi          = {10.5441/002/ICDT.2014.16},
  timestamp    = {Fri, 30 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icdt/KostylevRV14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/semweb/KostylevG14,
  author       = {Egor V. Kostylev and
                  Bernardo Cuenca Grau},
  editor       = {Peter Mika and
                  Tania Tudorache and
                  Abraham Bernstein and
                  Chris Welty and
                  Craig A. Knoblock and
                  Denny Vrandecic and
                  Paul Groth and
                  Natasha F. Noy and
                  Krzysztof Janowicz and
                  Carole A. Goble},
  title        = {On the Semantics of {SPARQL} Queries with Optional Matching under
                  Entailment Regimes},
  booktitle    = {The Semantic Web - {ISWC} 2014 - 13th International Semantic Web Conference,
                  Riva del Garda, Italy, October 19-23, 2014. Proceedings, Part {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {8797},
  pages        = {374--389},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-11915-1\_24},
  doi          = {10.1007/978-3-319-11915-1\_24},
  timestamp    = {Thu, 27 Jul 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/semweb/KostylevG14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/KostylevR13,
  author       = {Egor V. Kostylev and
                  Juan L. Reutter},
  editor       = {Marie desJardins and
                  Michael L. Littman},
  title        = {Answering Counting Aggregate Queries over Ontologies of the DL-Lite
                  Family},
  booktitle    = {Proceedings of the Twenty-Seventh {AAAI} Conference on Artificial
                  Intelligence, July 14-18, 2013, Bellevue, Washington, {USA}},
  pages        = {534--540},
  publisher    = {{AAAI} Press},
  year         = {2013},
  url          = {https://doi.org/10.1609/aaai.v27i1.8646},
  doi          = {10.1609/AAAI.V27I1.8646},
  timestamp    = {Mon, 04 Sep 2023 15:56:33 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/KostylevR13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/KostylevR13,
  author       = {Egor V. Kostylev and
                  Juan L. Reutter},
  editor       = {Thomas Eiter and
                  Birte Glimm and
                  Yevgeny Kazakov and
                  Markus Kr{\"{o}}tzsch},
  title        = {Complexity of Answering Counting Aggregate Queries over DL-Lite},
  booktitle    = {Informal Proceedings of the 26th International Workshop on Description
                  Logics, Ulm, Germany, July 23 - 26, 2013},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1014},
  pages        = {364--376},
  publisher    = {CEUR-WS.org},
  year         = {2013},
  url          = {https://ceur-ws.org/Vol-1014/paper\_56.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:23:17 +0100},
  biburl       = {https://dblp.org/rec/conf/dlog/KostylevR13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdt/BunemanKV13,
  author       = {Peter Buneman and
                  Egor V. Kostylev and
                  Stijn Vansummeren},
  editor       = {Wang{-}Chiew Tan and
                  Giovanna Guerrini and
                  Barbara Catania and
                  Anastasios Gounaris},
  title        = {Annotations are relative},
  booktitle    = {Joint 2013 {EDBT/ICDT} Conferences, {ICDT} '13 Proceedings, Genoa,
                  Italy, March 18-22, 2013},
  pages        = {177--188},
  publisher    = {{ACM}},
  year         = {2013},
  url          = {https://doi.org/10.1145/2448496.2448518},
  doi          = {10.1145/2448496.2448518},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icdt/BunemanKV13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rr/Gutierrez-BasultoIKK13,
  author       = {V{\'{\i}}ctor Guti{\'{e}}rrez{-}Basulto and
                  Yazm{\'{\i}}n Ang{\'{e}}lica Ib{\'{a}}{\~{n}}ez{-}Garc{\'{\i}}a and
                  Roman Kontchakov and
                  Egor V. Kostylev},
  editor       = {Wolfgang Faber and
                  Domenico Lembo},
  title        = {Conjunctive Queries with Negation over DL-Lite: {A} Closer Look},
  booktitle    = {Web Reasoning and Rule Systems - 7th International Conference, {RR}
                  2013, Mannheim, Germany, July 27-29, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7994},
  pages        = {109--122},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-39666-3\_9},
  doi          = {10.1007/978-3-642-39666-3\_9},
  timestamp    = {Thu, 12 Nov 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/rr/Gutierrez-BasultoIKK13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/semweb/GrauKKZ13,
  author       = {Bernardo Cuenca Grau and
                  Evgeny Kharlamov and
                  Egor V. Kostylev and
                  Dmitriy Zheleznyakov},
  editor       = {Harith Alani and
                  Lalana Kagal and
                  Achille Fokoue and
                  Paul Groth and
                  Chris Biemann and
                  Josiane Xavier Parreira and
                  Lora Aroyo and
                  Natasha F. Noy and
                  Chris Welty and
                  Krzysztof Janowicz},
  title        = {Controlled Query Evaluation over {OWL} 2 {RL} Ontologies},
  booktitle    = {The Semantic Web - {ISWC} 2013 - 12th International Semantic Web Conference,
                  Sydney, NSW, Australia, October 21-25, 2013, Proceedings, Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {8218},
  pages        = {49--65},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-41335-3\_4},
  doi          = {10.1007/978-3-642-41335-3\_4},
  timestamp    = {Tue, 07 Sep 2021 13:48:20 +0200},
  biburl       = {https://dblp.org/rec/conf/semweb/GrauKKZ13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdt/KostylevB12,
  author       = {Egor V. Kostylev and
                  Peter Buneman},
  editor       = {Alin Deutsch},
  title        = {Combining dependent annotations for relational algebra},
  booktitle    = {15th International Conference on Database Theory, {ICDT} '12, Berlin,
                  Germany, March 26-29, 2012},
  pages        = {196--207},
  publisher    = {{ACM}},
  year         = {2012},
  url          = {https://doi.org/10.1145/2274576.2274597},
  doi          = {10.1145/2274576.2274597},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icdt/KostylevB12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pods/KostylevRS12,
  author       = {Egor V. Kostylev and
                  Juan L. Reutter and
                  Andr{\'{a}}s Z. Salamon},
  editor       = {Michael Benedikt and
                  Markus Kr{\"{o}}tzsch and
                  Maurizio Lenzerini},
  title        = {Classification of annotation semirings over query containment},
  booktitle    = {Proceedings of the 31st {ACM} {SIGMOD-SIGACT-SIGART} Symposium on
                  Principles of Database Systems, {PODS} 2012, Scottsdale, AZ, USA,
                  May 20-24, 2012},
  pages        = {237--248},
  publisher    = {{ACM}},
  year         = {2012},
  url          = {https://doi.org/10.1145/2213556.2213590},
  doi          = {10.1145/2213556.2213590},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/pods/KostylevRS12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tapp/BunemanCK12,
  author       = {Peter Buneman and
                  James Cheney and
                  Egor V. Kostylev},
  editor       = {Umut A. Acar and
                  Todd J. Green},
  title        = {Hierarchical Models of Provenance},
  booktitle    = {4th Workshop on the Theory and Practice of Provenance, TaPP'12, Boston,
                  MA, USA, June 14-15, 2012},
  publisher    = {{USENIX} Association},
  year         = {2012},
  url          = {https://www.usenix.org/conference/tapp12/workshop-program/presentation/buneman},
  timestamp    = {Tue, 02 Feb 2021 08:04:55 +0100},
  biburl       = {https://dblp.org/rec/conf/tapp/BunemanCK12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/semweb/BunemanK10,
  author       = {Peter Buneman and
                  Egor V. Kostylev},
  editor       = {Satya S. Sahoo and
                  Jun Zhao and
                  Paolo Missier and
                  Jos{\'{e}} Manu{\'{e}}l G{\'{o}}mez{-}P{\'{e}}rez},
  title        = {Annotation algebras for {RDFS} Data},
  booktitle    = {Proceedings of the Second International Workshop on the role of Semantic
                  Web in Provenance Management, SWPM@ISWC 2010, Shanghai, China, November
                  7, 2010},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {670},
  publisher    = {CEUR-WS.org},
  year         = {2010},
  url          = {https://ceur-ws.org/Vol-670/paper\_4.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:23:06 +0100},
  biburl       = {https://dblp.org/rec/conf/semweb/BunemanK10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ershov/BulychevKZ09,
  author       = {Peter E. Bulychev and
                  Egor V. Kostylev and
                  Vladimir A. Zakharov},
  editor       = {Amir Pnueli and
                  Irina B. Virbitskaite and
                  Andrei Voronkov},
  title        = {Anti-unification Algorithms and Their Applications in Program Analysis},
  booktitle    = {Perspectives of Systems Informatics, 7th International Andrei Ershov
                  Memorial Conference, {PSI} 2009, Novosibirsk, Russia, June 15-19,
                  2009. Revised Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {5947},
  pages        = {413--423},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-11486-1\_35},
  doi          = {10.1007/978-3-642-11486-1\_35},
  timestamp    = {Mon, 16 Dec 2019 13:26:25 +0100},
  biburl       = {https://dblp.org/rec/conf/ershov/BulychevKZ09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics