BibTeX records: Bernardo Cuenca Grau

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}
}
@article{DBLP:journals/corr/abs-2401-02869,
  author       = {Dingmin Wang and
                  Przemyslaw Andrzej Walega and
                  Pan Hu and
                  Bernardo Cuenca Grau},
  title        = {Practical Reasoning in DatalogMTL},
  journal      = {CoRR},
  volume       = {abs/2401.02869},
  year         = {2024},
  url          = {https://doi.org/10.48550/arXiv.2401.02869},
  doi          = {10.48550/ARXIV.2401.02869},
  eprinttype    = {arXiv},
  eprint       = {2401.02869},
  timestamp    = {Tue, 23 Jan 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2401-02869.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jair/WalegaZG23,
  author       = {Przemyslaw Andrzej Walega and
                  Michal Zawidzki and
                  Bernardo Cuenca Grau},
  title        = {Finite Materialisability of Datalog Programs with Metric Temporal
                  Operators},
  journal      = {J. Artif. Intell. Res.},
  volume       = {76},
  year         = {2023},
  url          = {https://doi.org/10.1613/jair.1.14040},
  doi          = {10.1613/JAIR.1.14040},
  timestamp    = {Sun, 12 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jair/WalegaZG23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ws/WalegaKWG23,
  author       = {Przemyslaw Andrzej Walega and
                  Mark Kaminski and
                  Dingmin Wang and
                  Bernardo Cuenca Grau},
  title        = {Stream reasoning with DatalogMTL},
  journal      = {J. Web Semant.},
  volume       = {76},
  pages        = {100776},
  year         = {2023},
  url          = {https://doi.org/10.1016/j.websem.2023.100776},
  doi          = {10.1016/J.WEBSEM.2023.100776},
  timestamp    = {Sat, 13 May 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ws/WalegaKWG23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/WangCG23,
  author       = {Dingmin Wang and
                  Yeyuan Chen and
                  Bernardo Cuenca Grau},
  editor       = {Brian Williams and
                  Yiling Chen and
                  Jennifer Neville},
  title        = {Efficient Embeddings of Logical Variables for Query Answering over
                  Incomplete Knowledge Graphs},
  booktitle    = {Thirty-Seventh {AAAI} Conference on Artificial Intelligence, {AAAI}
                  2023, Thirty-Fifth Conference on Innovative Applications of Artificial
                  Intelligence, {IAAI} 2023, Thirteenth Symposium on Educational Advances
                  in Artificial Intelligence, {EAAI} 2023, Washington, DC, USA, February
                  7-14, 2023},
  pages        = {4652--4659},
  publisher    = {{AAAI} Press},
  year         = {2023},
  url          = {https://doi.org/10.1609/aaai.v37i4.25588},
  doi          = {10.1609/AAAI.V37I4.25588},
  timestamp    = {Mon, 04 Sep 2023 12:29:24 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/WangCG23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/WalegaZWG23,
  author       = {Przemyslaw Andrzej Walega and
                  Michal Zawidzki and
                  Dingmin Wang and
                  Bernardo Cuenca Grau},
  editor       = {Brian Williams and
                  Yiling Chen and
                  Jennifer Neville},
  title        = {Materialisation-Based Reasoning in DatalogMTL with Bounded Intervals},
  booktitle    = {Thirty-Seventh {AAAI} Conference on Artificial Intelligence, {AAAI}
                  2023, Thirty-Fifth Conference on Innovative Applications of Artificial
                  Intelligence, {IAAI} 2023, Thirteenth Symposium on Educational Advances
                  in Artificial Intelligence, {EAAI} 2023, Washington, DC, USA, February
                  7-14, 2023},
  pages        = {6566--6574},
  publisher    = {{AAAI} Press},
  year         = {2023},
  url          = {https://doi.org/10.1609/aaai.v37i5.25807},
  doi          = {10.1609/AAAI.V37I5.25807},
  timestamp    = {Sun, 12 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aaai/WalegaZWG23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/WangLWGSTSL23,
  author       = {Dingmin Wang and
                  Shengchao Liu and
                  Hanchen Wang and
                  Bernardo Cuenca Grau and
                  Linfeng Song and
                  Jian Tang and
                  Le Song and
                  Qi Liu},
  editor       = {Kobi Gal and
                  Ann Now{\'{e}} and
                  Grzegorz J. Nalepa and
                  Roy Fairstein and
                  Roxana Radulescu},
  title        = {An Empirical Study of Retrieval-Enhanced Graph Neural Networks},
  booktitle    = {{ECAI} 2023 - 26th European Conference on Artificial Intelligence,
                  September 30 - October 4, 2023, Krak{\'{o}}w, Poland - Including
                  12th Conference on Prestigious Applications of Intelligent Systems
                  {(PAIS} 2023)},
  series       = {Frontiers in Artificial Intelligence and Applications},
  volume       = {372},
  pages        = {2443--2450},
  publisher    = {{IOS} Press},
  year         = {2023},
  url          = {https://doi.org/10.3233/FAIA230547},
  doi          = {10.3233/FAIA230547},
  timestamp    = {Tue, 06 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ecai/WangLWGSTSL23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/HarzliG023,
  author       = {Ouns El Harzli and
                  Bernardo Cuenca Grau and
                  Ian Horrocks},
  title        = {Cardinality-Minimal Explanations for Monotonic Neural Networks},
  booktitle    = {Proceedings of the Thirty-Second International Joint Conference on
                  Artificial Intelligence, {IJCAI} 2023, 19th-25th August 2023, Macao,
                  SAR, China},
  pages        = {3677--3685},
  publisher    = {ijcai.org},
  year         = {2023},
  url          = {https://doi.org/10.24963/ijcai.2023/409},
  doi          = {10.24963/IJCAI.2023/409},
  timestamp    = {Mon, 28 Aug 2023 17:23:07 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/HarzliG023.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}
}
@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/ai/RoncaKGH22,
  author       = {Alessandro Ronca and
                  Mark Kaminski and
                  Bernardo Cuenca Grau and
                  Ian Horrocks},
  title        = {The delay and window size problems in rule-based stream reasoning},
  journal      = {Artif. Intell.},
  volume       = {306},
  pages        = {103668},
  year         = {2022},
  url          = {https://doi.org/10.1016/j.artint.2022.103668},
  doi          = {10.1016/J.ARTINT.2022.103668},
  timestamp    = {Tue, 12 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ai/RoncaKGH22.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/aaai/WangHWG22,
  author       = {Dingmin Wang and
                  Pan Hu and
                  Przemyslaw Andrzej Walega and
                  Bernardo Cuenca Grau},
  title        = {MeTeoR: Practical Reasoning in Datalog with Metric Temporal Operators},
  booktitle    = {Thirty-Sixth {AAAI} Conference on Artificial Intelligence, {AAAI}
                  2022, Thirty-Fourth Conference on Innovative Applications of Artificial
                  Intelligence, {IAAI} 2022, The Twelveth Symposium on Educational Advances
                  in Artificial Intelligence, {EAAI} 2022 Virtual Event, February 22
                  - March 1, 2022},
  pages        = {5906--5913},
  publisher    = {{AAAI} Press},
  year         = {2022},
  url          = {https://doi.org/10.1609/aaai.v36i5.20535},
  doi          = {10.1609/AAAI.V36I5.20535},
  timestamp    = {Sat, 21 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/WangHWG22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/datalog/WalegaZG22,
  author       = {Przemyslaw Andrzej Walega and
                  Michal Zawidzki and
                  Bernardo Cuenca Grau},
  editor       = {Mario Alviano and
                  Andreas Pieris},
  title        = {Reasoning Techniques in DatalogMTL},
  booktitle    = {Proceedings of the 4th International Workshop on the Resurgence of
                  Datalog in Academia and Industry (Datalog-2.0 2022) co-located with
                  the 16th International Conference on Logic Programming and Nonmonotonic
                  Reasoning {(LPNMR} 2022), Genova-Nervi, Italy, September 5, 2022},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {3203},
  pages        = {127--138},
  publisher    = {CEUR-WS.org},
  year         = {2022},
  url          = {https://ceur-ws.org/Vol-3203/paper8.pdf},
  timestamp    = {Sun, 12 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/datalog/WalegaZG22.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/kr/CucalaGM22,
  author       = {David J. Tena Cucala and
                  Bernardo Cuenca Grau and
                  Boris Motik},
  editor       = {Gabriele Kern{-}Isberner and
                  Gerhard Lakemeyer and
                  Thomas Meyer},
  title        = {Faithful Approaches to Rule Learning},
  booktitle    = {Proceedings of the 19th International Conference on Principles of
                  Knowledge Representation and Reasoning, {KR} 2022, Haifa, Israel,
                  July 31 - August 5, 2022},
  year         = {2022},
  url          = {https://proceedings.kr.org/2022/50/},
  timestamp    = {Tue, 05 Sep 2023 14:47:29 +0200},
  biburl       = {https://dblp.org/rec/conf/kr/CucalaGM22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ruleml/WangWG22,
  author       = {Dingmin Wang and
                  Przemyslaw Andrzej Walega and
                  Bernardo Cuenca Grau},
  editor       = {Guido Governatori and
                  Anni{-}Yasmin Turhan},
  title        = {Semina{\"{\i}}ve Materialisation in DatalogMTL},
  booktitle    = {Rules and Reasoning - 6th International Joint Conference on Rules
                  and Reasoning, RuleML+RR 2022, Berlin, Germany, September 26-28, 2022,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13752},
  pages        = {183--197},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-21541-4\_12},
  doi          = {10.1007/978-3-031-21541-4\_12},
  timestamp    = {Tue, 20 Dec 2022 10:20:25 +0100},
  biburl       = {https://dblp.org/rec/conf/ruleml/WangWG22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2201-04596,
  author       = {Dingmin Wang and
                  Pan Hu and
                  Przemyslaw Andrzej Walega and
                  Bernardo Cuenca Grau},
  title        = {MeTeoR: Practical Reasoning in Datalog with Metric Temporal Operators},
  journal      = {CoRR},
  volume       = {abs/2201.04596},
  year         = {2022},
  url          = {https://arxiv.org/abs/2201.04596},
  eprinttype    = {arXiv},
  eprint       = {2201.04596},
  timestamp    = {Mon, 16 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2201-04596.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2205-09901,
  author       = {Ouns El Harzli and
                  Bernardo Cuenca Grau and
                  Ian Horrocks},
  title        = {Minimal Explanations for Neural Network Predictions},
  journal      = {CoRR},
  volume       = {abs/2205.09901},
  year         = {2022},
  url          = {https://doi.org/10.48550/arXiv.2205.09901},
  doi          = {10.48550/ARXIV.2205.09901},
  eprinttype    = {arXiv},
  eprint       = {2205.09901},
  timestamp    = {Mon, 23 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2205-09901.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2206-00362,
  author       = {Dingmin Wang and
                  Shengchao Liu and
                  Hanchen Wang and
                  Linfeng Song and
                  Jian Tang and
                  Song Le and
                  Bernardo Cuenca Grau and
                  Qi Liu},
  title        = {Augmenting Message Passing by Retrieving Similar Graphs},
  journal      = {CoRR},
  volume       = {abs/2206.00362},
  year         = {2022},
  url          = {https://doi.org/10.48550/arXiv.2206.00362},
  doi          = {10.48550/ARXIV.2206.00362},
  eprinttype    = {arXiv},
  eprint       = {2206.00362},
  timestamp    = {Tue, 25 Apr 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2206-00362.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2208-07100,
  author       = {Dingmin Wang and
                  Przemyslaw Andrzej Walega and
                  Bernardo Cuenca Grau},
  title        = {Seminaive Materialisation in DatalogMTL},
  journal      = {CoRR},
  volume       = {abs/2208.07100},
  year         = {2022},
  url          = {https://doi.org/10.48550/arXiv.2208.07100},
  doi          = {10.48550/ARXIV.2208.07100},
  eprinttype    = {arXiv},
  eprint       = {2208.07100},
  timestamp    = {Wed, 17 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2208-07100.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/CucalaGH21,
  author       = {David Tena Cucala and
                  Bernardo Cuenca Grau and
                  Ian Horrocks},
  title        = {Pay-as-you-go consequence-based reasoning for the description logic
                  {SROIQ}},
  journal      = {Artif. Intell.},
  volume       = {298},
  pages        = {103518},
  year         = {2021},
  url          = {https://doi.org/10.1016/j.artint.2021.103518},
  doi          = {10.1016/J.ARTINT.2021.103518},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ai/CucalaGH21.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/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/kr/WalegaZG21,
  author       = {Przemyslaw Andrzej Walega and
                  Michal Zawidzki and
                  Bernardo Cuenca Grau},
  editor       = {Meghyn Bienvenu and
                  Gerhard Lakemeyer and
                  Esra Erdem},
  title        = {Finitely Materialisable Datalog Programs with Metric Temporal Operators},
  booktitle    = {Proceedings of the 18th International Conference on Principles of
                  Knowledge Representation and Reasoning, {KR} 2021, Online event, November
                  3-12, 2021},
  pages        = {619--628},
  year         = {2021},
  url          = {https://doi.org/10.24963/kr.2021/59},
  doi          = {10.24963/KR.2021/59},
  timestamp    = {Sun, 12 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/kr/WalegaZG21.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}
}
@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/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}
}
@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/aaai/WalegaKG19,
  author       = {Przemyslaw Andrzej Walega and
                  Mark Kaminski and
                  Bernardo Cuenca Grau},
  title        = {Reasoning over Streaming Data in Metric Temporal Datalog},
  booktitle    = {The Thirty-Third {AAAI} Conference on Artificial Intelligence, {AAAI}
                  2019, The Thirty-First Innovative Applications of Artificial Intelligence
                  Conference, {IAAI} 2019, The Ninth {AAAI} Symposium on Educational
                  Advances in Artificial Intelligence, {EAAI} 2019, Honolulu, Hawaii,
                  USA, January 27 - February 1, 2019},
  pages        = {3092--3099},
  publisher    = {{AAAI} Press},
  year         = {2019},
  url          = {https://doi.org/10.1609/aaai.v33i01.33013092},
  doi          = {10.1609/AAAI.V33I01.33013092},
  timestamp    = {Mon, 04 Sep 2023 12:29:24 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/WalegaKG19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/CucalaGH19,
  author       = {David Tena Cucala and
                  Bernardo Cuenca Grau and
                  Ian Horrocks},
  editor       = {Carsten Lutz and
                  Uli Sattler and
                  Cesare Tinelli and
                  Anni{-}Yasmin Turhan and
                  Frank Wolter},
  title        = {15 Years of Consequence-Based Reasoning},
  booktitle    = {Description Logic, Theory Combination, and All That - Essays Dedicated
                  to Franz Baader on the Occasion of His 60th Birthday},
  series       = {Lecture Notes in Computer Science},
  volume       = {11560},
  pages        = {573--587},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-22102-7\_27},
  doi          = {10.1007/978-3-030-22102-7\_27},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/CucalaGH19.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/dlog/CucalaGH19,
  author       = {David Tena Cucala and
                  Bernardo Cuenca Grau and
                  Ian Horrocks},
  editor       = {Mantas Simkus and
                  Grant E. Weddell},
  title        = {Sequoia: {A} Consequence Based Reasoner for {SROIQ}},
  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-27.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dlog/CucalaGH19.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/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/jair/BateMGCSH18,
  author       = {Andrew Bate and
                  Boris Motik and
                  Bernardo Cuenca Grau and
                  David Tena Cucala and
                  Frantisek Simancik and
                  Ian Horrocks},
  title        = {Consequence-Based Reasoning for Description Logics with Disjunctions
                  and Number Restrictions},
  journal      = {J. Artif. Intell. Res.},
  volume       = {63},
  pages        = {625--690},
  year         = {2018},
  url          = {https://doi.org/10.1613/jair.1.11257},
  doi          = {10.1613/JAIR.1.11257},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jair/BateMGCSH18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/RoncaKGMH18,
  author       = {Alessandro Ronca and
                  Mark Kaminski and
                  Bernardo Cuenca Grau and
                  Boris Motik and
                  Ian Horrocks},
  editor       = {Sheila A. McIlraith and
                  Kilian Q. Weinberger},
  title        = {Stream Reasoning in Temporal Datalog},
  booktitle    = {Proceedings of the Thirty-Second {AAAI} Conference on Artificial Intelligence,
                  (AAAI-18), the 30th innovative Applications of Artificial Intelligence
                  (IAAI-18), and the 8th {AAAI} Symposium on Educational Advances in
                  Artificial Intelligence (EAAI-18), New Orleans, Louisiana, USA, February
                  2-7, 2018},
  pages        = {1941--1948},
  publisher    = {{AAAI} Press},
  year         = {2018},
  url          = {https://doi.org/10.1609/aaai.v32i1.11537},
  doi          = {10.1609/AAAI.V32I1.11537},
  timestamp    = {Mon, 04 Sep 2023 12:29:24 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/RoncaKGMH18.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/ijcai/CucalaGH18,
  author       = {David Tena Cucala and
                  Bernardo Cuenca Grau and
                  Ian Horrocks},
  editor       = {J{\'{e}}r{\^{o}}me Lang},
  title        = {Consequence-based Reasoning for Description Logics with Disjunction,
                  Inverse Roles, Number Restrictions, and Nominals},
  booktitle    = {Proceedings of the Twenty-Seventh International Joint Conference on
                  Artificial Intelligence, {IJCAI} 2018, July 13-19, 2018, Stockholm,
                  Sweden},
  pages        = {1970--1976},
  publisher    = {ijcai.org},
  year         = {2018},
  url          = {https://doi.org/10.24963/ijcai.2018/272},
  doi          = {10.24963/IJCAI.2018/272},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/CucalaGH18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/RoncaKGH18,
  author       = {Alessandro Ronca and
                  Mark Kaminski and
                  Bernardo Cuenca Grau and
                  Ian Horrocks},
  editor       = {Michael Thielscher and
                  Francesca Toni and
                  Frank Wolter},
  title        = {The Window Validity Problem in Rule-Based Stream Reasoning},
  booktitle    = {Principles of Knowledge Representation and Reasoning: Proceedings
                  of the Sixteenth International Conference, {KR} 2018, Tempe, Arizona,
                  30 October - 2 November 2018},
  pages        = {571--581},
  publisher    = {{AAAI} Press},
  year         = {2018},
  url          = {https://aaai.org/ocs/index.php/KR/KR18/paper/view/18030},
  timestamp    = {Tue, 12 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/kr/RoncaKGH18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/semweb/Jimenez-RuizGC18,
  author       = {Ernesto Jim{\'{e}}nez{-}Ruiz and
                  Bernardo Cuenca Grau and
                  Valerie Cross},
  editor       = {Pavel Shvaiko and
                  J{\'{e}}r{\^{o}}me Euzenat and
                  Ernesto Jim{\'{e}}nez{-}Ruiz and
                  Michelle Cheatham and
                  Oktie Hassanzadeh},
  title        = {LogMap family participation in the {OAEI} 2018},
  booktitle    = {Proceedings of the 13th International Workshop on Ontology Matching
                  co-located with the 17th International Semantic Web Conference, OM@ISWC
                  2018, Monterey, CA, USA, October 8, 2018},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {2288},
  pages        = {187--191},
  publisher    = {CEUR-WS.org},
  year         = {2018},
  url          = {https://ceur-ws.org/Vol-2288/oaei18\_paper11.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:23:03 +0100},
  biburl       = {https://dblp.org/rec/conf/semweb/Jimenez-RuizGC18.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/corr/abs-1805-01396,
  author       = {David Tena Cucala and
                  Bernardo Cuenca Grau and
                  Ian Horrocks},
  title        = {Consequence-based Reasoning for Description Logics with Disjunction,
                  Inverse Roles, Number Restrictions, and Nominals},
  journal      = {CoRR},
  volume       = {abs/1805.01396},
  year         = {2018},
  url          = {http://arxiv.org/abs/1805.01396},
  eprinttype    = {arXiv},
  eprint       = {1805.01396},
  timestamp    = {Tue, 12 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1805-01396.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1808-02291,
  author       = {Alessandro Ronca and
                  Mark Kaminski and
                  Bernardo Cuenca Grau and
                  Ian Horrocks},
  title        = {The Window Validity Problem in Rule-Based Stream Reasoning},
  journal      = {CoRR},
  volume       = {abs/1808.02291},
  year         = {2018},
  url          = {http://arxiv.org/abs/1808.02291},
  eprinttype    = {arXiv},
  eprint       = {1808.02291},
  timestamp    = {Tue, 12 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1808-02291.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/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/dlog/CucalaGH17,
  author       = {David Tena Cucala and
                  Bernardo Cuenca Grau and
                  Ian Horrocks},
  editor       = {Alessandro Artale and
                  Birte Glimm and
                  Roman Kontchakov},
  title        = {Consequence-based Reasoning for Description Logics with Disjunction,
                  Inverse Roles, and Nominals},
  booktitle    = {Proceedings of the 30th International Workshop on Description Logics,
                  Montpellier, France, July 18-21, 2017},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1879},
  publisher    = {CEUR-WS.org},
  year         = {2017},
  url          = {https://ceur-ws.org/Vol-1879/paper35.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:23:17 +0100},
  biburl       = {https://dblp.org/rec/conf/dlog/CucalaGH17.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/Jimenez-RuizGC17,
  author       = {Ernesto Jim{\'{e}}nez{-}Ruiz and
                  Bernardo Cuenca Grau and
                  Valerie Cross},
  editor       = {Pavel Shvaiko and
                  J{\'{e}}r{\^{o}}me Euzenat and
                  Ernesto Jim{\'{e}}nez{-}Ruiz and
                  Michelle Cheatham and
                  Oktie Hassanzadeh},
  title        = {LogMap family participation in the {OAEI} 2017},
  booktitle    = {Proceedings of the 12th International Workshop on Ontology Matching
                  co-located with the 16th International Semantic Web Conference {(ISWC}
                  2017), Vienna, Austria, October 21, 2017},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {2032},
  pages        = {153--157},
  publisher    = {CEUR-WS.org},
  year         = {2017},
  url          = {https://ceur-ws.org/Vol-2032/oaei17\_paper7.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:23:05 +0100},
  biburl       = {https://dblp.org/rec/conf/semweb/Jimenez-RuizGC17.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/PetrovaSGH17,
  author       = {Alina Petrova and
                  Evgeny Sherkhonov and
                  Bernardo Cuenca Grau and
                  Ian Horrocks},
  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        = {Entity Comparison in {RDF} Graphs},
  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        = {526--541},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-68288-4\_31},
  doi          = {10.1007/978-3-319-68288-4\_31},
  timestamp    = {Tue, 12 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/semweb/PetrovaSGH17.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 01:00:00 +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/corr/abs-1711-04013,
  author       = {Alessandro Ronca and
                  Mark Kaminski and
                  Bernardo Cuenca Grau and
                  Boris Motik and
                  Ian Horrocks},
  title        = {Stream Reasoning in Temporal Datalog},
  journal      = {CoRR},
  volume       = {abs/1711.04013},
  year         = {2017},
  url          = {http://arxiv.org/abs/1711.04013},
  eprinttype    = {arXiv},
  eprint       = {1711.04013},
  timestamp    = {Tue, 12 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1711-04013.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/KaminskiNG16,
  author       = {Mark Kaminski and
                  Yavor Nenov and
                  Bernardo Cuenca Grau},
  title        = {Datalog rewritability of Disjunctive Datalog programs and non-Horn
                  ontologies},
  journal      = {Artif. Intell.},
  volume       = {236},
  pages        = {90--118},
  year         = {2016},
  url          = {https://doi.org/10.1016/j.artint.2016.03.006},
  doi          = {10.1016/J.ARTINT.2016.03.006},
  timestamp    = {Thu, 28 Dec 2017 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ai/KaminskiNG16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jair/RomeroKGH16,
  author       = {Ana Armas Romero and
                  Mark Kaminski and
                  Bernardo Cuenca Grau and
                  Ian Horrocks},
  title        = {Module Extraction in Expressive Ontology Languages via Datalog Reasoning},
  journal      = {J. Artif. Intell. Res.},
  volume       = {55},
  pages        = {499--564},
  year         = {2016},
  url          = {https://doi.org/10.1613/jair.4898},
  doi          = {10.1613/JAIR.4898},
  timestamp    = {Tue, 12 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jair/RomeroKGH16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ws/ArenasGKMZ16,
  author       = {Marcelo Arenas and
                  Bernardo Cuenca Grau and
                  Evgeny Kharlamov and
                  Sarunas Marciuska and
                  Dmitriy Zheleznyakov},
  title        = {Faceted search over RDF-based knowledge graphs},
  journal      = {J. Web Semant.},
  volume       = {37-38},
  pages        = {55--74},
  year         = {2016},
  url          = {https://doi.org/10.1016/j.websem.2015.12.002},
  doi          = {10.1016/J.WEBSEM.2015.12.002},
  timestamp    = {Tue, 29 Jan 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ws/ArenasGKMZ16.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/dlog/RomeroKGH16,
  author       = {Ana Armas Romero and
                  Mark Kaminski and
                  Bernardo Cuenca Grau and
                  Ian Horrocks},
  editor       = {Maurizio Lenzerini and
                  Rafael Pe{\~{n}}aloza},
  title        = {Ontology Module Extraction via Datalog Reasoning},
  booktitle    = {Proceedings of the 29th International Workshop on Description Logics,
                  Cape Town, South Africa, April 22-25, 2016},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1577},
  publisher    = {CEUR-WS.org},
  year         = {2016},
  url          = {https://ceur-ws.org/Vol-1577/paper\_46.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:23:16 +0100},
  biburl       = {https://dblp.org/rec/conf/dlog/RomeroKGH16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/BateMGSH16,
  author       = {Andrew Bate and
                  Boris Motik and
                  Bernardo Cuenca Grau and
                  Frantisek Simancik and
                  Ian Horrocks},
  editor       = {Chitta Baral and
                  James P. Delgrande and
                  Frank Wolter},
  title        = {Extending Consequence-Based Reasoning to {SRIQ}},
  booktitle    = {Principles of Knowledge Representation and Reasoning: Proceedings
                  of the Fifteenth International Conference, {KR} 2016, Cape Town, South
                  Africa, April 25-29, 2016},
  pages        = {187--196},
  publisher    = {{AAAI} Press},
  year         = {2016},
  url          = {http://www.aaai.org/ocs/index.php/KR/KR16/paper/view/12882},
  timestamp    = {Tue, 12 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/kr/BateMGSH16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/semweb/GrauKMZA16,
  author       = {Bernardo Cuenca Grau and
                  Evgeny Kharlamov and
                  Sarunas Marciuska and
                  Dmitriy Zheleznyakov and
                  Marcelo Arenas},
  editor       = {Takahiro Kawamura and
                  Heiko Paulheim},
  title        = {SemFacet: Faceted Search over Ontology Enhanced Knowledge Graphs},
  booktitle    = {Proceedings of the {ISWC} 2016 Posters {\&} Demonstrations Track
                  co-located with 15th International Semantic Web Conference {(ISWC}
                  2016), Kobe, Japan, October 19, 2016},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1690},
  publisher    = {CEUR-WS.org},
  year         = {2016},
  url          = {https://ceur-ws.org/Vol-1690/paper75.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:23:04 +0100},
  biburl       = {https://dblp.org/rec/conf/semweb/GrauKMZA16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/semweb/Jimenez-RuizGC16,
  author       = {Ernesto Jim{\'{e}}nez{-}Ruiz and
                  Bernardo Cuenca Grau and
                  Valerie V. Cross},
  editor       = {Pavel Shvaiko and
                  J{\'{e}}r{\^{o}}me Euzenat and
                  Ernesto Jim{\'{e}}nez{-}Ruiz and
                  Michelle Cheatham and
                  Oktie Hassanzadeh and
                  Ryutaro Ichise},
  title        = {LogMap family participation in the {OAEI} 2016},
  booktitle    = {Proceedings of the 11th International Workshop on Ontology Matching
                  co-located with the 15th International Semantic Web Conference {(ISWC}
                  2016), Kobe, Japan, October 18, 2016},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1766},
  pages        = {185--189},
  publisher    = {CEUR-WS.org},
  year         = {2016},
  url          = {https://ceur-ws.org/Vol-1766/oaei16\_paper9.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:23:07 +0100},
  biburl       = {https://dblp.org/rec/conf/semweb/Jimenez-RuizGC16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/semweb/KharlamovGJLMRN16,
  author       = {Evgeny Kharlamov and
                  Bernardo Cuenca Grau and
                  Ernesto Jim{\'{e}}nez{-}Ruiz and
                  Steffen Lamparter and
                  Gulnar Mehdi and
                  Martin Ringsquandl and
                  Yavor Nenov and
                  Stephan Grimm and
                  Mikhail Roshchin and
                  Ian Horrocks},
  editor       = {Takahiro Kawamura and
                  Heiko Paulheim},
  title        = {{SOMM:} Industry Oriented Ontology Management Tool},
  booktitle    = {Proceedings of the {ISWC} 2016 Posters {\&} Demonstrations Track
                  co-located with 15th International Semantic Web Conference {(ISWC}
                  2016), Kobe, Japan, October 19, 2016},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1690},
  publisher    = {CEUR-WS.org},
  year         = {2016},
  url          = {https://ceur-ws.org/Vol-1690/paper29.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/semweb/KharlamovGJLMRN16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/semweb/KharlamovGJLMRN16a,
  author       = {Evgeny Kharlamov and
                  Bernardo Cuenca Grau and
                  Ernesto Jim{\'{e}}nez{-}Ruiz and
                  Steffen Lamparter and
                  Gulnar Mehdi and
                  Martin Ringsquandl and
                  Yavor Nenov and
                  Stephan Grimm and
                  Mikhail Roshchin and
                  Ian Horrocks},
  editor       = {Paul Groth and
                  Elena Simperl and
                  Alasdair J. G. Gray and
                  Marta Sabou and
                  Markus Kr{\"{o}}tzsch and
                  Freddy L{\'{e}}cu{\'{e}} and
                  Fabian Fl{\"{o}}ck and
                  Yolanda Gil},
  title        = {Capturing Industrial Information Models with Ontologies and Constraints},
  booktitle    = {The Semantic Web - {ISWC} 2016 - 15th International Semantic Web Conference,
                  Kobe, Japan, October 17-21, 2016, Proceedings, Part {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {9982},
  pages        = {325--343},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-46547-0\_30},
  doi          = {10.1007/978-3-319-46547-0\_30},
  timestamp    = {Tue, 12 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/semweb/KharlamovGJLMRN16a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wims/ChortarasGSS16,
  author       = {Alexandros Chortaras and
                  Bernardo Cuenca Grau and
                  Giorgos B. Stamou and
                  Giorgos Stoilos},
  editor       = {Rajendra Akerkar and
                  Michel Planti{\'{e}} and
                  Sylvie Ranwez and
                  S{\'{e}}bastien Harispe and
                  Anne Laurent and
                  Patrice Bellot and
                  Jacky Montmain and
                  Fran{\c{c}}ois Trousset},
  title        = {Reformulating Ontological Queries Using Materialised Rewritings},
  booktitle    = {Proceedings of the 6th International Conference on Web Intelligence,
                  Mining and Semantics, {WIMS} 2016, N{\^{\i}}mes, France, June 13-15,
                  2016},
  pages        = {17:1--17:8},
  publisher    = {{ACM}},
  year         = {2016},
  url          = {https://doi.org/10.1145/2912845.2912867},
  doi          = {10.1145/2912845.2912867},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wims/ChortarasGSS16.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}
}
@article{DBLP:journals/corr/BateMGSH16,
  author       = {Andrew Bate and
                  Boris Motik and
                  Bernardo Cuenca Grau and
                  Frantisek Simancik and
                  Ian Horrocks},
  title        = {Extending Consequence-Based Reasoning to {SRIQ}},
  journal      = {CoRR},
  volume       = {abs/1602.04498},
  year         = {2016},
  url          = {http://arxiv.org/abs/1602.04498},
  eprinttype    = {arXiv},
  eprint       = {1602.04498},
  timestamp    = {Tue, 12 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/BateMGSH16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jair/ZhouGNKH15,
  author       = {Yujiao Zhou and
                  Bernardo Cuenca Grau and
                  Yavor Nenov and
                  Mark Kaminski and
                  Ian Horrocks},
  title        = {PAGOdA: Pay-As-You-Go Ontology Query Answering Using a Datalog Reasoner},
  journal      = {J. Artif. Intell. Res.},
  volume       = {54},
  pages        = {309--367},
  year         = {2015},
  url          = {https://doi.org/10.1613/jair.4757},
  doi          = {10.1613/JAIR.4757},
  timestamp    = {Tue, 12 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jair/ZhouGNKH15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/RomeroKGH15,
  author       = {Ana Armas Romero and
                  Mark Kaminski and
                  Bernardo Cuenca Grau and
                  Ian Horrocks},
  editor       = {Blai Bonet and
                  Sven Koenig},
  title        = {Ontology Module Extraction via Datalog Reasoning},
  booktitle    = {Proceedings of the Twenty-Ninth {AAAI} Conference on Artificial Intelligence,
                  January 25-30, 2015, Austin, Texas, {USA}},
  pages        = {1410--1416},
  publisher    = {{AAAI} Press},
  year         = {2015},
  url          = {https://doi.org/10.1609/aaai.v29i1.9418},
  doi          = {10.1609/AAAI.V29I1.9418},
  timestamp    = {Mon, 18 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/RomeroKGH15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/BateMGSH15,
  author       = {Andrew Bate and
                  Boris Motik and
                  Bernardo Cuenca Grau and
                  Frantisek Simancik and
                  Ian Horrocks},
  editor       = {Diego Calvanese and
                  Boris Konev},
  title        = {Extending Consequence-Based Reasoning to {SHIQ}},
  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-08.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:23:17 +0100},
  biburl       = {https://dblp.org/rec/conf/dlog/BateMGSH15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/FeierCSGH15,
  author       = {Cristina Feier and
                  David Carral and
                  Giorgio Stefanoni and
                  Bernardo Cuenca Grau and
                  Ian Horrocks},
  editor       = {Diego Calvanese and
                  Boris Konev},
  title        = {Extending the Combined Approach Beyond Lightweight Description Logics},
  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-19.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dlog/FeierCSGH15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/KaminskiG15,
  author       = {Mark Kaminski and
                  Bernardo Cuenca Grau},
  editor       = {Diego Calvanese and
                  Boris Konev},
  title        = {Polynomial Horn Rewritings for Description Logics Ontologies},
  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-25.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dlog/KaminskiG15.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 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dlog/KostylevG15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/ZhouGNH15,
  author       = {Yujiao Zhou and
                  Bernardo Cuenca Grau and
                  Yavor Nenov and
                  Ian Horrocks},
  editor       = {Diego Calvanese and
                  Boris Konev},
  title        = {PAGOdA: Pay-as-you-go ABox Reasoning},
  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-40.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dlog/ZhouGNH15.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/ijcai/FeierCSGH15,
  author       = {Cristina Feier and
                  David Carral and
                  Giorgio Stefanoni and
                  Bernardo Cuenca Grau and
                  Ian Horrocks},
  editor       = {Qiang Yang and
                  Michael J. Wooldridge},
  title        = {The Combined Approach to Query Answering Beyond the {OWL} 2 Profiles},
  booktitle    = {Proceedings of the Twenty-Fourth International Joint Conference on
                  Artificial Intelligence, {IJCAI} 2015, Buenos Aires, Argentina, July
                  25-31, 2015},
  pages        = {2971--2977},
  publisher    = {{AAAI} Press},
  year         = {2015},
  url          = {http://ijcai.org/Abstract/15/420},
  timestamp    = {Tue, 12 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/FeierCSGH15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/KaminskiG15,
  author       = {Mark Kaminski and
                  Bernardo Cuenca Grau},
  editor       = {Qiang Yang and
                  Michael J. Wooldridge},
  title        = {Computing Horn Rewritings of Description Logics Ontologies},
  booktitle    = {Proceedings of the Twenty-Fourth International Joint Conference on
                  Artificial Intelligence, {IJCAI} 2015, Buenos Aires, Argentina, July
                  25-31, 2015},
  pages        = {3091--3097},
  publisher    = {{AAAI} Press},
  year         = {2015},
  url          = {http://ijcai.org/Abstract/15/436},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/KaminskiG15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ore/ZhouNGH15,
  author       = {Yujiao Zhou and
                  Yavor Nenov and
                  Bernardo Cuenca Grau and
                  Ian Horrocks},
  editor       = {Michel Dumontier and
                  Birte Glimm and
                  Rafael S. Gon{\c{c}}alves and
                  Matthew Horridge and
                  Ernesto Jim{\'{e}}nez{-}Ruiz and
                  Nicolas Matentzoglu and
                  Bijan Parsia and
                  Giorgos B. Stamou and
                  Giorgos Stoilos},
  title        = {Ontology-based Query Answering with PAGOdA},
  booktitle    = {Informal Proceedings of the 4th International Workshop on {OWL} Reasoner
                  Evaluation {(ORE-2015)} co-located with the 28th International Workshop
                  on Description Logics {(DL} 2015), Athens, Greece, June 6, 2015},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1387},
  pages        = {1--7},
  publisher    = {CEUR-WS.org},
  year         = {2015},
  url          = {https://ceur-ws.org/Vol-1387/paper\_1.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:23:02 +0100},
  biburl       = {https://dblp.org/rec/conf/ore/ZhouNGH15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/semweb/Jimenez-RuizGSC15,
  author       = {Ernesto Jim{\'{e}}nez{-}Ruiz and
                  Bernardo Cuenca Grau and
                  Alessandro Solimando and
                  Valerie V. Cross},
  editor       = {Pavel Shvaiko and
                  J{\'{e}}r{\^{o}}me Euzenat and
                  Ernesto Jim{\'{e}}nez{-}Ruiz and
                  Michelle Cheatham and
                  Oktie Hassanzadeh},
  title        = {LogMap family results for {OAEI} 2015},
  booktitle    = {Proceedings of the 10th International Workshop on Ontology Matching
                  collocated with the 14th International Semantic Web Conference {(ISWC}
                  2015), Bethlehem, PA, USA, October 12, 2015},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1545},
  pages        = {171--175},
  publisher    = {CEUR-WS.org},
  year         = {2015},
  url          = {https://ceur-ws.org/Vol-1545/oaei15\_paper10.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:23:04 +0100},
  biburl       = {https://dblp.org/rec/conf/semweb/Jimenez-RuizGSC15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/KaminskiG15,
  author       = {Mark Kaminski and
                  Bernardo Cuenca Grau},
  title        = {Computing Horn Rewritings of Description Logics Ontologies},
  journal      = {CoRR},
  volume       = {abs/1504.05150},
  year         = {2015},
  url          = {http://arxiv.org/abs/1504.05150},
  eprinttype    = {arXiv},
  eprint       = {1504.05150},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/KaminskiG15.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}
}
@inproceedings{DBLP:conf/aaai/KaminskiNG14,
  author       = {Mark Kaminski and
                  Yavor Nenov and
                  Bernardo Cuenca Grau},
  editor       = {Carla E. Brodley and
                  Peter Stone},
  title        = {Datalog Rewritability of Disjunctive Datalog Programs and its Applications
                  to Ontology Reasoning},
  booktitle    = {Proceedings of the Twenty-Eighth {AAAI} Conference on Artificial Intelligence,
                  July 27 -31, 2014, Qu{\'{e}}bec City, Qu{\'{e}}bec, Canada},
  pages        = {1077--1083},
  publisher    = {{AAAI} Press},
  year         = {2014},
  url          = {https://doi.org/10.1609/aaai.v28i1.8854},
  doi          = {10.1609/AAAI.V28I1.8854},
  timestamp    = {Mon, 04 Sep 2023 15:06:24 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/KaminskiNG14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/ZhouNGH14,
  author       = {Yujiao Zhou and
                  Yavor Nenov and
                  Bernardo Cuenca Grau and
                  Ian Horrocks},
  editor       = {Carla E. Brodley and
                  Peter Stone},
  title        = {Pay-As-You-Go {OWL} Query Answering Using a Triple Store},
  booktitle    = {Proceedings of the Twenty-Eighth {AAAI} Conference on Artificial Intelligence,
                  July 27 -31, 2014, Qu{\'{e}}bec City, Qu{\'{e}}bec, Canada},
  pages        = {1142--1148},
  publisher    = {{AAAI} Press},
  year         = {2014},
  url          = {https://doi.org/10.1609/aaai.v28i1.8856},
  doi          = {10.1609/AAAI.V28I1.8856},
  timestamp    = {Mon, 04 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/ZhouNGH14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/MartinezFGHH14,
  author       = {David Carral and
                  Cristina Feier and
                  Bernardo Cuenca Grau and
                  Pascal Hitzler and
                  Ian Horrocks},
  editor       = {St{\'{e}}phane Demri and
                  Deepak Kapur and
                  Christoph Weidenbach},
  title        = {\emph{EL}-ifying Ontologies},
  booktitle    = {Automated Reasoning - 7th International Joint Conference, {IJCAR}
                  2014, Held as Part of the Vienna Summer of Logic, {VSL} 2014, Vienna,
                  Austria, July 19-22, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8562},
  pages        = {464--479},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-08587-6\_36},
  doi          = {10.1007/978-3-319-08587-6\_36},
  timestamp    = {Tue, 12 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/MartinezFGHH14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cikm/ArenasGKMZ14,
  author       = {Marcelo Arenas and
                  Bernardo Cuenca Grau and
                  Evgeny Kharlamov and
                  Sarunas Marciuska and
                  Dmitriy Zheleznyakov},
  editor       = {Jianzhong Li and
                  Xiaoyang Sean Wang and
                  Minos N. Garofalakis and
                  Ian Soboroff and
                  Torsten Suel and
                  Min Wang},
  title        = {Faceted Search over Ontology-Enhanced {RDF} Data},
  booktitle    = {Proceedings of the 23rd {ACM} International Conference on Conference
                  on Information and Knowledge Management, {CIKM} 2014, Shanghai, China,
                  November 3-7, 2014},
  pages        = {939--948},
  publisher    = {{ACM}},
  year         = {2014},
  url          = {https://doi.org/10.1145/2661829.2662027},
  doi          = {10.1145/2661829.2662027},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cikm/ArenasGKMZ14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/CarralFRGHH14,
  author       = {David Carral and
                  Cristina Feier and
                  Ana Armas Romero and
                  Bernardo Cuenca Grau and
                  Pascal Hitzler and
                  Ian Horrocks},
  editor       = {Meghyn Bienvenu and
                  Magdalena Ortiz and
                  Riccardo Rosati and
                  Mantas Simkus},
  title        = {Is Your Ontology as Hard as You Think? Rewriting Ontologies into Simpler
                  DLs},
  booktitle    = {Informal Proceedings of the 27th International Workshop on Description
                  Logics, Vienna, Austria, July 17-20, 2014},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1193},
  pages        = {128--140},
  publisher    = {CEUR-WS.org},
  year         = {2014},
  url          = {https://ceur-ws.org/Vol-1193/paper\_75.pdf},
  timestamp    = {Mon, 26 Jun 2023 20:43:45 +0200},
  biburl       = {https://dblp.org/rec/conf/dlog/CarralFRGHH14.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    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dlog/GrauKKZ14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/GrauKZAM14,
  author       = {Bernardo Cuenca Grau and
                  Evgeny Kharlamov and
                  Dmitriy Zheleznyakov and
                  Marcelo Arenas and
                  Sarunas Marciuska},
  editor       = {Meghyn Bienvenu and
                  Magdalena Ortiz and
                  Riccardo Rosati and
                  Mantas Simkus},
  title        = {On Faceted Search over Knowledge Bases},
  booktitle    = {Informal Proceedings of the 27th International Workshop on Description
                  Logics, Vienna, Austria, July 17-20, 2014},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1193},
  pages        = {153--156},
  publisher    = {CEUR-WS.org},
  year         = {2014},
  url          = {https://ceur-ws.org/Vol-1193/paper\_89.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dlog/GrauKZAM14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/KaminskiNG14,
  author       = {Mark Kaminski and
                  Yavor Nenov and
                  Bernardo Cuenca Grau},
  editor       = {Meghyn Bienvenu and
                  Magdalena Ortiz and
                  Riccardo Rosati and
                  Mantas Simkus},
  title        = {Datalog Rewriting Techniques for Non-Horn 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        = {209--220},
  publisher    = {CEUR-WS.org},
  year         = {2014},
  url          = {https://ceur-ws.org/Vol-1193/paper\_62.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dlog/KaminskiNG14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/ZhouNGH14,
  author       = {Yujiao Zhou and
                  Yavor Nenov and
                  Bernardo Cuenca Grau and
                  Ian Horrocks},
  editor       = {Meghyn Bienvenu and
                  Magdalena Ortiz and
                  Riccardo Rosati and
                  Mantas Simkus},
  title        = {Pay-as-you-go Ontology Query Answering Using a Datalog Reasoner},
  booktitle    = {Informal Proceedings of the 27th International Workshop on Description
                  Logics, Vienna, Austria, July 17-20, 2014},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1193},
  pages        = {352--364},
  publisher    = {CEUR-WS.org},
  year         = {2014},
  url          = {https://ceur-ws.org/Vol-1193/paper\_58.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dlog/ZhouNGH14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/owled/ArenasGKMZ14,
  author       = {Marcelo Arenas and
                  Bernardo Cuenca Grau and
                  Evgeny Kharlamov and
                  Sarunas Marciuska and
                  Dmitriy Zheleznyakov},
  editor       = {C. Maria Keet and
                  Valentina A. M. Tamma},
  title        = {Enabling Faceted Search over {OWL} 2 with SemFacet},
  booktitle    = {Proceedings of the 11th International Workshop on {OWL:} Experiences
                  and Directions {(OWLED} 2014) co-located with 13th International Semantic
                  Web Conference on {(ISWC} 2014), Riva del Garda, Italy, October 17-18,
                  2014},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1265},
  pages        = {121--132},
  publisher    = {CEUR-WS.org},
  year         = {2014},
  url          = {https://ceur-ws.org/Vol-1265/owled2014\_submission\_17.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:23:02 +0100},
  biburl       = {https://dblp.org/rec/conf/owled/ArenasGKMZ14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rr/KaminskiNG14,
  author       = {Mark Kaminski and
                  Yavor Nenov and
                  Bernardo Cuenca Grau},
  editor       = {Roman Kontchakov and
                  Marie{-}Laure Mugnier},
  title        = {Computing Datalog Rewritings for Disjunctive Datalog Programs and
                  Description Logic Ontologies},
  booktitle    = {Web Reasoning and Rule Systems - 8th International Conference, {RR}
                  2014, Athens, Greece, September 15-17, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8741},
  pages        = {76--91},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-11113-1\_6},
  doi          = {10.1007/978-3-319-11113-1\_6},
  timestamp    = {Tue, 14 May 2019 10:00:55 +0200},
  biburl       = {https://dblp.org/rec/conf/rr/KaminskiNG14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/semweb/Dragisic0EFFGIJKLMPRSSSZG14,
  author       = {Zlatan Dragisic and
                  Kai Eckert and
                  J{\'{e}}r{\^{o}}me Euzenat and
                  Daniel Faria and
                  Alfio Ferrara and
                  Roger Granada and
                  Valentina Ivanova and
                  Ernesto Jim{\'{e}}nez{-}Ruiz and
                  Andreas Oskar Kempf and
                  Patrick Lambrix and
                  Stefano Montanelli and
                  Heiko Paulheim and
                  Dominique Ritze and
                  Pavel Shvaiko and
                  Alessandro Solimando and
                  C{\'{a}}ssia Trojahn dos Santos and
                  Ondrej Zamazal and
                  Bernardo Cuenca Grau},
  editor       = {Pavel Shvaiko and
                  J{\'{e}}r{\^{o}}me Euzenat and
                  Ming Mao and
                  Ernesto Jim{\'{e}}nez{-}Ruiz and
                  Juanzi Li and
                  Axel Ngonga},
  title        = {Results of the Ontology Alignment Evaluation Initiative 2014},
  booktitle    = {Proceedings of the 9th International Workshop on Ontology Matching
                  collocated with the 13th International Semantic Web Conference {(ISWC}
                  2014), Riva del Garda, Trentino, Italy, October 20, 2014},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1317},
  pages        = {61--104},
  publisher    = {CEUR-WS.org},
  year         = {2014},
  url          = {https://ceur-ws.org/Vol-1317/oaei14\_paper0.pdf},
  timestamp    = {Mon, 26 Jun 2023 20:39:38 +0200},
  biburl       = {https://dblp.org/rec/conf/semweb/Dragisic0EFFGIJKLMPRSSSZG14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/semweb/Jimenez-RuizGXSCCGZC14,
  author       = {Ernesto Jim{\'{e}}nez{-}Ruiz and
                  Bernardo Cuenca Grau and
                  Weiguo Xia and
                  Alessandro Solimando and
                  Xi Chen and
                  Valerie V. Cross and
                  Yuan Gong and
                  Shuo Zhang and
                  Anu Chennai{-}Thiagarajan},
  editor       = {Pavel Shvaiko and
                  J{\'{e}}r{\^{o}}me Euzenat and
                  Ming Mao and
                  Ernesto Jim{\'{e}}nez{-}Ruiz and
                  Juanzi Li and
                  Axel Ngonga},
  title        = {LogMap family results for {OAEI} 2014},
  booktitle    = {Proceedings of the 9th International Workshop on Ontology Matching
                  collocated with the 13th International Semantic Web Conference {(ISWC}
                  2014), Riva del Garda, Trentino, Italy, October 20, 2014},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1317},
  pages        = {126--134},
  publisher    = {CEUR-WS.org},
  year         = {2014},
  url          = {https://ceur-ws.org/Vol-1317/oaei14\_paper4.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/semweb/Jimenez-RuizGXSCCGZC14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/semweb/CarralFGHH14,
  author       = {David Carral and
                  Cristina Feier and
                  Bernardo Cuenca Grau and
                  Pascal Hitzler and
                  Ian Horrocks},
  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        = {Pushing the Boundaries of Tractable Ontology Reasoning},
  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        = {148--163},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-11915-1\_10},
  doi          = {10.1007/978-3-319-11915-1\_10},
  timestamp    = {Thu, 27 Jul 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/semweb/CarralFGHH14.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/swat4ls/GrauKMZZ14,
  author       = {Bernardo Cuenca Grau and
                  Evgeny Kharlamov and
                  Sarunas Marciuska and
                  Dmitriy Zheleznyakov and
                  Yujiao Zhou},
  editor       = {Adrian Paschke and
                  Albert Burger and
                  Paolo Romano and
                  M. Scott Marshall and
                  Andrea Splendiani},
  title        = {Querying Life Science Ontologies with SemFacet},
  booktitle    = {Proceedings of the 7th International Workshop on Semantic Web Applications
                  and Tools for Life Sciences, Berlin, Germany, December 9-11, 2014},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1320},
  publisher    = {CEUR-WS.org},
  year         = {2014},
  url          = {https://ceur-ws.org/Vol-1320/paper\_31.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:23:02 +0100},
  biburl       = {https://dblp.org/rec/conf/swat4ls/GrauKMZZ14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/www/ArenasGKMZJ14,
  author       = {Marcelo Arenas and
                  Bernardo Cuenca Grau and
                  Evgeny Kharlamov and
                  Sarunas Marciuska and
                  Dmitriy Zheleznyakov and
                  Ernesto Jim{\'{e}}nez{-}Ruiz},
  editor       = {Chin{-}Wan Chung and
                  Andrei Z. Broder and
                  Kyuseok Shim and
                  Torsten Suel},
  title        = {SemFacet: semantic faceted search over yago},
  booktitle    = {23rd International World Wide Web Conference, {WWW} '14, Seoul, Republic
                  of Korea, April 7-11, 2014, Companion Volume},
  pages        = {123--126},
  publisher    = {{ACM}},
  year         = {2014},
  url          = {https://doi.org/10.1145/2567948.2577011},
  doi          = {10.1145/2567948.2577011},
  timestamp    = {Mon, 16 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/www/ArenasGKMZJ14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/www/ArenasGKMZ14,
  author       = {Marcelo Arenas and
                  Bernardo Cuenca Grau and
                  Evgeny Kharlamov and
                  Sarunas Marciuska and
                  Dmitriy Zheleznyakov},
  editor       = {Chin{-}Wan Chung and
                  Andrei Z. Broder and
                  Kyuseok Shim and
                  Torsten Suel},
  title        = {Towards semantic faceted search},
  booktitle    = {23rd International World Wide Web Conference, {WWW} '14, Seoul, Republic
                  of Korea, April 7-11, 2014, Companion Volume},
  pages        = {219--220},
  publisher    = {{ACM}},
  year         = {2014},
  url          = {https://doi.org/10.1145/2567948.2577381},
  doi          = {10.1145/2567948.2577381},
  timestamp    = {Mon, 29 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/www/ArenasGKMZ14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/GrauMSH14,
  author       = {Bernardo Cuenca Grau and
                  Boris Motik and
                  Giorgos Stoilos and
                  Ian Horrocks},
  title        = {Completeness Guarantees for Incomplete Ontology Reasoners: Theory
                  and Practice},
  journal      = {CoRR},
  volume       = {abs/1401.4604},
  year         = {2014},
  url          = {http://arxiv.org/abs/1401.4604},
  eprinttype    = {arXiv},
  eprint       = {1401.4604},
  timestamp    = {Tue, 12 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/GrauMSH14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/GrauM14,
  author       = {Bernardo Cuenca Grau and
                  Boris Motik},
  title        = {Reasoning over Ontologies with Hidden Content: The Import-by-Query
                  Approach},
  journal      = {CoRR},
  volume       = {abs/1401.5853},
  year         = {2014},
  url          = {http://arxiv.org/abs/1401.5853},
  eprinttype    = {arXiv},
  eprint       = {1401.5853},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/GrauM14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/KaminskiNG14,
  author       = {Mark Kaminski and
                  Yavor Nenov and
                  Bernardo Cuenca Grau},
  title        = {Datalog Rewritability of Disjunctive Datalog Programs and its Applications
                  to Ontology Reasoning},
  journal      = {CoRR},
  volume       = {abs/1404.3141},
  year         = {2014},
  url          = {http://arxiv.org/abs/1404.3141},
  eprinttype    = {arXiv},
  eprint       = {1404.3141},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/KaminskiNG14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/GrauHKKMMW14,
  author       = {Bernardo Cuenca Grau and
                  Ian Horrocks and
                  Markus Kr{\"{o}}tzsch and
                  Clemens Kupke and
                  Despoina Magka and
                  Boris Motik and
                  Zhe Wang},
  title        = {Acyclicity Notions for Existential Rules and Their Application to
                  Query Answering in Ontologies},
  journal      = {CoRR},
  volume       = {abs/1406.4110},
  year         = {2014},
  url          = {http://arxiv.org/abs/1406.4110},
  eprinttype    = {arXiv},
  eprint       = {1406.4110},
  timestamp    = {Tue, 12 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/GrauHKKMMW14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/RomeroKGH14,
  author       = {Ana Armas Romero and
                  Mark Kaminski and
                  Bernardo Cuenca Grau and
                  Ian Horrocks},
  title        = {Ontology Module Extraction via Datalog Reasoning},
  journal      = {CoRR},
  volume       = {abs/1411.5313},
  year         = {2014},
  url          = {http://arxiv.org/abs/1411.5313},
  eprinttype    = {arXiv},
  eprint       = {1411.5313},
  timestamp    = {Tue, 12 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/RomeroKGH14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jair/GrauHKKMMW13,
  author       = {Bernardo Cuenca Grau and
                  Ian Horrocks and
                  Markus Kr{\"{o}}tzsch and
                  Clemens Kupke and
                  Despoina Magka and
                  Boris Motik and
                  Zhe Wang},
  title        = {Acyclicity Notions for Existential Rules and Their Application to
                  Query Answering in Ontologies},
  journal      = {J. Artif. Intell. Res.},
  volume       = {47},
  pages        = {741--808},
  year         = {2013},
  url          = {https://doi.org/10.1613/jair.3949},
  doi          = {10.1613/JAIR.3949},
  timestamp    = {Tue, 12 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jair/GrauHKKMMW13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/Jimenez-RuizMGH13,
  author       = {Ernesto Jim{\'{e}}nez{-}Ruiz and
                  Christian Meilicke and
                  Bernardo Cuenca Grau and
                  Ian Horrocks},
  editor       = {Thomas Eiter and
                  Birte Glimm and
                  Yevgeny Kazakov and
                  Markus Kr{\"{o}}tzsch},
  title        = {Evaluating Mapping Repair Systems with Large Biomedical Ontologies},
  booktitle    = {Informal Proceedings of the 26th International Workshop on Description
                  Logics, Ulm, Germany, July 23 - 26, 2013},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1014},
  pages        = {246--257},
  publisher    = {CEUR-WS.org},
  year         = {2013},
  url          = {https://ceur-ws.org/Vol-1014/paper\_63.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:23:17 +0100},
  biburl       = {https://dblp.org/rec/conf/dlog/Jimenez-RuizMGH13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/KaminskiG13,
  author       = {Mark Kaminski and
                  Bernardo Cuenca Grau},
  editor       = {Thomas Eiter and
                  Birte Glimm and
                  Yevgeny Kazakov and
                  Markus Kr{\"{o}}tzsch},
  title        = {Sufficient Conditions for First-Order and Datalog Rewritability in
                  {ELU}},
  booktitle    = {Informal Proceedings of the 26th International Workshop on Description
                  Logics, Ulm, Germany, July 23 - 26, 2013},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1014},
  pages        = {271--293},
  publisher    = {CEUR-WS.org},
  year         = {2013},
  url          = {https://ceur-ws.org/Vol-1014/paper\_58.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dlog/KaminskiG13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/GrauMSH13,
  author       = {Bernardo Cuenca Grau and
                  Boris Motik and
                  Giorgos Stoilos and
                  Ian Horrocks},
  editor       = {Francesca Rossi},
  title        = {Computing Datalog Rewritings Beyond Horn Ontologies},
  booktitle    = {{IJCAI} 2013, Proceedings of the 23rd International Joint Conference
                  on Artificial Intelligence, Beijing, China, August 3-9, 2013},
  pages        = {832--838},
  publisher    = {{IJCAI/AAAI}},
  year         = {2013},
  url          = {http://www.aaai.org/ocs/index.php/IJCAI/IJCAI13/paper/view/6318},
  timestamp    = {Tue, 23 Jan 2024 13:25:46 +0100},
  biburl       = {https://dblp.org/rec/conf/ijcai/GrauMSH13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ore/RomeroGHJ13,
  author       = {Ana Armas Romero and
                  Bernardo Cuenca Grau and
                  Ian Horrocks and
                  Ernesto Jim{\'{e}}nez{-}Ruiz},
  editor       = {Samantha Bail and
                  Birte Glimm and
                  Rafael S. Gon{\c{c}}alves and
                  Ernesto Jim{\'{e}}nez{-}Ruiz and
                  Yevgeny Kazakov and
                  Nicolas Matentzoglu and
                  Bijan Parsia},
  title        = {MORe: a Modular {OWL} Reasoner for Ontology Classification},
  booktitle    = {Informal Proceedings of the 2nd International Workshop on {OWL} Reasoner
                  Evaluation (ORE-2013), Ulm, Germany, July 22, 2013},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1015},
  pages        = {61--67},
  publisher    = {CEUR-WS.org},
  year         = {2013},
  url          = {https://ceur-ws.org/Vol-1015/paper\_8.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:23:01 +0100},
  biburl       = {https://dblp.org/rec/conf/ore/RomeroGHJ13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/owled/GrauGHHJKSSZ13,
  author       = {Bernardo Cuenca Grau and
                  Martin Giese and
                  Ian Horrocks and
                  Thomas Hubauer and
                  Ernesto Jim{\'{e}}nez{-}Ruiz and
                  Evgeny Kharlamov and
                  Michael Schmidt and
                  Ahmet Soylu and
                  Dmitriy Zheleznyakov},
  editor       = {Mariano Rodriguez{-}Muro and
                  Simon Jupp and
                  Kavitha Srinivas},
  title        = {Towards Query Formulation, Query-Driven Ontology Extensions in {OBDA}
                  Systems},
  booktitle    = {Proceedings of the 10th International Workshop on {OWL:} Experiences
                  and Directions {(OWLED} 2013) co-located with 10th Extended Semantic
                  Web Conference {(ESWC} 2013), Montpellier, France, May 26-27, 2013},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1080},
  publisher    = {CEUR-WS.org},
  year         = {2013},
  url          = {https://ceur-ws.org/Vol-1080/owled2013\_19.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:23:02 +0100},
  biburl       = {https://dblp.org/rec/conf/owled/GrauGHHJKSSZ13.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/semweb/GrauD0EFGIJKLNPRSSSZ13,
  author       = {Bernardo Cuenca Grau and
                  Zlatan Dragisic and
                  Kai Eckert and
                  J{\'{e}}r{\^{o}}me Euzenat and
                  Alfio Ferrara and
                  Roger Granada and
                  Valentina Ivanova and
                  Ernesto Jim{\'{e}}nez{-}Ruiz and
                  Andreas Oskar Kempf and
                  Patrick Lambrix and
                  Andriy Nikolov and
                  Heiko Paulheim and
                  Dominique Ritze and
                  Fran{\c{c}}ois Scharffe and
                  Pavel Shvaiko and
                  C{\'{a}}ssia Trojahn dos Santos and
                  Ondrej Zamazal},
  editor       = {Pavel Shvaiko and
                  J{\'{e}}r{\^{o}}me Euzenat and
                  Kavitha Srinivas and
                  Ming Mao and
                  Ernesto Jim{\'{e}}nez{-}Ruiz},
  title        = {Results of the Ontology Alignment Evaluation Initiative 2013},
  booktitle    = {Proceedings of the 8th International Workshop on Ontology Matching
                  co-located with the 12th International Semantic Web Conference {(ISWC}
                  2013), Sydney, Australia, October 21, 2013},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1111},
  pages        = {61--100},
  publisher    = {CEUR-WS.org},
  year         = {2013},
  url          = {https://ceur-ws.org/Vol-1111/oaei13\_paper0.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:23:09 +0100},
  biburl       = {https://dblp.org/rec/conf/semweb/GrauD0EFGIJKLNPRSSSZ13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/semweb/Jimenez-RuizGH13,
  author       = {Ernesto Jim{\'{e}}nez{-}Ruiz and
                  Bernardo Cuenca Grau and
                  Ian Horrocks},
  editor       = {Pavel Shvaiko and
                  J{\'{e}}r{\^{o}}me Euzenat and
                  Kavitha Srinivas and
                  Ming Mao and
                  Ernesto Jim{\'{e}}nez{-}Ruiz},
  title        = {LogMap and LogMapLt results for {OAEI} 2013},
  booktitle    = {Proceedings of the 8th International Workshop on Ontology Matching
                  co-located with the 12th International Semantic Web Conference {(ISWC}
                  2013), Sydney, Australia, October 21, 2013},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1111},
  pages        = {131--138},
  publisher    = {CEUR-WS.org},
  year         = {2013},
  url          = {https://ceur-ws.org/Vol-1111/oaei13\_paper5.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/semweb/Jimenez-RuizGH13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/semweb/Jimenez-RuizGH13a,
  author       = {Ernesto Jim{\'{e}}nez{-}Ruiz and
                  Bernardo Cuenca Grau and
                  Ian Horrocks},
  editor       = {Pavel Shvaiko and
                  J{\'{e}}r{\^{o}}me Euzenat and
                  Kavitha Srinivas and
                  Ming Mao and
                  Ernesto Jim{\'{e}}nez{-}Ruiz},
  title        = {Is my ontology matching system similar to yours?},
  booktitle    = {Proceedings of the 8th International Workshop on Ontology Matching
                  co-located with the 12th International Semantic Web Conference {(ISWC}
                  2013), Sydney, Australia, October 21, 2013},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1111},
  pages        = {229--230},
  publisher    = {CEUR-WS.org},
  year         = {2013},
  url          = {https://ceur-ws.org/Vol-1111/om2013\_poster6.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/semweb/Jimenez-RuizGH13a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/semweb/ZhouNGH13,
  author       = {Yujiao Zhou and
                  Yavor Nenov and
                  Bernardo Cuenca Grau and
                  Ian Horrocks},
  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        = {Complete Query Answering over Horn Ontologies Using a Triple Store},
  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        = {720--736},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-41335-3\_45},
  doi          = {10.1007/978-3-642-41335-3\_45},
  timestamp    = {Tue, 12 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/semweb/ZhouNGH13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/www/ZhouGHWB13,
  author       = {Yujiao Zhou and
                  Bernardo Cuenca Grau and
                  Ian Horrocks and
                  Zhe Wu and
                  Jay Banerjee},
  editor       = {Daniel Schwabe and
                  Virg{\'{\i}}lio A. F. Almeida and
                  Hartmut Glaser and
                  Ricardo Baeza{-}Yates and
                  Sue B. Moon},
  title        = {Making the most of your triple store: query answering in {OWL} 2 using
                  an {RL} reasoner},
  booktitle    = {22nd International World Wide Web Conference, {WWW} '13, Rio de Janeiro,
                  Brazil, May 13-17, 2013},
  pages        = {1569--1580},
  publisher    = {International World Wide Web Conferences Steering Committee / {ACM}},
  year         = {2013},
  url          = {https://doi.org/10.1145/2488388.2488525},
  doi          = {10.1145/2488388.2488525},
  timestamp    = {Tue, 12 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/www/ZhouGHWB13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1304-1402,
  author       = {Bernardo Cuenca Grau and
                  Boris Motik and
                  Giorgos Stoilos and
                  Ian Horrocks},
  title        = {Computing Datalog Rewritings beyond Horn Ontologies},
  journal      = {CoRR},
  volume       = {abs/1304.1402},
  year         = {2013},
  url          = {http://arxiv.org/abs/1304.1402},
  eprinttype    = {arXiv},
  eprint       = {1304.1402},
  timestamp    = {Tue, 12 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1304-1402.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jair/GrauMSH12,
  author       = {Bernardo Cuenca Grau and
                  Boris Motik and
                  Giorgos Stoilos and
                  Ian Horrocks},
  title        = {Completeness Guarantees for Incomplete Ontology Reasoners: Theory
                  and Practice},
  journal      = {J. Artif. Intell. Res.},
  volume       = {43},
  pages        = {419--476},
  year         = {2012},
  url          = {https://doi.org/10.1613/jair.3470},
  doi          = {10.1613/JAIR.3470},
  timestamp    = {Tue, 12 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jair/GrauMSH12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jair/GrauM12,
  author       = {Bernardo Cuenca Grau and
                  Boris Motik},
  title        = {Reasoning over Ontologies with Hidden Content: The Import-by-Query
                  Approach},
  journal      = {J. Artif. Intell. Res.},
  volume       = {45},
  pages        = {197--255},
  year         = {2012},
  url          = {https://doi.org/10.1613/jair.3579},
  doi          = {10.1613/JAIR.3579},
  timestamp    = {Mon, 21 Jan 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jair/GrauM12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/ImprialouSG12,
  author       = {Martha Imprialou and
                  Giorgos Stoilos and
                  Bernardo Cuenca Grau},
  editor       = {J{\"{o}}rg Hoffmann and
                  Bart Selman},
  title        = {Benchmarking Ontology-Based Query Rewriting Systems},
  booktitle    = {Proceedings of the Twenty-Sixth {AAAI} Conference on Artificial Intelligence,
                  July 22-26, 2012, Toronto, Ontario, Canada},
  pages        = {779--785},
  publisher    = {{AAAI} Press},
  year         = {2012},
  url          = {https://doi.org/10.1609/aaai.v26i1.8215},
  doi          = {10.1609/AAAI.V26I1.8215},
  timestamp    = {Mon, 04 Sep 2023 15:56:47 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/ImprialouSG12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amw/GrauKZ12,
  author       = {Bernardo Cuenca Grau and
                  Evgeny Kharlamov and
                  Dmitriy Zheleznyakov},
  editor       = {Juliana Freire and
                  Dan Suciu},
  title        = {Ontology Contraction: Beyond the Propositional Paradise},
  booktitle    = {Proceedings of the 6th Alberto Mendelzon International Workshop on
                  Foundations of Data Management, Ouro Preto, Brazil, June 27-30, 2012},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {866},
  pages        = {62--74},
  publisher    = {CEUR-WS.org},
  year         = {2012},
  url          = {https://ceur-ws.org/Vol-866/paper4.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:23:19 +0100},
  biburl       = {https://dblp.org/rec/conf/amw/GrauKZ12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/RomeroGH12,
  author       = {Ana Armas Romero and
                  Bernardo Cuenca Grau and
                  Ian Horrocks},
  editor       = {Yevgeny Kazakov and
                  Domenico Lembo and
                  Frank Wolter},
  title        = {Modular Combination of Reasoners for Ontology Classification},
  booktitle    = {Proceedings of the 2012 International Workshop on Description Logics,
                  DL-2012, Rome, Italy, June 7-10, 2012},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {846},
  publisher    = {CEUR-WS.org},
  year         = {2012},
  url          = {https://ceur-ws.org/Vol-846/paper\_35.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:23:17 +0100},
  biburl       = {https://dblp.org/rec/conf/dlog/RomeroGH12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/ZhouGH12,
  author       = {Yujiao Zhou and
                  Bernardo Cuenca Grau and
                  Ian Horrocks},
  editor       = {Yevgeny Kazakov and
                  Domenico Lembo and
                  Frank Wolter},
  title        = {Efficient Upper Bound Computation of Query Answers in Expressive Description
                  Logics},
  booktitle    = {Proceedings of the 2012 International Workshop on Description Logics,
                  DL-2012, Rome, Italy, June 7-10, 2012},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {846},
  publisher    = {CEUR-WS.org},
  year         = {2012},
  url          = {https://ceur-ws.org/Vol-846/paper\_43.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dlog/ZhouGH12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/Jimenez-RuizGZH12,
  author       = {Ernesto Jim{\'{e}}nez{-}Ruiz and
                  Bernardo Cuenca Grau and
                  Yujiao Zhou and
                  Ian Horrocks},
  editor       = {Luc De Raedt and
                  Christian Bessiere and
                  Didier Dubois and
                  Patrick Doherty and
                  Paolo Frasconi and
                  Fredrik Heintz and
                  Peter J. F. Lucas},
  title        = {Large-scale Interactive Ontology Matching: Algorithms and Implementation},
  booktitle    = {{ECAI} 2012 - 20th European Conference on Artificial Intelligence.
                  Including Prestigious Applications of Artificial Intelligence {(PAIS-2012)}
                  System Demonstrations Track, Montpellier, France, August 27-31 , 2012},
  series       = {Frontiers in Artificial Intelligence and Applications},
  volume       = {242},
  pages        = {444--449},
  publisher    = {{IOS} Press},
  year         = {2012},
  url          = {https://doi.org/10.3233/978-1-61499-098-7-444},
  doi          = {10.3233/978-1-61499-098-7-444},
  timestamp    = {Mon, 19 Jun 2023 16:36:09 +0200},
  biburl       = {https://dblp.org/rec/conf/ecai/Jimenez-RuizGZH12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/GrauHKKMMW12,
  author       = {Bernardo Cuenca Grau and
                  Ian Horrocks and
                  Markus Kr{\"{o}}tzsch and
                  Clemens Kupke and
                  Despoina Magka and
                  Boris Motik and
                  Zhe Wang},
  editor       = {Gerhard Brewka and
                  Thomas Eiter and
                  Sheila A. McIlraith},
  title        = {Acyclicity Conditions and their Application to Query Answering in
                  Description Logics},
  booktitle    = {Principles of Knowledge Representation and Reasoning: Proceedings
                  of the Thirteenth International Conference, {KR} 2012, Rome, Italy,
                  June 10-14, 2012},
  publisher    = {{AAAI} Press},
  year         = {2012},
  url          = {http://www.aaai.org/ocs/index.php/KR/KR12/paper/view/4490},
  timestamp    = {Tue, 12 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/kr/GrauHKKMMW12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/GrauJKZ12,
  author       = {Bernardo Cuenca Grau and
                  Ernesto Jim{\'{e}}nez{-}Ruiz and
                  Evgeny Kharlamov and
                  Dmitriy Zheleznyakov},
  editor       = {Gerhard Brewka and
                  Thomas Eiter and
                  Sheila A. McIlraith},
  title        = {Ontology Evolution Under Semantic Constraints},
  booktitle    = {Principles of Knowledge Representation and Reasoning: Proceedings
                  of the Thirteenth International Conference, {KR} 2012, Rome, Italy,
                  June 10-14, 2012},
  publisher    = {{AAAI} Press},
  year         = {2012},
  url          = {http://www.aaai.org/ocs/index.php/KR/KR12/paper/view/4480},
  timestamp    = {Tue, 09 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/kr/GrauJKZ12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ore/Jimenez-RuizGH12,
  author       = {Ernesto Jim{\'{e}}nez{-}Ruiz and
                  Bernardo Cuenca Grau and
                  Ian Horrocks},
  editor       = {Ian Horrocks and
                  Mikalai Yatskevich and
                  Ernesto Jim{\'{e}}nez{-}Ruiz},
  title        = {On the Feasibility of Using {OWL} 2 {DL} Reasoners for Ontology Matching
                  Problems},
  booktitle    = {Proceedings of the 1st International Workshop on {OWL} Reasoner Evaluation
                  (ORE-2012), Manchester, UK, July 1st, 2012},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {858},
  publisher    = {CEUR-WS.org},
  year         = {2012},
  url          = {https://ceur-ws.org/Vol-858/ore2012\_paper9.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:23:01 +0100},
  biburl       = {https://dblp.org/rec/conf/ore/Jimenez-RuizGH12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/owled/GrauKZ12,
  author       = {Bernardo Cuenca Grau and
                  Evgeny Kharlamov and
                  Dmitriy Zheleznyakov},
  editor       = {Pavel Klinov and
                  Matthew Horridge},
  title        = {How to Contract Ontologies},
  booktitle    = {Proceedings of {OWL:} Experiences and Directions Workshop 2012, Heraklion,
                  Crete, Greece, May 27-28, 2012},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {849},
  publisher    = {CEUR-WS.org},
  year         = {2012},
  url          = {https://ceur-ws.org/Vol-849/paper\_26.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:23:02 +0100},
  biburl       = {https://dblp.org/rec/conf/owled/GrauKZ12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/semweb/Aguirre0EFHHMNRSSSSJGZ12,
  author       = {Jos{\'{e}}{-}Luis Aguirre and
                  Kai Eckert and
                  J{\'{e}}r{\^{o}}me Euzenat and
                  Alfio Ferrara and
                  Willem Robert van Hage and
                  Laura Hollink and
                  Christian Meilicke and
                  Andriy Nikolov and
                  Dominique Ritze and
                  Fran{\c{c}}ois Scharffe and
                  Pavel Shvaiko and
                  Ondrej Sv{\'{a}}b{-}Zamazal and
                  C{\'{a}}ssia Trojahn dos Santos and
                  Ernesto Jim{\'{e}}nez{-}Ruiz and
                  Bernardo Cuenca Grau and
                  Benjamin Zapilko},
  editor       = {Pavel Shvaiko and
                  J{\'{e}}r{\^{o}}me Euzenat and
                  Anastasios Kementsietsidis and
                  Ming Mao and
                  Natasha Fridman Noy and
                  Heiner Stuckenschmidt},
  title        = {Results of the Ontology Alignment Evaluation Initiative 2012},
  booktitle    = {Proceedings of the 7th International Workshop on Ontology Matching,
                  Boston, MA, USA, November 11, 2012},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {946},
  publisher    = {CEUR-WS.org},
  year         = {2012},
  url          = {https://ceur-ws.org/Vol-946/oaei12\_paper0.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:23:08 +0100},
  biburl       = {https://dblp.org/rec/conf/semweb/Aguirre0EFHHMNRSSSSJGZ12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/semweb/Jimenez-RuizGH12,
  author       = {Ernesto Jim{\'{e}}nez{-}Ruiz and
                  Bernardo Cuenca Grau and
                  Ian Horrocks},
  editor       = {Pavel Shvaiko and
                  J{\'{e}}r{\^{o}}me Euzenat and
                  Anastasios Kementsietsidis and
                  Ming Mao and
                  Natasha Fridman Noy and
                  Heiner Stuckenschmidt},
  title        = {LogMap and LogMapLt results for {OAEI} 2012},
  booktitle    = {Proceedings of the 7th International Workshop on Ontology Matching,
                  Boston, MA, USA, November 11, 2012},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {946},
  publisher    = {CEUR-WS.org},
  year         = {2012},
  url          = {https://ceur-ws.org/Vol-946/oaei12\_paper6.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/semweb/Jimenez-RuizGH12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/semweb/RomeroGH12,
  author       = {Ana Armas Romero and
                  Bernardo Cuenca Grau and
                  Ian Horrocks},
  editor       = {Philippe Cudr{\'{e}}{-}Mauroux and
                  Jeff Heflin and
                  Evren Sirin and
                  Tania Tudorache and
                  J{\'{e}}r{\^{o}}me Euzenat and
                  Manfred Hauswirth and
                  Josiane Xavier Parreira and
                  Jim Hendler and
                  Guus Schreiber and
                  Abraham Bernstein and
                  Eva Blomqvist},
  title        = {MORe: Modular Combination of {OWL} Reasoners for Ontology Classification},
  booktitle    = {The Semantic Web - {ISWC} 2012 - 11th International Semantic Web Conference,
                  Boston, MA, USA, November 11-15, 2012, Proceedings, Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {7649},
  pages        = {1--16},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-35176-1\_1},
  doi          = {10.1007/978-3-642-35176-1\_1},
  timestamp    = {Tue, 12 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/semweb/RomeroGH12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sepln/Jimenez-RuizGH12,
  author       = {Ernesto Jim{\'{e}}nez{-}Ruiz and
                  Bernardo Cuenca Grau and
                  Ian Horrocks},
  editor       = {Ernesto Jim{\'{e}}nez{-}Ruiz and
                  Horacio Saggion and
                  Mar{\'{\i}}a Jos{\'{e}} Aramburu Cabo and
                  Roxana D{\'{a}}nger and
                  Antonio Jimeno{-}Yepes and
                  Elena Lloret and
                  Manuel Palomar},
  title        = {Exploiting the {UMLS} metathesaurus in the ontology alignment evaluation
                  initiative},
  booktitle    = {Proceedings of the 2nd International Workshop on Exploiting Large
                  Knowledge Repositories, Castell{\'{o}}n de la Plana, Spain, September
                  7, 2012},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {882},
  publisher    = {CEUR-WS.org},
  year         = {2012},
  url          = {https://ceur-ws.org/Vol-882/elkr\_atsf\_2012\_paper9.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:22:58 +0100},
  biburl       = {https://dblp.org/rec/conf/sepln/Jimenez-RuizGH12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1208-3148,
  author       = {Christian Meilicke and
                  Ondrej Sv{\'{a}}b{-}Zamazal and
                  C{\'{a}}ssia Trojahn dos Santos and
                  Ernesto Jim{\'{e}}nez{-}Ruiz and
                  Jos{\'{e}}{-}Luis Aguirre and
                  Heiner Stuckenschmidt and
                  Bernardo Cuenca Grau},
  title        = {Evaluating Ontology Matching Systems on Large, Multilingual and Real-world
                  Test Cases},
  journal      = {CoRR},
  volume       = {abs/1208.3148},
  year         = {2012},
  url          = {http://arxiv.org/abs/1208.3148},
  eprinttype    = {arXiv},
  eprint       = {1208.3148},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1208-3148.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/biomedsem/Jimenez-RuizGHL11,
  author       = {Ernesto Jim{\'{e}}nez{-}Ruiz and
                  Bernardo Cuenca Grau and
                  Ian Horrocks and
                  Rafael Berlanga Llavori},
  title        = {Logic-based assessment of the compatibility of {UMLS} ontology sources},
  journal      = {J. Biomed. Semant.},
  volume       = {2},
  number       = {{S-1}},
  pages        = {S2},
  year         = {2011},
  url          = {http://www.jbiomedsem.com/content/2/S1/S2},
  timestamp    = {Tue, 12 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/biomedsem/Jimenez-RuizGHL11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dke/Jimenez-RuizGHL11,
  author       = {Ernesto Jim{\'{e}}nez{-}Ruiz and
                  Bernardo Cuenca Grau and
                  Ian Horrocks and
                  Rafael Berlanga Llavori},
  title        = {Supporting concurrent ontology development: Framework, algorithms
                  and tool},
  journal      = {Data Knowl. Eng.},
  volume       = {70},
  number       = {1},
  pages        = {146--164},
  year         = {2011},
  url          = {https://doi.org/10.1016/j.datak.2010.10.001},
  doi          = {10.1016/J.DATAK.2010.10.001},
  timestamp    = {Tue, 12 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/dke/Jimenez-RuizGHL11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/StoilosG11,
  author       = {Giorgos Stoilos and
                  Bernardo Cuenca Grau},
  editor       = {Riccardo Rosati and
                  Sebastian Rudolph and
                  Michael Zakharyaschev},
  title        = {Repairing Incomplete Reasoners},
  booktitle    = {Proceedings of the 24th International Workshop on Description Logics
                  {(DL} 2011), Barcelona, Spain, July 13-16, 2011},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {745},
  publisher    = {CEUR-WS.org},
  year         = {2011},
  url          = {https://ceur-ws.org/Vol-745/paper\_13.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:23:17 +0100},
  biburl       = {https://dblp.org/rec/conf/dlog/StoilosG11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/GrauS11,
  author       = {Bernardo Cuenca Grau and
                  Giorgos Stoilos},
  editor       = {Toby Walsh},
  title        = {What to Ask to an Incomplete Semantic Web Reasoner?},
  booktitle    = {{IJCAI} 2011, Proceedings of the 22nd International Joint Conference
                  on Artificial Intelligence, Barcelona, Catalonia, Spain, July 16-22,
                  2011},
  pages        = {2226--2231},
  publisher    = {{IJCAI/AAAI}},
  year         = {2011},
  url          = {https://doi.org/10.5591/978-1-57735-516-8/IJCAI11-371},
  doi          = {10.5591/978-1-57735-516-8/IJCAI11-371},
  timestamp    = {Tue, 20 Aug 2019 16:16:04 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/GrauS11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/semweb/Jimenez-RuizG11,
  author       = {Ernesto Jim{\'{e}}nez{-}Ruiz and
                  Bernardo Cuenca Grau},
  editor       = {Lora Aroyo and
                  Chris Welty and
                  Harith Alani and
                  Jamie Taylor and
                  Abraham Bernstein and
                  Lalana Kagal and
                  Natasha Fridman Noy and
                  Eva Blomqvist},
  title        = {LogMap: Logic-Based and Scalable Ontology Matching},
  booktitle    = {The Semantic Web - {ISWC} 2011 - 10th International Semantic Web Conference,
                  Bonn, Germany, October 23-27, 2011, Proceedings, Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {7031},
  pages        = {273--288},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-25073-6\_18},
  doi          = {10.1007/978-3-642-25073-6\_18},
  timestamp    = {Tue, 07 Sep 2021 13:47:52 +0200},
  biburl       = {https://dblp.org/rec/conf/semweb/Jimenez-RuizG11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/semweb/Jimenez-RuizG11a,
  author       = {Ernesto Jim{\'{e}}nez{-}Ruiz and
                  Bernardo Cuenca Grau},
  editor       = {Pavel Shvaiko and
                  J{\'{e}}r{\^{o}}me Euzenat and
                  Tom Heath and
                  Christoph Quix and
                  Ming Mao and
                  Isabel F. Cruz},
  title        = {Towards more challenging problems for ontology matching tools},
  booktitle    = {Proceedings of the 6th International Workshop on Ontology Matching,
                  Bonn, Germany, October 24, 2011},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {814},
  publisher    = {CEUR-WS.org},
  year         = {2011},
  url          = {https://ceur-ws.org/Vol-814/om2011\_poster1.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:23:04 +0100},
  biburl       = {https://dblp.org/rec/conf/semweb/Jimenez-RuizG11a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/semweb/Jimenez-RuizMG11,
  author       = {Ernesto Jim{\'{e}}nez{-}Ruiz and
                  Ant{\'{o}}n Morant and
                  Bernardo Cuenca Grau},
  editor       = {Pavel Shvaiko and
                  J{\'{e}}r{\^{o}}me Euzenat and
                  Tom Heath and
                  Christoph Quix and
                  Ming Mao and
                  Isabel F. Cruz},
  title        = {LogMap results for {OAEI} 2011},
  booktitle    = {Proceedings of the 6th International Workshop on Ontology Matching,
                  Bonn, Germany, October 24, 2011},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {814},
  publisher    = {CEUR-WS.org},
  year         = {2011},
  url          = {https://ceur-ws.org/Vol-814/oaei11\_paper8.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/semweb/Jimenez-RuizMG11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/semweb/StoilosGMH11,
  author       = {Giorgos Stoilos and
                  Bernardo Cuenca Grau and
                  Boris Motik and
                  Ian Horrocks},
  editor       = {Lora Aroyo and
                  Chris Welty and
                  Harith Alani and
                  Jamie Taylor and
                  Abraham Bernstein and
                  Lalana Kagal and
                  Natasha Fridman Noy and
                  Eva Blomqvist},
  title        = {Repairing Ontologies for Incomplete Reasoners},
  booktitle    = {The Semantic Web - {ISWC} 2011 - 10th International Semantic Web Conference,
                  Bonn, Germany, October 23-27, 2011, Proceedings, Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {7031},
  pages        = {681--696},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-25073-6\_43},
  doi          = {10.1007/978-3-642-25073-6\_43},
  timestamp    = {Tue, 12 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/semweb/StoilosGMH11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/swat4ls/Jimenez-RuizGZ11,
  author       = {Ernesto Jim{\'{e}}nez{-}Ruiz and
                  Bernardo Cuenca Grau and
                  Yujiao Zhou},
  editor       = {Adrian Paschke and
                  Albert Burger and
                  Paolo Romano and
                  M. Scott Marshall and
                  Andrea Splendiani},
  title        = {LogMap 2.0: towards logic-based, scalable and interactive ontology
                  matching},
  booktitle    = {Proceedings of the 4th International Workshop on Semantic Web Applications
                  and Tools for the Life Sciences, {SWAT4LS} 2011, London, United Kingdom,
                  December 07-09, 2011},
  pages        = {45--46},
  publisher    = {{ACM}},
  year         = {2011},
  url          = {https://doi.org/10.1145/2166896.2166911},
  doi          = {10.1145/2166896.2166911},
  timestamp    = {Mon, 29 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/swat4ls/Jimenez-RuizGZ11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/GrauHKS10,
  author       = {Bernardo Cuenca Grau and
                  Christian Halaschek{-}Wiener and
                  Yevgeny Kazakov and
                  Boontawee Suntisrivaraporn},
  title        = {Incremental Classification of Description Logics Ontologies},
  journal      = {J. Autom. Reason.},
  volume       = {44},
  number       = {4},
  pages        = {337--369},
  year         = {2010},
  url          = {https://doi.org/10.1007/s10817-009-9159-0},
  doi          = {10.1007/S10817-009-9159-0},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jar/GrauHKS10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/semweb/Grau10,
  author       = {Bernardo Cuenca Grau},
  title        = {Privacy in ontology-based information systems: {A} pending matter},
  journal      = {Semantic Web},
  volume       = {1},
  number       = {1-2},
  pages        = {137--141},
  year         = {2010},
  url          = {https://doi.org/10.3233/SW-2010-0009},
  doi          = {10.3233/SW-2010-0009},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/semweb/Grau10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/StoilosGH10,
  author       = {Giorgos Stoilos and
                  Bernardo Cuenca Grau and
                  Ian Horrocks},
  editor       = {Maria Fox and
                  David Poole},
  title        = {How Incomplete Is Your Semantic Web Reasoner?},
  booktitle    = {Proceedings of the Twenty-Fourth {AAAI} Conference on Artificial Intelligence,
                  {AAAI} 2010, Atlanta, Georgia, USA, July 11-15, 2010},
  pages        = {1431--1436},
  publisher    = {{AAAI} Press},
  year         = {2010},
  url          = {https://doi.org/10.1609/aaai.v24i1.7498},
  doi          = {10.1609/AAAI.V24I1.7498},
  timestamp    = {Mon, 04 Sep 2023 16:23:45 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/StoilosGH10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/GrauM10,
  author       = {Bernardo Cuenca Grau and
                  Boris Motik},
  editor       = {Fangzhen Lin and
                  Ulrike Sattler and
                  Miroslaw Truszczynski},
  title        = {Pushing the Limits of Reasoning over Ontologies with Hidden Content},
  booktitle    = {Principles of Knowledge Representation and Reasoning: Proceedings
                  of the Twelfth International Conference, {KR} 2010, Toronto, Ontario,
                  Canada, May 9-13, 2010},
  publisher    = {{AAAI} Press},
  year         = {2010},
  url          = {http://aaai.org/ocs/index.php/KR/KR2010/paper/view/1244},
  timestamp    = {Tue, 08 Mar 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/kr/GrauM10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/semweb/Jimenez-RuizGHL10,
  author       = {Ernesto Jim{\'{e}}nez{-}Ruiz and
                  Bernardo Cuenca Grau and
                  Ian Horrocks and
                  Rafael Berlanga Llavori},
  editor       = {Pavel Shvaiko and
                  J{\'{e}}r{\^{o}}me Euzenat and
                  Fausto Giunchiglia and
                  Heiner Stuckenschmidt and
                  Ming Mao and
                  Isabel F. Cruz},
  title        = {Towards a UMLS-based silver standard for matching biomedical ontologies},
  booktitle    = {Proceedings of the 5th International Workshop on Ontology Matching
                  (OM-2010), Shanghai, China, November 7, 2010},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {689},
  publisher    = {CEUR-WS.org},
  year         = {2010},
  url          = {https://ceur-ws.org/Vol-689/om2010\_poster1.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:23:03 +0100},
  biburl       = {https://dblp.org/rec/conf/semweb/Jimenez-RuizGHL10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/semweb/StoilosGH10,
  author       = {Giorgos Stoilos and
                  Bernardo Cuenca Grau and
                  Ian Horrocks},
  editor       = {Peter F. Patel{-}Schneider and
                  Yue Pan and
                  Pascal Hitzler and
                  Peter Mika and
                  Lei Zhang and
                  Jeff Z. Pan and
                  Ian Horrocks and
                  Birte Glimm},
  title        = {Completeness Guarantees for Incomplete Reasoners},
  booktitle    = {The Semantic Web - {ISWC} 2010 - 9th International Semantic Web Conference,
                  {ISWC} 2010, Shanghai, China, November 7-11, 2010, Revised Selected
                  Papers, Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {6496},
  pages        = {747--763},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-17746-0\_47},
  doi          = {10.1007/978-3-642-17746-0\_47},
  timestamp    = {Tue, 12 Apr 2022 14:46:29 +0200},
  biburl       = {https://dblp.org/rec/conf/semweb/StoilosGH10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/swat4ls/Jimenez-RuizGLR10,
  author       = {Ernesto Jim{\'{e}}nez{-}Ruiz and
                  Bernardo Cuenca Grau and
                  Rafael Berlanga Llavori and
                  Dietrich Rebholz{-}Schuhmann},
  editor       = {Albert Burger and
                  M. Scott Marshall and
                  Paolo Romano and
                  Adrian Paschke and
                  Andrea Splendiani},
  title        = {First Steps in the Logic-based Assessment of Post-composed Phenotypic
                  Descriptions},
  booktitle    = {Proceedings of the Workshop on Semantic Web Applications and Tools
                  for Life Sciences, Berlin, Germany, December 10, 2010},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {698},
  publisher    = {CEUR-WS.org},
  year         = {2010},
  url          = {https://ceur-ws.org/Vol-698/poster3.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:23:03 +0100},
  biburl       = {https://dblp.org/rec/conf/swat4ls/Jimenez-RuizGLR10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/womo/2010,
  editor       = {Oliver Kutz and
                  Joana Hois and
                  Jie Bao and
                  Bernardo Cuenca Grau},
  title        = {Modular Ontologies - Proceedings of the Fourth International Workshop,
                  WoMO 2010, Toronto, ON, Canada, May 11, 2010},
  series       = {Frontiers in Artificial Intelligence and Applications},
  volume       = {210},
  publisher    = {{IOS} Press},
  year         = {2010},
  url          = {http://www.booksonline.iospress.nl/Content/View.aspx?piid=16268},
  isbn         = {978-1-60750-543-3},
  timestamp    = {Tue, 07 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/womo/2010.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1012-1659,
  author       = {Ernesto Jim{\'{e}}nez{-}Ruiz and
                  Bernardo Cuenca Grau and
                  Rafael Berlanga Llavori and
                  Dietrich Rebholz{-}Schuhmann},
  title        = {First steps in the logic-based assessment of post-composed phenotypic
                  descriptions},
  journal      = {CoRR},
  volume       = {abs/1012.1659},
  year         = {2010},
  url          = {http://arxiv.org/abs/1012.1659},
  eprinttype    = {arXiv},
  eprint       = {1012.1659},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1012-1659.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/MotikGHS09,
  author       = {Boris Motik and
                  Bernardo Cuenca Grau and
                  Ian Horrocks and
                  Ulrike Sattler},
  title        = {Representing ontologies using description logics, description graphs,
                  and rules},
  journal      = {Artif. Intell.},
  volume       = {173},
  number       = {14},
  pages        = {1275--1309},
  year         = {2009},
  url          = {https://doi.org/10.1016/j.artint.2009.06.003},
  doi          = {10.1016/J.ARTINT.2009.06.003},
  timestamp    = {Tue, 12 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ai/MotikGHS09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/GrauM09,
  author       = {Bernardo Cuenca Grau and
                  Boris Motik},
  editor       = {Bernardo Cuenca Grau and
                  Ian Horrocks and
                  Boris Motik and
                  Ulrike Sattler},
  title        = {Importing Ontologies with Hidden Content},
  booktitle    = {Proceedings of the 22nd International Workshop on Description Logics
                  {(DL} 2009), Oxford, UK, July 27-30, 2009},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {477},
  publisher    = {CEUR-WS.org},
  year         = {2009},
  url          = {https://ceur-ws.org/Vol-477/paper\_57.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:23:16 +0100},
  biburl       = {https://dblp.org/rec/conf/dlog/GrauM09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/Jimenez-RuizGHL09,
  author       = {Ernesto Jim{\'{e}}nez{-}Ruiz and
                  Bernardo Cuenca Grau and
                  Ian Horrocks and
                  Rafael Berlanga Llavori},
  editor       = {Bernardo Cuenca Grau and
                  Ian Horrocks and
                  Boris Motik and
                  Ulrike Sattler},
  title        = {Building Ontologies Collaboratively Using ContentCVS},
  booktitle    = {Proceedings of the 22nd International Workshop on Description Logics
                  {(DL} 2009), Oxford, UK, July 27-30, 2009},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {477},
  publisher    = {CEUR-WS.org},
  year         = {2009},
  url          = {https://ceur-ws.org/Vol-477/paper\_9.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dlog/Jimenez-RuizGHL09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esws/Jimenez-RuizGHL09,
  author       = {Ernesto Jim{\'{e}}nez{-}Ruiz and
                  Bernardo Cuenca Grau and
                  Ian Horrocks and
                  Rafael Berlanga Llavori},
  editor       = {Lora Aroyo and
                  Paolo Traverso and
                  Fabio Ciravegna and
                  Philipp Cimiano and
                  Tom Heath and
                  Eero Hyv{\"{o}}nen and
                  Riichiro Mizoguchi and
                  Eyal Oren and
                  Marta Sabou and
                  Elena Simperl},
  title        = {Ontology Integration Using Mappings: Towards Getting the Right Logical
                  Consequences},
  booktitle    = {The Semantic Web: Research and Applications, 6th European Semantic
                  Web Conference, {ESWC} 2009, Heraklion, Crete, Greece, May 31-June
                  4, 2009, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5554},
  pages        = {173--187},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-02121-3\_16},
  doi          = {10.1007/978-3-642-02121-3\_16},
  timestamp    = {Fri, 23 Jun 2023 11:56:12 +0200},
  biburl       = {https://dblp.org/rec/conf/esws/Jimenez-RuizGHL09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/GrauMK09,
  author       = {Bernardo Cuenca Grau and
                  Boris Motik and
                  Yevgeny Kazakov},
  editor       = {Craig Boutilier},
  title        = {Import-by-Query: Ontology Reasoning under Access Limitations},
  booktitle    = {{IJCAI} 2009, Proceedings of the 21st International Joint Conference
                  on Artificial Intelligence, Pasadena, California, USA, July 11-17,
                  2009},
  pages        = {727--732},
  year         = {2009},
  url          = {http://ijcai.org/Proceedings/09/Papers/126.pdf},
  timestamp    = {Tue, 20 Aug 2019 16:16:40 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/GrauMK09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jisbd/Jimenez-RuizGHL09,
  author       = {Ernesto Jim{\'{e}}nez{-}Ruiz and
                  Bernardo Cuenca Grau and
                  Ian Horrocks and
                  Rafael Berlanga Llavori},
  editor       = {Antonio Vallecillo and
                  Goiuria Sagardui},
  title        = {Logic-based Ontology Integration using ContentMap},
  booktitle    = {{XIV} Jornadas de Ingenier{\'{\i}}a del Software y Bases de Datos
                  {(JISBD} 2009), San Sebasti{\'{a}}n, Spain, September 8-11, 2009},
  pages        = {316--319},
  year         = {2009},
  timestamp    = {Tue, 12 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/jisbd/Jimenez-RuizGHL09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/swat4ls/Jimenez-RuizGHL09,
  author       = {Ernesto Jim{\'{e}}nez{-}Ruiz and
                  Bernardo Cuenca Grau and
                  Ian Horrocks and
                  Rafael Berlanga Llavori},
  editor       = {M. Scott Marshall and
                  Albert Burger and
                  Paolo Romano and
                  Adrian Paschke and
                  Andrea Splendiani},
  title        = {ContentCVS: {A} CVS-based Collaborative ONTology ENgineering Tool},
  booktitle    = {Proceedings of the Workshop on Semantic Web Applications and Tools
                  for Life Sciences, Amsterdam, The Netherlands, November 20, 2009},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {559},
  publisher    = {CEUR-WS.org},
  year         = {2009},
  url          = {https://ceur-ws.org/Vol-559/Demo3.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:23:02 +0100},
  biburl       = {https://dblp.org/rec/conf/swat4ls/Jimenez-RuizGHL09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/swat4ls/Jimenez-RuizGLH09,
  author       = {Ernesto Jim{\'{e}}nez{-}Ruiz and
                  Bernardo Cuenca Grau and
                  Rafael Berlanga Llavori and
                  Ian Horrocks},
  editor       = {M. Scott Marshall and
                  Albert Burger and
                  Paolo Romano and
                  Adrian Paschke and
                  Andrea Splendiani},
  title        = {Towards a Logic-based Assessment of the compatibility of {UMLS} sources},
  booktitle    = {Proceedings of the Workshop on Semantic Web Applications and Tools
                  for Life Sciences, Amsterdam, The Netherlands, November 20, 2009},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {559},
  publisher    = {CEUR-WS.org},
  year         = {2009},
  url          = {https://ceur-ws.org/Vol-559/HighlightPoster2.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/swat4ls/Jimenez-RuizGLH09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/lncs/GrauHKS09,
  author       = {Bernardo Cuenca Grau and
                  Ian Horrocks and
                  Yevgeny Kazakov and
                  Ulrike Sattler},
  editor       = {Heiner Stuckenschmidt and
                  Christine Parent and
                  Stefano Spaccapietra},
  title        = {Extracting Modules from Ontologies: {A} Logic-Based Approach},
  booktitle    = {Modular Ontologies: Concepts, Theories and Techniques for Knowledge
                  Modularization},
  series       = {Lecture Notes in Computer Science},
  volume       = {5445},
  pages        = {159--186},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-01907-4\_8},
  doi          = {10.1007/978-3-642-01907-4\_8},
  timestamp    = {Tue, 12 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/series/lncs/GrauHKS09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/lncs/GrauPS09,
  author       = {Bernardo Cuenca Grau and
                  Bijan Parsia and
                  Evren Sirin},
  editor       = {Heiner Stuckenschmidt and
                  Christine Parent and
                  Stefano Spaccapietra},
  title        = {Ontology Integration Using epsilon-Connections},
  booktitle    = {Modular Ontologies: Concepts, Theories and Techniques for Knowledge
                  Modularization},
  series       = {Lecture Notes in Computer Science},
  volume       = {5445},
  pages        = {293--320},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-01907-4\_14},
  doi          = {10.1007/978-3-642-01907-4\_14},
  timestamp    = {Tue, 16 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/series/lncs/GrauPS09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/dlog/2009,
  editor       = {Bernardo Cuenca Grau and
                  Ian Horrocks and
                  Boris Motik and
                  Ulrike Sattler},
  title        = {Proceedings of the 22nd International Workshop on Description Logics
                  {(DL} 2009), Oxford, UK, July 27-30, 2009},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {477},
  publisher    = {CEUR-WS.org},
  year         = {2009},
  url          = {https://ceur-ws.org/Vol-477},
  urn          = {urn:nbn:de:0074-477-1},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dlog/2009.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jair/GrauHKS08,
  author       = {Bernardo Cuenca Grau and
                  Ian Horrocks and
                  Yevgeny Kazakov and
                  Ulrike Sattler},
  title        = {Modular Reuse of Ontologies: Theory and Practice},
  journal      = {J. Artif. Intell. Res.},
  volume       = {31},
  pages        = {273--318},
  year         = {2008},
  url          = {https://doi.org/10.1613/jair.2375},
  doi          = {10.1613/JAIR.2375},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jair/GrauHKS08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ws/GrauHMPPS08,
  author       = {Bernardo Cuenca Grau and
                  Ian Horrocks and
                  Boris Motik and
                  Bijan Parsia and
                  Peter F. Patel{-}Schneider and
                  Ulrike Sattler},
  title        = {{OWL} 2: The next step for {OWL}},
  journal      = {J. Web Semant.},
  volume       = {6},
  number       = {4},
  pages        = {309--322},
  year         = {2008},
  url          = {https://doi.org/10.1016/j.websem.2008.05.001},
  doi          = {10.1016/J.WEBSEM.2008.05.001},
  timestamp    = {Tue, 12 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ws/GrauHMPPS08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/TranHMGH08,
  author       = {Thanh Tran and
                  Peter Haase and
                  Boris Motik and
                  Bernardo Cuenca Grau and
                  Ian Horrocks},
  editor       = {Dieter Fox and
                  Carla P. Gomes},
  title        = {Metalevel Information in Ontology-Based Applications},
  booktitle    = {Proceedings of the Twenty-Third {AAAI} Conference on Artificial Intelligence,
                  {AAAI} 2008, Chicago, Illinois, USA, July 13-17, 2008},
  pages        = {1237--1242},
  publisher    = {{AAAI} Press},
  year         = {2008},
  url          = {http://www.aaai.org/Library/AAAI/2008/aaai08-196.php},
  timestamp    = {Tue, 05 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/TranHMGH08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/Jimenez-RuizGSSL08,
  author       = {Ernesto Jim{\'{e}}nez{-}Ruiz and
                  Bernardo Cuenca Grau and
                  Ulrike Sattler and
                  Thomas Schneider and
                  Rafael Berlanga Llavori},
  editor       = {Franz Baader and
                  Carsten Lutz and
                  Boris Motik},
  title        = {Safe and Economic Re-Use of Ontologies: {A} Logic-Based Methodology
                  and Tool Support},
  booktitle    = {Proceedings of the 21st International Workshop on Description Logics
                  (DL2008), Dresden, Germany, May 13-16, 2008},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {353},
  publisher    = {CEUR-WS.org},
  year         = {2008},
  url          = {https://ceur-ws.org/Vol-353/Jimenez-RuizCuencaGrauSattlerSchneiderBerlanga.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:23:16 +0100},
  biburl       = {https://dblp.org/rec/conf/dlog/Jimenez-RuizGSSL08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/MotikGS08,
  author       = {Boris Motik and
                  Bernardo Cuenca Grau and
                  Ulrike Sattler},
  editor       = {Franz Baader and
                  Carsten Lutz and
                  Boris Motik},
  title        = {The Representation of Structured Objects in DLs using Description
                  Graphs},
  booktitle    = {Proceedings of the 21st International Workshop on Description Logics
                  (DL2008), Dresden, Germany, May 13-16, 2008},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {353},
  publisher    = {CEUR-WS.org},
  year         = {2008},
  url          = {https://ceur-ws.org/Vol-353/MotikCuencaGrauSattler.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dlog/MotikGS08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/GrauH08,
  author       = {Bernardo Cuenca Grau and
                  Ian Horrocks},
  editor       = {Malik Ghallab and
                  Constantine D. Spyropoulos and
                  Nikos Fakotakis and
                  Nikolaos M. Avouris},
  title        = {Privacy-Preserving Query Answering in Logic-based Information Systems},
  booktitle    = {{ECAI} 2008 - 18th European Conference on Artificial Intelligence,
                  Patras, Greece, July 21-25, 2008, Proceedings},
  series       = {Frontiers in Artificial Intelligence and Applications},
  volume       = {178},
  pages        = {40--44},
  publisher    = {{IOS} Press},
  year         = {2008},
  url          = {https://doi.org/10.3233/978-1-58603-891-5-40},
  doi          = {10.3233/978-1-58603-891-5-40},
  timestamp    = {Tue, 12 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ecai/GrauH08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esws/Jimenez-RuizGSSL08,
  author       = {Ernesto Jim{\'{e}}nez{-}Ruiz and
                  Bernardo Cuenca Grau and
                  Ulrike Sattler and
                  Thomas Schneider and
                  Rafael Berlanga Llavori},
  editor       = {Sean Bechhofer and
                  Manfred Hauswirth and
                  J{\"{o}}rg Hoffmann and
                  Manolis Koubarakis},
  title        = {Safe and Economic Re-Use of Ontologies: {A} Logic-Based Methodology
                  and Tool Support},
  booktitle    = {The Semantic Web: Research and Applications, 5th European Semantic
                  Web Conference, {ESWC} 2008, Tenerife, Canary Islands, Spain, June
                  1-5, 2008, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5021},
  pages        = {185--199},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-68234-9\_16},
  doi          = {10.1007/978-3-540-68234-9\_16},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/esws/Jimenez-RuizGSSL08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/MotikGHS08,
  author       = {Boris Motik and
                  Bernardo Cuenca Grau and
                  Ian Horrocks and
                  Ulrike Sattler},
  editor       = {Gerhard Brewka and
                  J{\'{e}}r{\^{o}}me Lang},
  title        = {Representing Structured Objects using Description Graphs},
  booktitle    = {Principles of Knowledge Representation and Reasoning: Proceedings
                  of the Eleventh International Conference, {KR} 2008, Sydney, Australia,
                  September 16-19, 2008},
  pages        = {296--306},
  publisher    = {{AAAI} Press},
  year         = {2008},
  url          = {http://www.aaai.org/Library/KR/2008/kr08-029.php},
  timestamp    = {Tue, 12 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/kr/MotikGHS08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/owled/Jimenez-RuizGS008,
  author       = {Ernesto Jim{\'{e}}nez{-}Ruiz and
                  Bernardo Cuenca Grau and
                  Ulrike Sattler and
                  Thomas Schneider and
                  Rafael Berlanga Llavori},
  editor       = {Kendall Clark and
                  Peter F. Patel{-}Schneider},
  title        = {Safe and Economic Re-Use of Ontologies: {A} Logic-Based Methodology
                  and Tool Support},
  booktitle    = {Proceedings of the Fourth {OWLED} Workshop on {OWL:} Experiences and
                  Directions, Washington, DC, USA, 1-2 April 2008},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {496},
  publisher    = {CEUR-WS.org},
  year         = {2008},
  url          = {https://ceur-ws.org/Vol-496/owled2008dc\_paper\_10.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:23:02 +0100},
  biburl       = {https://dblp.org/rec/conf/owled/Jimenez-RuizGS008.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/owled/MotikGHS08,
  author       = {Boris Motik and
                  Bernardo Cuenca Grau and
                  Ian Horrocks and
                  Ulrike Sattler},
  editor       = {Catherine Dolbear and
                  Alan Ruttenberg and
                  Ulrike Sattler},
  title        = {Modeling Ontologies using OWL, Description Graphs, and Rules},
  booktitle    = {Proceedings of the Fifth {OWLED} Workshop on {OWL:} Experiences and
                  Directions, collocated with the 7th International Semantic Web Conference
                  (ISWC-2008), Karlsruhe, Germany, October 26-27, 2008},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {432},
  publisher    = {CEUR-WS.org},
  year         = {2008},
  url          = {https://ceur-ws.org/Vol-432/owled2008eu\_submission\_13.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:23:02 +0100},
  biburl       = {https://dblp.org/rec/conf/owled/MotikGHS08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/www/MotikGS08,
  author       = {Boris Motik and
                  Bernardo Cuenca Grau and
                  Ulrike Sattler},
  editor       = {Jinpeng Huai and
                  Robin Chen and
                  Hsiao{-}Wuen Hon and
                  Yunhao Liu and
                  Wei{-}Ying Ma and
                  Andrew Tomkins and
                  Xiaodong Zhang},
  title        = {Structured objects in owl: representation and reasoning},
  booktitle    = {Proceedings of the 17th International Conference on World Wide Web,
                  {WWW} 2008, Beijing, China, April 21-25, 2008},
  pages        = {555--564},
  publisher    = {{ACM}},
  year         = {2008},
  url          = {https://doi.org/10.1145/1367497.1367573},
  doi          = {10.1145/1367497.1367573},
  timestamp    = {Tue, 20 Dec 2022 21:20:03 +0100},
  biburl       = {https://dblp.org/rec/conf/www/MotikGS08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/kcap/2007womo,
  editor       = {Bernardo Cuenca Grau and
                  Vasant G. Honavar and
                  Anne Schlicht and
                  Frank Wolter},
  title        = {Proceedings of the 2nd International Workshop on Modular Ontologies,
                  WoMO 2007, Whistler, Canada, October 28, 2007},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {315},
  publisher    = {CEUR-WS.org},
  year         = {2008},
  url          = {https://ceur-ws.org/Vol-315},
  urn          = {urn:nbn:de:0074-315-1},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/kcap/2007womo.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ws/SirinPGKK07,
  author       = {Evren Sirin and
                  Bijan Parsia and
                  Bernardo Cuenca Grau and
                  Aditya Kalyanpur and
                  Yarden Katz},
  title        = {Pellet: {A} practical {OWL-DL} reasoner},
  journal      = {J. Web Semant.},
  volume       = {5},
  number       = {2},
  pages        = {51--53},
  year         = {2007},
  url          = {https://doi.org/10.1016/j.websem.2007.03.004},
  doi          = {10.1016/J.WEBSEM.2007.03.004},
  timestamp    = {Tue, 29 Jan 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ws/SirinPGKK07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/GrauHKS07,
  author       = {Bernardo Cuenca Grau and
                  Ian Horrocks and
                  Yevgeny Kazakov and
                  Ulrike Sattler},
  editor       = {Diego Calvanese and
                  Enrico Franconi and
                  Volker Haarslev and
                  Domenico Lembo and
                  Boris Motik and
                  Anni{-}Yasmin Turhan and
                  Sergio Tessaris},
  title        = {Ontology Reuse: Better Safe than Sorry},
  booktitle    = {Proceedings of the 2007 International Workshop on Description Logics
                  (DL2007), Brixen-Bressanone, near Bozen-Bolzano, Italy, 8-10 June,
                  2007},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {250},
  publisher    = {CEUR-WS.org},
  year         = {2007},
  url          = {https://ceur-ws.org/Vol-250/paper\_27.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:23:17 +0100},
  biburl       = {https://dblp.org/rec/conf/dlog/GrauHKS07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/GrauHKS07,
  author       = {Bernardo Cuenca Grau and
                  Ian Horrocks and
                  Yevgeny Kazakov and
                  Ulrike Sattler},
  editor       = {Manuela M. Veloso},
  title        = {A Logical Framework for Modularity of Ontologies},
  booktitle    = {{IJCAI} 2007, Proceedings of the 20th International Joint Conference
                  on Artificial Intelligence, Hyderabad, India, January 6-12, 2007},
  pages        = {298--303},
  year         = {2007},
  url          = {http://ijcai.org/Proceedings/07/Papers/046.pdf},
  timestamp    = {Tue, 12 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/GrauHKS07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/owled/GrauHKS07,
  author       = {Bernardo Cuenca Grau and
                  Ian Horrocks and
                  Yevgeny Kazakov and
                  Ulrike Sattler},
  editor       = {Christine Golbreich and
                  Aditya Kalyanpur and
                  Bijan Parsia},
  title        = {Extracting Modules from Ontologies: {A} Logic-based Approach},
  booktitle    = {Proceedings of the {OWLED} 2007 Workshop on {OWL:} Experiences and
                  Directions, Innsbruck, Austria, June 6-7, 2007},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {258},
  publisher    = {CEUR-WS.org},
  year         = {2007},
  url          = {https://ceur-ws.org/Vol-258/paper15.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:23:02 +0100},
  biburl       = {https://dblp.org/rec/conf/owled/GrauHKS07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/semweb/GrauHK07,
  author       = {Bernardo Cuenca Grau and
                  Christian Halaschek{-}Wiener and
                  Yevgeny Kazakov},
  editor       = {Karl Aberer and
                  Key{-}Sun Choi and
                  Natasha Fridman Noy and
                  Dean Allemang and
                  Kyung{-}Il Lee and
                  Lyndon J. B. Nixon and
                  Jennifer Golbeck and
                  Peter Mika and
                  Diana Maynard and
                  Riichiro Mizoguchi and
                  Guus Schreiber and
                  Philippe Cudr{\'{e}}{-}Mauroux},
  title        = {History Matters: Incremental Ontology Reasoning Using Modules},
  booktitle    = {The Semantic Web, 6th International Semantic Web Conference, 2nd Asian
                  Semantic Web Conference, {ISWC} 2007 + {ASWC} 2007, Busan, Korea,
                  November 11-15, 2007},
  series       = {Lecture Notes in Computer Science},
  volume       = {4825},
  pages        = {183--196},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-76298-0\_14},
  doi          = {10.1007/978-3-540-76298-0\_14},
  timestamp    = {Tue, 14 May 2019 10:00:53 +0200},
  biburl       = {https://dblp.org/rec/conf/semweb/GrauHK07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/www/GrauHKS07,
  author       = {Bernardo Cuenca Grau and
                  Ian Horrocks and
                  Yevgeny Kazakov and
                  Ulrike Sattler},
  editor       = {Carey L. Williamson and
                  Mary Ellen Zurko and
                  Peter F. Patel{-}Schneider and
                  Prashant J. Shenoy},
  title        = {Just the right amount: extracting modules from ontologies},
  booktitle    = {Proceedings of the 16th International Conference on World Wide Web,
                  {WWW} 2007, Banff, Alberta, Canada, May 8-12, 2007},
  pages        = {717--726},
  publisher    = {{ACM}},
  year         = {2007},
  url          = {https://doi.org/10.1145/1242572.1242669},
  doi          = {10.1145/1242572.1242669},
  timestamp    = {Tue, 12 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/www/GrauHKS07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ws/GrauPS06,
  author       = {Bernardo Cuenca Grau and
                  Bijan Parsia and
                  Evren Sirin},
  title        = {Combining {OWL} ontologies using epsilon-Connections},
  journal      = {J. Web Semant.},
  volume       = {4},
  number       = {1},
  pages        = {40--59},
  year         = {2006},
  url          = {https://doi.org/10.1016/j.websem.2005.09.010},
  doi          = {10.1016/J.WEBSEM.2005.09.010},
  timestamp    = {Tue, 29 Jan 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ws/GrauPS06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ws/KalyanpurPSGH06,
  author       = {Aditya Kalyanpur and
                  Bijan Parsia and
                  Evren Sirin and
                  Bernardo Cuenca Grau and
                  James A. Hendler},
  title        = {Swoop: {A} Web Ontology Editing Browser},
  journal      = {J. Web Semant.},
  volume       = {4},
  number       = {2},
  pages        = {144--153},
  year         = {2006},
  url          = {https://doi.org/10.1016/j.websem.2005.10.001},
  doi          = {10.1016/J.WEBSEM.2005.10.001},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ws/KalyanpurPSGH06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/GrauHKS06,
  author       = {Bernardo Cuenca Grau and
                  Ian Horrocks and
                  Oliver Kutz and
                  Ulrike Sattler},
  editor       = {Bijan Parsia and
                  Ulrike Sattler and
                  David Toman},
  title        = {Will my Ontologies Fit Together?},
  booktitle    = {Proceedings of the 2006 International Workshop on Description Logics
                  (DL2006), Windermere, Lake District, UK, May 30 - June 1, 2006},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {189},
  publisher    = {CEUR-WS.org},
  year         = {2006},
  url          = {https://ceur-ws.org/Vol-189/submission\_24.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:23:17 +0100},
  biburl       = {https://dblp.org/rec/conf/dlog/GrauHKS06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/KalyanpurPG06,
  author       = {Aditya Kalyanpur and
                  Bijan Parsia and
                  Bernardo Cuenca Grau},
  editor       = {Bijan Parsia and
                  Ulrike Sattler and
                  David Toman},
  title        = {Beyond Asserted Axioms: Fine-Grain Justifications for {OWL-DL} Entailments},
  booktitle    = {Proceedings of the 2006 International Workshop on Description Logics
                  (DL2006), Windermere, Lake District, UK, May 30 - June 1, 2006},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {189},
  publisher    = {CEUR-WS.org},
  year         = {2006},
  url          = {https://ceur-ws.org/Vol-189/submission\_30.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dlog/KalyanpurPG06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esws/KalyanpurPSG06,
  author       = {Aditya Kalyanpur and
                  Bijan Parsia and
                  Evren Sirin and
                  Bernardo Cuenca Grau},
  editor       = {York Sure and
                  John Domingue},
  title        = {Repairing Unsatisfiable Concepts in {OWL} Ontologies},
  booktitle    = {The Semantic Web: Research and Applications, 3rd European Semantic
                  Web Conference, {ESWC} 2006, Budva, Montenegro, June 11-14, 2006,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4011},
  pages        = {170--184},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11762256\_15},
  doi          = {10.1007/11762256\_15},
  timestamp    = {Fri, 25 Dec 2020 01:15:10 +0100},
  biburl       = {https://dblp.org/rec/conf/esws/KalyanpurPSG06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/RuckhausKPG06,
  author       = {Edna Ruckhaus and
                  Vladimir Kolovski and
                  Bijan Parsia and
                  Bernardo Cuenca Grau},
  editor       = {Sandro Etalle and
                  Miroslaw Truszczynski},
  title        = {Integrating Datalog with {OWL:} Exploring the AL-log Approach},
  booktitle    = {Logic Programming, 22nd International Conference, {ICLP} 2006, Seattle,
                  WA, USA, August 17-20, 2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4079},
  pages        = {455--456},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11799573\_46},
  doi          = {10.1007/11799573\_46},
  timestamp    = {Tue, 14 May 2019 10:00:48 +0200},
  biburl       = {https://dblp.org/rec/conf/iclp/RuckhausKPG06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/SirinGP06,
  author       = {Evren Sirin and
                  Bernardo Cuenca Grau and
                  Bijan Parsia},
  editor       = {Patrick Doherty and
                  John Mylopoulos and
                  Christopher A. Welty},
  title        = {From Wine to Water: Optimizing Description Logic Reasoning for Nominals},
  booktitle    = {Proceedings, Tenth International Conference on Principles of Knowledge
                  Representation and Reasoning, Lake District of the United Kingdom,
                  June 2-5, 2006},
  pages        = {90--99},
  publisher    = {{AAAI} Press},
  year         = {2006},
  url          = {http://www.aaai.org/Library/KR/2006/kr06-012.php},
  timestamp    = {Tue, 09 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/kr/SirinGP06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/GrauPSK06,
  author       = {Bernardo Cuenca Grau and
                  Bijan Parsia and
                  Evren Sirin and
                  Aditya Kalyanpur},
  editor       = {Patrick Doherty and
                  John Mylopoulos and
                  Christopher A. Welty},
  title        = {Modularity and Web Ontologies},
  booktitle    = {Proceedings, Tenth International Conference on Principles of Knowledge
                  Representation and Reasoning, Lake District of the United Kingdom,
                  June 2-5, 2006},
  pages        = {198--209},
  publisher    = {{AAAI} Press},
  year         = {2006},
  url          = {http://www.aaai.org/Library/KR/2006/kr06-022.php},
  timestamp    = {Tue, 09 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/kr/GrauPSK06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/owled/GrauHPPS06,
  author       = {Bernardo Cuenca Grau and
                  Ian Horrocks and
                  Bijan Parsia and
                  Peter F. Patel{-}Schneider and
                  Ulrike Sattler},
  editor       = {Bernardo Cuenca Grau and
                  Pascal Hitzler and
                  Conor Shankey and
                  Evan Wallace},
  title        = {Next Steps for {OWL}},
  booktitle    = {Proceedings of the OWLED*06 Workshop on {OWL:} Experiences and Directions,
                  Athens, Georgia, USA, November 10-11, 2006},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {216},
  publisher    = {CEUR-WS.org},
  year         = {2006},
  url          = {https://ceur-ws.org/Vol-216/submission\_11.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:23:02 +0100},
  biburl       = {https://dblp.org/rec/conf/owled/GrauHPPS06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/owled/2005,
  editor       = {Bernardo Cuenca Grau and
                  Ian Horrocks and
                  Bijan Parsia and
                  Peter F. Patel{-}Schneider},
  title        = {Proceedings of the OWLED*05 Workshop on {OWL:} Experiences and Directions,
                  Galway, Ireland, November 11-12, 2005},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {188},
  publisher    = {CEUR-WS.org},
  year         = {2006},
  url          = {https://ceur-ws.org/Vol-188},
  urn          = {urn:nbn:de:0074-188-9},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/owled/2005.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/owled/2006,
  editor       = {Bernardo Cuenca Grau and
                  Pascal Hitzler and
                  Conor Shankey and
                  Evan Wallace},
  title        = {Proceedings of the OWLED*06 Workshop on {OWL:} Experiences and Directions,
                  Athens, Georgia, USA, November 10-11, 2006},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {216},
  publisher    = {CEUR-WS.org},
  year         = {2006},
  url          = {https://ceur-ws.org/Vol-216},
  urn          = {urn:nbn:de:0074-216-2},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/owled/2006.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/ParsiaG05,
  author       = {Bijan Parsia and
                  Bernardo Cuenca Grau},
  editor       = {Manuela M. Veloso and
                  Subbarao Kambhampati},
  title        = {Generalized Link Properties for Expressive epsilon-Connections of
                  Description Logics},
  booktitle    = {Proceedings, The Twentieth National Conference on Artificial Intelligence
                  and the Seventeenth Innovative Applications of Artificial Intelligence
                  Conference, July 9-13, 2005, Pittsburgh, Pennsylvania, {USA}},
  pages        = {657--662},
  publisher    = {{AAAI} Press / The {MIT} Press},
  year         = {2005},
  url          = {http://www.aaai.org/Library/AAAI/2005/aaai05-103.php},
  timestamp    = {Tue, 05 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/ParsiaG05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/GrauPSK05,
  author       = {Bernardo Cuenca Grau and
                  Bijan Parsia and
                  Evren Sirin and
                  Aditya Kalyanpur},
  editor       = {Ian Horrocks and
                  Ulrike Sattler and
                  Frank Wolter},
  title        = {Automatic Partitioning of {OWL} Ontologies Using \emph{E}-Connections},
  booktitle    = {Proceedings of the 2005 International Workshop on Description Logics
                  (DL2005), Edinburgh, Scotland, UK, July 26-28, 2005},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {147},
  publisher    = {CEUR-WS.org},
  year         = {2005},
  url          = {https://ceur-ws.org/Vol-147/21-Grau.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:23:17 +0100},
  biburl       = {https://dblp.org/rec/conf/dlog/GrauPSK05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/owled/KatzG05,
  author       = {Yarden Katz and
                  Bernardo Cuenca Grau},
  editor       = {Bernardo Cuenca Grau and
                  Ian Horrocks and
                  Bijan Parsia and
                  Peter F. Patel{-}Schneider},
  title        = {Representing Qualitative Spatial Information in {OWL-DL}},
  booktitle    = {Proceedings of the OWLED*05 Workshop on {OWL:} Experiences and Directions,
                  Galway, Ireland, November 11-12, 2005},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {188},
  publisher    = {CEUR-WS.org},
  year         = {2005},
  url          = {https://ceur-ws.org/Vol-188/sub26.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:23:02 +0100},
  biburl       = {https://dblp.org/rec/conf/owled/KatzG05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/premi/GolbeckGHKPSSH05,
  author       = {Jennifer Golbeck and
                  Bernardo Cuenca Grau and
                  Christian Halaschek{-}Wiener and
                  Aditya Kalyanpur and
                  Bijan Parsia and
                  Andrew Schain and
                  Evren Sirin and
                  James A. Hendler},
  editor       = {Sankar K. Pal and
                  Sanghamitra Bandyopadhyay and
                  Sambhunath Biswas},
  title        = {Semantic Web Research Trends and Directions},
  booktitle    = {Pattern Recognition and Machine Intelligence, First International
                  Conference, PReMI 2005, Kolkata, India, December 20-22, 2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3776},
  pages        = {160--169},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11590316\_20},
  doi          = {10.1007/11590316\_20},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/premi/GolbeckGHKPSSH05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/te/Grau04,
  author       = {Bernardo Cuenca Grau},
  title        = {How to teach basic quantum mechanics to computer scientists and electrical
                  engineers},
  journal      = {{IEEE} Trans. Educ.},
  volume       = {47},
  number       = {2},
  pages        = {220--226},
  year         = {2004},
  url          = {https://doi.org/10.1109/TE.2004.825215},
  doi          = {10.1109/TE.2004.825215},
  timestamp    = {Thu, 16 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/te/Grau04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/GrauP04,
  author       = {Bernardo Cuenca Grau and
                  Bijan Parsia},
  editor       = {Volker Haarslev and
                  Ralf M{\"{o}}ller},
  title        = {From {SHOQ(D)} Toward E-connections},
  booktitle    = {Proceedings of the 2004 International Workshop on Description Logics
                  (DL2004), Whistler, British Columbia, Canada, June 6-8, 2004},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {104},
  publisher    = {CEUR-WS.org},
  year         = {2004},
  url          = {https://ceur-ws.org/Vol-104/15Grau-final.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:23:16 +0100},
  biburl       = {https://dblp.org/rec/conf/dlog/GrauP04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/semweb/GrauPS04,
  author       = {Bernardo Cuenca Grau and
                  Bijan Parsia and
                  Evren Sirin},
  editor       = {Sheila A. McIlraith and
                  Dimitris Plexousakis and
                  Frank van Harmelen},
  title        = {Working with Multiple Ontologies on the Semantic Web},
  booktitle    = {The Semantic Web - {ISWC} 2004: Third International Semantic Web Conference,Hiroshima,
                  Japan, November 7-11, 2004. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3298},
  pages        = {620--634},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-30475-3\_43},
  doi          = {10.1007/978-3-540-30475-3\_43},
  timestamp    = {Tue, 07 Sep 2021 13:47:57 +0200},
  biburl       = {https://dblp.org/rec/conf/semweb/GrauPS04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/www/Grau04,
  author       = {Bernardo Cuenca Grau},
  editor       = {Stuart I. Feldman and
                  Mike Uretsky and
                  Marc Najork and
                  Craig E. Wills},
  title        = {A possible simplification of the semantic web architecture},
  booktitle    = {Proceedings of the 13th international conference on World Wide Web,
                  {WWW} 2004, New York, NY, USA, May 17-20, 2004},
  pages        = {704--713},
  publisher    = {{ACM}},
  year         = {2004},
  url          = {https://doi.org/10.1145/988672.988769},
  doi          = {10.1145/988672.988769},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/www/Grau04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics