University of Oxford Logo University of OxfordDepartment of Computer Science - Home
Linked in
Linked in
Follow us on twitter
Twitter
On Facebook
Facebook
Instagram
Instagram

@article{DBLP:journals/pieee/ChenGCPHZHC23,
  author = {Jiaoyan Chen and Yuxia Geng and Zhuo Chen and Jeff Z. Pan
		  and Yuan He and Wen Zhang and Ian Horrocks and Huajun
		  Chen},
  bibsource = {dblp computer science bibliography, https://dblp.org},
  biburl = {https://dblp.org/rec/journals/pieee/ChenGCPHZHC23.bib},
  date-added = {2023-10-04 13:46:30 +0100},
  date-modified = {2023-10-04 13:56:19 +0100},
  doi = {10.1109/JPROC.2023.3279374},
  journal = {Proc. {IEEE}},
  number = {6},
  pages = {653--685},
  timestamp = {Sun, 06 Aug 2023 20:50:57 +0200},
  title = {Zero-Shot and Few-Shot Learning With Knowledge Graphs: {A}
		  Comprehensive Survey},
  url = {download/2023/ChenGCPHZHC23.pdf},
  volume = {111},
  year = {2023},
  bdsk-url-1 = {https://doi.org/10.1109/JPROC.2023.3279374}
}
@article{DBLP:journals/semweb/ChenJHCM23,
  author = {Jiaoyan Chen and Ernesto Jim{\'{e}}nez{-}Ruiz and Ian
		  Horrocks and Xi Chen and Erik Bryhn Myklebust},
  date-added = {2023-04-20 13:52:09 +0100},
  date-modified = {2023-04-20 13:53:11 +0100},
  journal = {Semantic Web},
  number = {1},
  pages = {29--53},
  title = {An assertion and alignment correction framework for large
		  scale knowledge bases},
  url = {download/2023/ChenJHCM23.pdf},
  volume = {14},
  year = {2023},
  bdsk-url-1 = {download/2023/ChenJHCM23.pdf}
}
@inproceedings{DBLP:conf/kr/0007G0K23,
  author = {Shuwen Liu and Bernardo {Cuenca Grau} and Ian Horrocks and
		  Egor V. Kostylev},
  bibsource = {dblp computer science bibliography, https://dblp.org},
  biburl = {https://dblp.org/rec/conf/kr/0007G0K23.bib},
  booktitle = {Proceedings of the 20th International Conference on
		  Principles of Knowledge Representation and Reasoning, {KR}
		  2023, Rhodes, Greece, September 2-8, 2023},
  date-added = {2023-10-04 14:21:47 +0100},
  date-modified = {2023-10-04 14:22:00 +0100},
  doi = {10.24963/kr.2023/45},
  editor = {Pierre Marquis and Tran Cao Son and Gabriele
		  Kern{-}Isberner},
  pages = {461--471},
  timestamp = {Tue, 05 Sep 2023 14:50:53 +0200},
  title = {Revisiting Inferential Benchmarks for Knowledge Graph
		  Completion},
  url = {https://doi.org/10.24963/kr.2023/45},
  year = {2023},
  bdsk-url-1 = {https://doi.org/10.24963/kr.2023/45}
}
@inproceedings{DBLP:conf/ijcai/HarzliG023,
  author = {Ouns {El Harzli} and Bernardo {Cuenca Grau} and Ian
		  Horrocks},
  bibsource = {dblp computer science bibliography, https://dblp.org},
  biburl = {https://dblp.org/rec/conf/ijcai/HarzliG023.bib},
  booktitle = {Proceedings of the Thirty-Second International Joint
		  Conference on Artificial Intelligence, {IJCAI} 2023,
		  19th-25th August 2023, Macao, SAR, China},
  date-added = {2023-10-04 14:20:17 +0100},
  date-modified = {2023-10-04 14:20:37 +0100},
  doi = {10.24963/ijcai.2023/409},
  pages = {3677--3685},
  publisher = {ijcai.org},
  timestamp = {Mon, 28 Aug 2023 17:23:07 +0200},
  title = {Cardinality-Minimal Explanations for Monotonic Neural
		  Networks},
  url = {https://doi.org/10.24963/ijcai.2023/409},
  year = {2023},
  bdsk-url-1 = {https://doi.org/10.24963/ijcai.2023/409}
}
@inproceedings{DBLP:conf/ijcai/Zhang0N023,
  author = {Xinyue Zhang and Pan Hu and Yavor Nenov and Ian Horrocks},
  bibsource = {dblp computer science bibliography, https://dblp.org},
  biburl = {https://dblp.org/rec/conf/ijcai/Zhang0N023.bib},
  booktitle = {Proceedings of the Thirty-Second International Joint
		  Conference on Artificial Intelligence, {IJCAI} 2023,
		  19th-25th August 2023, Macao, SAR, China},
  date-added = {2023-10-04 14:19:28 +0100},
  date-modified = {2023-10-04 14:19:28 +0100},
  doi = {10.24963/ijcai.2023/377},
  pages = {3383--3393},
  publisher = {ijcai.org},
  timestamp = {Mon, 28 Aug 2023 17:23:07 +0200},
  title = {Enhancing Datalog Reasoning with Hypertree
		  Decompositions},
  url = {https://doi.org/10.24963/ijcai.2023/377},
  year = {2023},
  bdsk-url-1 = {https://doi.org/10.24963/ijcai.2023/377}
}
@inproceedings{DBLP:conf/esws/ShiCDKLZWH23,
  author = {Jingchuan Shi and Jiaoyan Chen and Hang Dong and Ishita
		  Khan and Lizzie Liang and Qunzhi Zhou and Zhe Wu and Ian
		  Horrocks},
  bibsource = {dblp computer science bibliography, https://dblp.org},
  biburl = {https://dblp.org/rec/conf/esws/ShiCDKLZWH23.bib},
  booktitle = {The Semantic Web - 20th International Conference, {ESWC}
		  2023, Hersonissos, Crete, Greece, May 28 - June 1, 2023,
		  Proceedings},
  date-added = {2023-10-04 14:16:49 +0100},
  date-modified = {2023-10-04 14:17:28 +0100},
  doi = {10.1007/978-3-031-33455-9\_15},
  editor = {Catia Pesquita and Ernesto Jim{\'{e}}nez{-}Ruiz and Jamie
		  P. McCusker and Daniel Faria and Mauro Dragoni and
		  Anastasia Dimou and Rapha{\"{e}}l Troncy and Sven Hertling},
  pages = {244--261},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  timestamp = {Sat, 30 Sep 2023 09:40:29 +0200},
  title = {Subsumption Prediction for E-Commerce Taxonomies},
  url = {download/2023/ShiCDKLZWH23.pdf},
  volume = {13870},
  year = {2023},
  bdsk-url-1 = {https://doi.org/10.1007/978-3-031-33455-9%5C_15}
}
@inproceedings{DBLP:conf/acl/0008CJ0023,
  author = {Yuan He and Jiaoyan Chen and Ernesto Jim{\'{e}}nez{-}Ruiz
		  and Hang Dong and Ian Horrocks},
  bibsource = {dblp computer science bibliography, https://dblp.org},
  biburl = {https://dblp.org/rec/conf/acl/0008CJ0023.bib},
  booktitle = {Findings of the Association for Computational Linguistics:
		  {ACL} 2023, Toronto, Canada, July 9-14, 2023},
  date-added = {2023-10-04 14:11:45 +0100},
  date-modified = {2023-10-04 14:11:45 +0100},
  doi = {10.18653/v1/2023.findings-acl.213},
  editor = {Anna Rogers and Jordan L. Boyd{-}Graber and Naoaki
		  Okazaki},
  pages = {3439--3453},
  publisher = {Association for Computational Linguistics},
  timestamp = {Thu, 10 Aug 2023 12:36:04 +0200},
  title = {Language Model Analysis for Ontology Subsumption
		  Inference},
  url = {https://doi.org/10.18653/v1/2023.findings-acl.213},
  year = {2023},
  bdsk-url-1 = {https://doi.org/10.18653/v1/2023.findings-acl.213}
}
@article{DBLP:journals/ai/HuMH22,
  author = {Pan Hu and Boris Motik and Ian Horrocks},
  date-added = {2022-05-27 15:26:52 +0100},
  date-modified = {2023-04-20 13:45:08 +0100},
  doi = {https://doi.org/10.1016/j.artint.2022.103726},
  journal = {Artificial Intelligence},
  pages = {103726},
  title = {Modular materialisation of Datalog programs},
  url = {download/2022/HuMH22.pdf},
  volume = {308},
  year = {2022},
  bdsk-url-1 = {download/2022/HuMH22},
  bdsk-url-2 = {https://doi.org/10.1016/j.artint.2022.103726}
}
@article{DBLP:journals/ai/RoncaKGH22,
  author = {Alessandro Ronca and Mark Kaminski and Bernardo Cuenca
		  Grau and Ian Horrocks},
  date-added = {2022-04-12 13:28:12 +0100},
  date-modified = {2023-04-20 13:44:45 +0100},
  journal = {Artificial Intelligence},
  pages = {103668},
  title = {The delay and window size problems in rule-based stream
		  reasoning},
  url = {download/2022/RoncaKGH22.pdf},
  volume = {306},
  year = {2022},
  bdsk-url-1 = {download/2022/RoncaKGH22}
}
@article{DBLP:journals/jacm/KaminskiKGMH22,
  author = {Mark Kaminski and Egor V. Kostylev and Bernardo Cuenca
		  Grau and Boris Motik and Ian Horrocks},
  date-added = {2022-04-12 13:21:07 +0100},
  date-modified = {2022-06-27 12:34:43 +0100},
  doi = {https://dl.acm.org/doi/pdf/10.1145/3495009},
  journal = {J.\ of the {ACM}},
  number = {1},
  pages = {6:1--6:83},
  title = {The Complexity and Expressive Power of Limit Datalog},
  url = {download/2022/KKGMH22.pdf},
  volume = {69},
  year = {2022},
  bdsk-url-1 = {https://dl.acm.org/doi/pdf/10.1145/3495009}
}
@inproceedings{DBLP:conf/semweb/HeCDJHH22,
  author = {Yuan He and Jiaoyan Chen and Hang Dong and Ernesto
		  Jim{\'{e}}nez{-}Ruiz and Ali Hadian and Ian Horrocks},
  booktitle = {{ISWC}},
  date-added = {2023-04-20 13:47:04 +0100},
  date-modified = {2023-04-20 13:47:52 +0100},
  pages = {575--591},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  title = {Machine Learning-Friendly Biomedical Datasets for
		  Equivalence and Subsumption Ontology Matching},
  url = {download/2022/HeCDJHH22.pdf},
  volume = {13489},
  year = {2022},
  bdsk-url-1 = {download/2022/HeCDJHH22.pdf}
}
@inproceedings{DBLP:conf/esws/HorrocksOCMR22,
  author = {Ian Horrocks and Jordi Olivares and Valerio Cocchi and
		  Boris Motik and Dylan Roy},
  booktitle = {{ESWC}},
  date-added = {2023-04-20 13:32:15 +0100},
  date-modified = {2023-04-20 13:42:10 +0100},
  pages = {427--443},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  title = {The Dow Jones Knowledge Graph},
  url = {download/2022/HorrocksOCMR22.pdf},
  volume = {13261},
  year = {2022},
  bdsk-url-1 = {download/2022/HorrocksOCMR22.pdf}
}
@inproceedings{DBLP:conf/aaai/0008CA022,
  author = {Yuan He and Jiaoyan Chen and Denvar Antonyrajah and Ian
		  Horrocks},
  booktitle = {{AAAI}},
  date-added = {2023-04-20 13:29:36 +0100},
  date-modified = {2023-04-20 13:44:08 +0100},
  pages = {5684--5691},
  publisher = {{AAAI} Press},
  title = {BERTMap: {A} BERT-Based Ontology Alignment System},
  url = {download/2022/0008CA022.pdf},
  year = {2022},
  bdsk-url-1 = {download/2022/0008CA022.pdf}
}
@article{DBLP:journals/ai/CucalaGH21,
  author = {David {Tena Cucala} and Bernardo {Cuenca Grau} and Ian
		  Horrocks},
  date-added = {2021-08-17 10:05:11 +0100},
  date-modified = {2022-06-14 15:29:22 +0100},
  journal = {Artificial Intelligence},
  pages = {103518},
  title = {Pay-as-you-go consequence-based reasoning for the
		  description logic {SROIQ}},
  url = {download/2021/CucalaGH21.pdf},
  volume = {298},
  year = {2021},
  bdsk-url-1 = {download/2021/CucalaGH21.pdf}
}
@article{DBLP:journals/ml/ChenHJHAH21,
  author = {Jiaoyan Chen and Pan Hu and Ernesto Jim{\'{e}}nez{-}Ruiz
		  and Ole Magnus Holter and Denvar Antonyrajah and Ian
		  Horrocks},
  date-added = {2021-08-17 09:47:41 +0100},
  date-modified = {2021-08-17 09:48:07 +0100},
  doi = {10.1007/s10994-021-05997-6},
  journal = {Mach. Learn.},
  number = {7},
  pages = {1813--1845},
  title = {OWL2Vec*: embedding of {OWL} ontologies},
  url = {https://doi.org/10.1007/s10994-021-05997-6},
  volume = {110},
  year = {2021},
  bdsk-url-1 = {https://doi.org/10.1007/s10994-021-05997-6}
}
@inproceedings{DBLP:conf/nips/LiuGHK21,
  author = {Shuwen Liu and Bernardo Cuenca Grau and Ian Horrocks and
		  Egor V. Kostylev},
  booktitle = {NeurIPS},
  date-added = {2022-05-27 15:25:21 +0100},
  date-modified = {2022-05-27 16:15:42 +0100},
  pages = {2034--2045},
  title = {{INDIGO:} GNN-Based Inductive Knowledge Graph Completion
		  Using Pair-Wise Encoding},
  url = {https://proceedings.neurips.cc/paper/2021/hash/0fd600c953cde8121262e322ef09f70e-Abstract.html},
  year = {2021},
  bdsk-url-1 = {https://proceedings.neurips.cc/paper/2021/hash/0fd600c953cde8121262e322ef09f70e-Abstract.html}
}
@inproceedings{DBLP:conf/dlog/IgneGH21,
  author = {Federico Igne and Stefano Germano and Ian Horrocks},
  booktitle = {Description Logics},
  date-added = {2022-04-12 12:54:10 +0100},
  date-modified = {2022-04-12 12:54:40 +0100},
  publisher = {CEUR-WS.org},
  series = {{CEUR} Workshop Proceedings},
  title = {RSAComb: Combined Approach for {CQ} Answering in {RSA}},
  url = {http://ceur-ws.org/Vol-2954/paper-18.pdf},
  volume = {2954},
  year = {2021},
  bdsk-url-1 = {http://ceur-ws.org/Vol-2954/paper-18.pdf}
}
@inproceedings{DBLP:conf/semweb/IgneGH21,
  author = {Federico Igne and Stefano Germano and Ian Horrocks},
  booktitle = {{ISWC}},
  date-added = {2022-04-12 12:46:35 +0100},
  date-modified = {2022-04-12 12:50:13 +0100},
  pages = {200--216},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  title = {Computing {CQ} Lower-Bounds over {OWL} 2 Through
		  Approximation to {RSA}},
  url = {download/2021/IgneGH21.pdf},
  volume = {12922},
  year = {2021},
  bdsk-url-1 = {download/2021/IgneGH21.pdf}
}
@inproceedings{DBLP:conf/semweb/HeCAH21,
  author = {Yuan He and Jiaoyan Chen and Denvar Antonyrajah and Ian
		  Horrocks},
  booktitle = {OM@ISWC},
  date-added = {2022-04-12 12:39:03 +0100},
  date-modified = {2022-04-12 12:41:51 +0100},
  pages = {1--12},
  publisher = {CEUR-WS.org},
  series = {{CEUR} Workshop Proceedings},
  title = {Biomedical ontology alignment with {BERT}},
  url = {http://ceur-ws.org/Vol-3063/om2021_LTpaper1.pdf},
  volume = {3063},
  year = {2021},
  bdsk-url-1 = {http://ceur-ws.org/Vol-3063/om2021_LTpaper1.pdf}
}
@inproceedings{DBLP:conf/webist/Horrocks21,
  author = {Ian Horrocks},
  booktitle = {{WEBIST}},
  date-added = {2022-04-12 12:36:12 +0100},
  date-modified = {2022-04-12 12:36:12 +0100},
  pages = {5},
  publisher = {{SCITEPRESS}},
  title = {Knowledge Graphs: Theory, Applications and Challenges},
  year = {2021}
}
@inproceedings{DBLP:conf/semweb/GermanoSHL21,
  author = {Stefano Germano and Carla Saunders and Ian Horrocks and
		  Rick Lupton},
  booktitle = {{ISWC}},
  date-added = {2022-04-12 12:28:20 +0100},
  date-modified = {2022-04-12 12:29:40 +0100},
  pages = {665--681},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  title = {Use of Semantic Technologies to Inform Progress Toward
		  Zero-Carbon Economy},
  url = {download/2021/GermanoSHL21.pdf},
  volume = {12922},
  year = {2021},
  bdsk-url-1 = {download/2021/GermanoSHL21.pdf}
}
@inproceedings{DBLP:conf/esws/AjileyeMH21,
  author = {Temitope Ajileye and Boris Motik and Ian Horrocks},
  booktitle = {{ESWC}},
  date-added = {2021-08-17 09:44:17 +0100},
  date-modified = {2021-08-17 09:45:28 +0100},
  pages = {3--22},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  title = {Streaming Partitioning of {RDF} Graphs for Datalog
		  Reasoning},
  url = {download/2021/AjileyeMH21.pdf},
  volume = {12731},
  year = {2021},
  bdsk-url-1 = {download/2021/AjileyeMH21.pdf}
}
@inproceedings{DBLP:conf/esws/ChenJHAHL21,
  author = {Jiaoyan Chen and Ernesto Jim{\'{e}}nez{-}Ruiz and Ian
		  Horrocks and Denvar Antonyrajah and Ali Hadian and Jaehun
		  Lee},
  booktitle = {The Semantic Web - 18th International Conference, {ESWC}
		  2021, Virtual Event, June 6-10, 2021, Proceedings},
  date-added = {2021-08-17 09:18:28 +0100},
  date-modified = {2021-08-17 09:38:20 +0100},
  editor = {Ruben Verborgh and Katja Hose and Heiko Paulheim and
		  Pierre{-}Antoine Champin and Maria Maleshkova and
		  {\'{O}}scar Corcho and Petar Ristoski and Mehwish Alam},
  pages = {392--408},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  title = {Augmenting Ontology Alignment by Semantic Embedding and
		  Distant Supervision},
  url = {download/2021/ChenJHAHL21.pdf},
  volume = {12731},
  year = {2021},
  bdsk-url-1 = {https://doi.org/10.1007/978-3-030-77385-4%5C_23}
}
@inproceedings{DBLP:conf/ijcai/ChenG0HPC21,
  author = {Jiaoyan Chen and Yuxia Geng and Zhuo Chen and Ian Horrocks
		  and Jeff Z. Pan and Huajun Chen},
  booktitle = {Proceedings of the Thirtieth International Joint
		  Conference on Artificial Intelligence, {IJCAI} 2021,
		  Virtual Event / Montreal, Canada, 19-27 August 2021},
  date-added = {2021-08-17 09:16:36 +0100},
  date-modified = {2022-05-17 10:28:45 +0100},
  doi = {10.24963/ijcai.2021/597},
  editor = {Zhi{-}Hua Zhou},
  pages = {4366--4373},
  publisher = {ijcai.org},
  title = {Knowledge-aware Zero-Shot Learning: Survey and
		  Perspective},
  url = {download/2021/ChenG0HPC21.pdf},
  year = {2021},
  bdsk-url-1 = {https://doi.org/10.24963/ijcai.2021/597}
}
@inproceedings{DBLP:conf/aaai/KaminskiGKH20,
  author = {Mark Kaminski and Bernardo Cuenca Grau and Egor V.
		  Kostylev and Ian Horrocks},
  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},
  date-added = {2021-08-17 09:13:11 +0100},
  date-modified = {2022-05-17 10:31:55 +0100},
  doi = {https://aaai.org/ojs/index.php/AAAI/article/view/5676},
  pages = {2862--2869},
  publisher = {{AAAI} Press},
  title = {Complexity and Expressive Power of Disjunction and
		  Negation in Limit Datalog},
  url = {download/2020/KaminskiGKH20.pdf},
  year = {2020},
  bdsk-url-1 = {https://aaai.org/ojs/index.php/AAAI/article/view/5676}
}
@inproceedings{DBLP:conf/semweb/LeeHPLMH20,
  author = {Jaehun Lee and Taeho Hwang and Jungho Park and Yunsu Lee
		  and Boris Motik and Ian Horrocks},
  booktitle = {{ISWC} (Demos/Industry)},
  date-added = {2021-08-17 09:09:10 +0100},
  date-modified = {2021-08-17 09:12:02 +0100},
  pages = {380--382},
  publisher = {CEUR-WS.org},
  series = {{CEUR} Workshop Proceedings},
  title = {A Context-Aware Recommendation System for Mobile Devices},
  url = {http://ceur-ws.org/Vol-2721/paper489.pdf},
  volume = {2721},
  year = {2020},
  bdsk-url-1 = {http://ceur-ws.org/Vol-2721/paper489.pdf}
}
@inproceedings{DBLP:conf/www/ChenCHMJ20,
  author = {Jiaoyan Chen and Xi Chen and Ian Horrocks and Erik B.
		  Myklebust and Ernesto Jim{\'{e}}nez{-}Ruiz},
  booktitle = {{WWW}},
  date-added = {2020-05-11 12:52:58 +0100},
  date-modified = {2022-05-17 10:34:00 +0100},
  doi = {https://dl.acm.org/doi/10.1145/3366423.3380226},
  pages = {1537--1547},
  publisher = {{ACM} / {IW3C2}},
  title = {Correcting Knowledge Base Assertions},
  url = {download/2020/ChenCHMJ20.pdf},
  year = {2020},
  bdsk-url-1 = {https://dl.acm.org/doi/10.1145/3366423.3380226}
}
@article{NKKKCH19a,
  author = {Charalampos Nikolaou and Egor V. Kostylev and George
		  Konstantinidis and Mark Kaminski and Bernardo {Cuenca Grau}
		  and Ian Horrocks},
  date-added = {2019-04-05 14:12:23 +0100},
  date-modified = {2019-04-05 14:36:16 +0100},
  doi = {https://doi.org/10.1016/j.artint.2019.02.003},
  journal = {Artificial Intelligence},
  pages = {91--132},
  title = {Foundations of ontology-based data access under bag
		  semantics},
  url = {download/2019/NKKKCH19a.pdf},
  volume = {274},
  year = {2019},
  bdsk-url-1 = {download/2019/NKKKCH19a.pdf},
  bdsk-url-2 = {https://doi.org/10.1016/j.artint.2019.02.003}
}
@article{MNPH19a,
  author = {Boris Motik and Yavor Nenov and Robert Piro and Ian
		  Horrocks},
  date-added = {2019-02-08 18:30:06 +0100},
  date-modified = {2019-02-22 11:24:59 +0000},
  doi = {https://doi.org/10.1016/j.artint.2018.12.004},
  journal = {Artificial Intelligence},
  pages = {76--136},
  title = {Maintenance of datalog materialisations revisited},
  url = {download/2019/MNPH19a.pdf},
  volume = {269},
  year = {2019},
  bdsk-url-1 = {https://doi.org/10.1016/j.artint.2018.12.004}
}
@inproceedings{DBLP:conf/semweb/PetrovaKGH19,
  author = {Alina Petrova and Egor V. Kostylev and Bernardo {Cuenca
		  Grau} and Ian Horrocks},
  booktitle = {Proc.\ of the 18th International Semantic Web Conference
		  (ISWC 2019)},
  date-added = {2020-03-14 14:16:11 +0000},
  date-modified = {2020-03-14 14:21:25 +0000},
  pages = {558--575},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  title = {Query-Based Entity Comparison in Knowledge Graphs
		  Revisited},
  url = {download/2019/PetrovaKGH19.pdf},
  volume = {11778},
  year = {2019},
  bdsk-url-1 = {download/2019/PetrovaKGH19.pdf}
}
@inproceedings{DBLP:conf/semweb/PetrovaKGH19a,
  author = {Alina Petrova and Egor V. Kostylev and Bernardo {Cuenca
		  Grau} and Ian Horrocks},
  booktitle = {OM@ISWC},
  date-added = {2020-03-14 14:14:39 +0000},
  date-modified = {2020-03-14 14:15:36 +0000},
  pages = {197--198},
  publisher = {CEUR-WS.org},
  series = {{CEUR} Workshop Proceedings},
  title = {Towards Explainable Entity Matching via Comparison
		  Queries},
  url = {http://ceur-ws.org/Vol-2536/om2019_poster5.pdf},
  volume = {2536},
  year = {2019},
  bdsk-url-1 = {http://ceur-ws.org/Vol-2536/om2019_poster5.pdf}
}
@inproceedings{DBLP:conf/semweb/MailisKNKHI19,
  author = {Theofilos Mailis and Yannis Kotidis and Vaggelis
		  Nikolopoulos and Evgeny Kharlamov and Ian Horrocks and
		  Yannis E. Ioannidis},
  booktitle = {{ISWC} Satellites},
  date-added = {2020-03-14 14:12:53 +0000},
  date-modified = {2020-03-14 14:13:59 +0000},
  pages = {193--196},
  publisher = {CEUR-WS.org},
  series = {{CEUR} Workshop Proceedings},
  title = {Mv-Index: An Efficient Index for Graph-Query Containment},
  url = {http://ceur-ws.org/Vol-2456/paper50.pdf},
  volume = {2456},
  year = {2019},
  bdsk-url-1 = {http://ceur-ws.org/Vol-2456/paper50.pdf}
}
@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},
  booktitle = {Proc.\ of the 18th International Semantic Web Conference
		  (ISWC 2019)},
  date-added = {2020-03-14 14:01:07 +0000},
  date-modified = {2020-03-14 14:05:42 +0000},
  pages = {128--144},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  title = {Bag Semantics of {DL-Lite} with Functionality Axioms},
  url = {download/2019/CimaNKKGH19.pdf},
  volume = {11778},
  year = {2019},
  bdsk-url-1 = {download/2019/CimaNKKGH19.pdf}
}
@inproceedings{DBLP:conf/semweb/ChenJH19,
  author = {Jiaoyan Chen and Ernesto Jim{\'{e}}nez{-}Ruiz and Ian
		  Horrocks},
  booktitle = {Proc.\ of the 18th International Semantic Web Conference
		  (ISWC 2019)},
  date-added = {2020-03-14 13:53:36 +0000},
  date-modified = {2020-03-14 13:54:40 +0000},
  pages = {110--127},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  title = {Canonicalizing Knowledge Base Literals},
  url = {download/2019/ChenJH19.pdf},
  volume = {11778},
  year = {2019},
  bdsk-url-1 = {download/2019/ChenJH19.pdf}
}
@inproceedings{DBLP:conf/semweb/AjileyeMH19,
  author = {Temitope Ajileye and Boris Motik and Ian Horrocks},
  booktitle = {Proc.\ of the 18th International Semantic Web Conference
		  (ISWC 2019)},
  date-added = {2020-03-14 13:45:29 +0000},
  date-modified = {2020-03-14 13:52:11 +0000},
  pages = {21--37},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  title = {Datalog Materialisation in Distributed {RDF} Stores with
		  Dynamic Data Exchange},
  url = {download/2019/AjileyeMH19.pdf},
  volume = {11778},
  year = {2019},
  bdsk-url-1 = {download/2019/AjileyeMH19.pdf}
}
@inproceedings{DBLP:conf/dlog/CucalaGH19,
  author = {David Tena Cucala and Bernardo {Cuenca Grau} and Ian
		  Horrocks},
  booktitle = {Proc.\ of the 2019 Description Logic Workshop (DL~2019)},
  date-added = {2020-03-14 12:52:53 +0000},
  date-modified = {2020-03-14 15:06:49 +0000},
  publisher = {CEUR-WS.org},
  series = {{CEUR} Workshop Proceedings},
  title = {Sequoia: {A} Consequence Based Reasoner for {SROIQ}},
  url = {http://ceur-ws.org/Vol-2373/paper-27.pdf},
  volume = {2373},
  year = {2019},
  bdsk-url-1 = {http://ceur-ws.org/Vol-2373/paper-27.pdf}
}
@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},
  booktitle = {Proc.\ of the 2019 Description Logic Workshop (DL~2019)},
  date-added = {2020-03-14 12:32:03 +0000},
  date-modified = {2020-03-14 12:52:22 +0000},
  publisher = {CEUR-WS.org},
  series = {{CEUR} Workshop Proceedings},
  title = {Bagging the {DL-Lite} Family Further},
  url = {http://ceur-ws.org/Vol-2373/paper-13.pdf},
  volume = {2373},
  year = {2019},
  bdsk-url-1 = {http://ceur-ws.org/Vol-2373/paper-13.pdf}
}
@inproceedings{DBLP:conf/cikm/HuUMH19,
  author = {Pan Hu and Jacopo Urbani and Boris Motik and Ian
		  Horrocks},
  booktitle = {Proc.\ of the 28th Int.\ Conf.\ on Information and
		  Knowledge Management (CIKM~2019)},
  date-added = {2020-03-14 12:14:01 +0000},
  date-modified = {2020-03-14 12:28:22 +0000},
  pages = {2065--2068},
  publisher = {ACM},
  title = {Datalog Reasoning over Compressed {RDF} Knowledge Bases},
  url = {download/2019/HuUMH19.pdf},
  year = {2019},
  bdsk-url-1 = {download/2019/HuUMH19.pdf}
}
@inproceedings{DBLP:conf/birthday/CucalaGH19,
  author = {David Tena Cucala and Bernardo {Cuenca Grau} and Ian
		  Horrocks},
  booktitle = {Description Logic, Theory Combination, and All That},
  date-added = {2020-03-14 12:08:28 +0000},
  date-modified = {2020-03-14 12:30:28 +0000},
  pages = {573--587},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  title = {15 Years of Consequence-Based Reasoning},
  url = {download/2019/CucalaGH19.pdf},
  volume = {11560},
  year = {2019},
  bdsk-url-1 = {download/2019/CucalaGH19.pdf}
}
@inproceedings{NCKKH19a,
  author = {Charalampos Nikolaou and Bernardo {Cuenca Grau} and Egor
		  V. Kostylev and Mark Kaminski and Ian Horrocks},
  booktitle = {Proc.\ of the 28th Int.\ Joint Conf.\ on Artificial
		  Intelligence (IJCAI~2019)},
  date-added = {2019-06-02 11:41:27 +0100},
  date-modified = {2020-03-14 12:54:27 +0000},
  pages = {1829--1835},
  title = {Satisfaction and Implication of Integrity Constraints in
		  Ontology-based Data Access},
  url = {download/2019/NCKKH19a.pdf},
  year = {2019},
  bdsk-url-1 = {http://arxiv.org/abs/1705.07105}
}
@inproceedings{CJHS19a,
  author = {Jiaoyan Chen and Ernesto Jim{\'{e}}nez{-}Ruiz and Ian
		  Horrocks and Charles Sutton},
  booktitle = {Proc.\ of the 33rd Nat.\ Conf.\ on Artificial Intelligence
		  (AAAI~19)},
  date-added = {2019-06-02 11:19:50 +0100},
  date-modified = {2020-03-14 12:06:35 +0000},
  pages = {29--36},
  title = {ColNet: Embedding the Semantics of Web Tables for Column
		  Type Prediction},
  url = {http://arxiv.org/abs/1811.01304},
  year = {2019},
  bdsk-url-1 = {http://arxiv.org/abs/1811.01304}
}
@inproceedings{CJHS19b,
  author = {Jiaoyan Chen and Ernesto Jim{\'{e}}nez{-}Ruiz and Ian
		  Horrocks and Charles Sutton},
  booktitle = {Proc.\ of the 28th Int.\ Joint Conf.\ on Artificial
		  Intelligence (IJCAI~2019)},
  date-added = {2019-06-02 11:04:53 +0100},
  date-modified = {2020-03-14 12:55:22 +0000},
  pages = {2088--2094},
  title = {Learning Semantic Annotations for Tabular Data},
  url = {download/2019/CJHS19b.pdf},
  year = {2019},
  bdsk-url-1 = {download/2019/CJHS19b.pdf}
}
@inproceedings{HuMH19a,
  author = {Pan Hu and Boris Motik and Ian Horrocks},
  booktitle = {Proc.\ of the 33rd Nat.\ Conf.\ on Artificial Intelligence
		  (AAAI~19)},
  date-added = {2019-05-13 15:18:12 -0700},
  date-modified = {2020-03-14 12:07:20 +0000},
  pages = {2859--2866},
  title = {Modular Materialisation of Datalog Programs},
  url = {https://arxiv.org/pdf/1811.02304.pdf},
  year = {2019},
  bdsk-url-1 = {https://arxiv.org/pdf/1811.02304.pdf}
}
@inproceedings{MKNKHI19a,
  author = {Theofilos Mailis and Yannis Kotidis and Vaggelis
		  Nikolopoulos and Evgeny Kharlamov and Ian Horrocks and
		  Yannis Ioannidis},
  booktitle = {Proc.\ of the ACM SIGMOD Int.\ Conf.\ on Management of Data},
  date-added = {2019-04-11 11:39:11 +0100},
  date-modified = {2019-04-11 11:45:21 +0100},
  title = {An Efficient Index for {RDF} Query Containment},
  url = {download/2019/MKNKHI19a.pdf},
  year = {2019},
  bdsk-url-1 = {download/2019/MKNKHI19a.pdf}
}
@article{DBLP:journals/corr/abs-1811-02304,
  archiveprefix = {arXiv},
  author = {Pan Hu and Boris Motik and Ian Horrocks},
  bibsource = {dblp computer science bibliography, https://dblp.org},
  biburl = {https://dblp.org/rec/bib/journals/corr/abs-1811-02304},
  date-added = {2019-02-06 17:28:22 +0000},
  date-modified = {2019-02-06 17:28:22 +0000},
  eprint = {1811.02304},
  journal = {CoRR},
  timestamp = {Thu, 22 Nov 2018 17:58:30 +0100},
  title = {Modular Materialisation of Datalog Programs},
  url = {http://arxiv.org/abs/1811.02304},
  volume = {abs/1811.02304},
  year = {2018},
  bdsk-url-1 = {http://arxiv.org/abs/1811.02304}
}
@article{DBLP:journals/corr/abs-1811-01304,
  archiveprefix = {arXiv},
  author = {Jiaoyan Chen and Ernesto Jim{\'{e}}nez{-}Ruiz and Ian
		  Horrocks and Charles Sutton},
  bibsource = {dblp computer science bibliography, https://dblp.org},
  biburl = {https://dblp.org/rec/bib/journals/corr/abs-1811-01304},
  date-added = {2019-02-06 17:27:34 +0000},
  date-modified = {2019-02-06 17:27:34 +0000},
  eprint = {1811.01304},
  journal = {CoRR},
  timestamp = {Thu, 22 Nov 2018 17:58:30 +0100},
  title = {ColNet: Embedding the Semantics of Web Tables for Column
		  Type Prediction},
  url = {http://arxiv.org/abs/1811.01304},
  volume = {abs/1811.01304},
  year = {2018},
  bdsk-url-1 = {http://arxiv.org/abs/1811.01304}
}
@article{BMCTSH18a,
  author = {Andrew Bate and Boris Motik and Bernardo {Cuenca Grau} and
		  David {Tena Cucala} and Franti\v{s}ek Siman\v{c}\'{i}k and
		  Ian Horrocks},
  date-added = {2018-12-03 09:42:22 +0100},
  date-modified = {2018-12-03 09:47:41 +0100},
  journal = {J.\ of Artificial Intelligence Research},
  pages = {625--690},
  title = {Consequence-Based Reasoning for Description Logics with
		  Disjunctions and Number Restrictions},
  url = {https://jair.org/index.php/jair/article/view/11257/26452},
  volume = {63},
  year = {2018},
  bdsk-url-1 = {https://jair.org/index.php/jair/article/view/11257/26452}
}
@article{DBLP:journals/semweb/SoyluKZJGSHSBLH18,
  author = {Ahmet Soylu and Evgeny Kharlamov and Dmitriy Zheleznyakov
		  and Ernesto Jim{\'{e}}nez{-}Ruiz and Martin Giese and
		  Martin G. Skj{\ae}veland and Dag Hovland and Rudolf
		  Schlatte and Sebastian Brandt and Hallstein Lie and Ian
		  Horrocks},
  bibsource = {dblp computer science bibliography, https://dblp.org},
  biburl = {https://dblp.org/rec/bib/journals/semweb/SoyluKZJGSHSBLH18},
  date-added = {2018-11-30 10:40:38 +0000},
  date-modified = {2018-12-01 22:20:25 +0000},
  doi = {10.3233/SW-180293},
  journal = {Semantic Web},
  number = {5},
  pages = {627--660},
  timestamp = {Tue, 18 Sep 2018 13:17:04 +0200},
  title = {OptiqueVQS: {A} visual query system over ontologies for
		  industry},
  url = {download/2018/SoyluKZJGSHSBLH18.pdf},
  volume = {9},
  year = {2018},
  bdsk-url-1 = {https://doi.org/10.3233/SW-180293}
}
@article{DBLP:journals/corr/abs-1805-01396,
  archiveprefix = {arXiv},
  author = {David Tena Cucala and Bernardo Cuenca Grau and Ian
		  Horrocks},
  bibsource = {dblp computer science bibliography, https://dblp.org},
  biburl = {https://dblp.org/rec/bib/journals/corr/abs-1805-01396},
  date-added = {2018-08-02 15:21:31 +0100},
  date-modified = {2018-08-02 15:21:31 +0100},
  eprint = {1805.01396},
  journal = {CoRR},
  timestamp = {Mon, 04 Jun 2018 17:53:36 +0200},
  title = {Consequence-based Reasoning for Description Logics with
		  Disjunction, Inverse Roles, Number Restrictions, and
		  Nominals},
  url = {http://arxiv.org/abs/1805.01396},
  volume = {abs/1805.01396},
  year = {2018},
  bdsk-url-1 = {http://arxiv.org/abs/1805.01396}
}
@article{DBLP:journals/corr/abs-1804-09473,
  archiveprefix = {arXiv},
  author = {Mark Kaminski and Bernardo Cuenca Grau and Egor V.
		  Kostylev and Boris Motik and Ian Horrocks},
  bibsource = {dblp computer science bibliography, https://dblp.org},
  biburl = {https://dblp.org/rec/bib/journals/corr/abs-1804-09473},
  date-added = {2018-05-03 13:04:32 +0000},
  date-modified = {2018-05-03 13:04:32 +0000},
  eprint = {1804.09473},
  journal = {CoRR},
  timestamp = {Wed, 02 May 2018 15:55:01 +0200},
  title = {Stratified Negation in Limit Datalog Programs},
  url = {http://arxiv.org/abs/1804.09473},
  volume = {abs/1804.09473},
  year = {2018},
  bdsk-url-1 = {http://arxiv.org/abs/1804.09473}
}
@article{DBLP:journals/semweb/PinkelBJKMNBSST18,
  author = {Christoph Pinkel and Carsten Binnig and Ernesto
		  Jim{\'{e}}nez{-}Ruiz and Evgeny Kharlamov and Wolfgang May
		  and Andriy Nikolov and Ana Sasa Bastinos and Martin G.
		  Skj{\ae}veland and Alessandro Solimando and Mohsen
		  Taheriyan and Christian Heupel and Ian Horrocks},
  bibsource = {dblp computer science bibliography, https://dblp.org},
  biburl = {https://dblp.org/rec/bib/journals/semweb/PinkelBJKMNBSST18},
  date-added = {2018-05-03 13:02:29 +0000},
  date-modified = {2018-05-03 13:02:29 +0000},
  doi = {10.3233/SW-170268},
  journal = {Semantic Web},
  number = {1},
  pages = {25--52},
  timestamp = {Wed, 13 Dec 2017 15:13:19 +0100},
  title = {{RODI:} Benchmarking relational-to-ontology mapping
		  generation quality},
  url = {https://doi.org/10.3233/SW-170268},
  volume = {9},
  year = {2018},
  bdsk-url-1 = {https://doi.org/10.3233/SW-170268}
}
@article{PMNH18a,
  author = {Anthony Potter and Boris Motik and Yavor Nenov and Ian
		  Horrocks},
  date-added = {2018-04-26 16:16:08 +0000},
  date-modified = {2019-02-21 16:59:56 +0000},
  doi = {10.1109/TKDE.2018.2818696},
  journal = {{IEEE} Trans.\ on Knowledge and Data Engineering},
  number = {12},
  pages = {2312--2325},
  title = {Dynamic Data Exchange in Distributed {RDF} Stores},
  url = {download/2018/PMNH18a.pdf},
  volume = {30},
  year = {2018},
  bdsk-url-1 = {download/2018/PMNH18a.pdf}
}
@inproceedings{DBLP:conf/semweb/RingsquandlK0HL18,
  author = {Martin Ringsquandl and Evgeny Kharlamov and Daria
		  Stepanova and Marcel Hildebrandt and Steffen Lamparter and
		  Raffaello Lepratti and Ian Horrocks and Peer Kr{\"{o}}ger},
  bibsource = {dblp computer science bibliography, https://dblp.org},
  biburl = {https://dblp.org/rec/bib/conf/semweb/RingsquandlK0HL18},
  booktitle = {Proceedings of the {ISWC} 2018 Posters {\&}
		  Demonstrations, Industry and Blue Sky Ideas Tracks
		  co-located with 17th International Semantic Web Conference
		  {(ISWC} 2018), Monterey, USA, October 8th - to - 12th,
		  2018.},
  date-added = {2019-02-06 17:24:29 +0000},
  date-modified = {2019-02-06 17:24:29 +0000},
  editor = {Marieke van Erp and Medha Atre and Vanessa L{\'{o}}pez and
		  Kavitha Srinivas and Carolina Fortuna},
  publisher = {CEUR-WS.org},
  series = {{CEUR} Workshop Proceedings},
  timestamp = {Thu, 11 Oct 2018 12:45:11 +0200},
  title = {Filling Gaps in Industrial Knowledge Graphs via
		  Event-Enhanced Embedding},
  url = {http://ceur-ws.org/Vol-2180/paper-52.pdf},
  volume = {2180},
  year = {2018},
  bdsk-url-1 = {http://ceur-ws.org/Vol-2180/paper-52.pdf}
}
@inproceedings{DBLP:conf/kr/RoncaKGH18,
  author = {Alessandro Ronca and Mark Kaminski and Bernardo {Cuenca
		  Grau} and Ian Horrocks},
  bibsource = {dblp computer science bibliography, https://dblp.org},
  biburl = {https://dblp.org/rec/bib/conf/kr/RoncaKGH18},
  booktitle = {Principles of Knowledge Representation and Reasoning:
		  Proceedings of the Sixteenth International Conference, {KR}
		  2018, Tempe, Arizona, 30 October - 2 November 2018.},
  date-added = {2019-02-06 17:22:54 +0000},
  date-modified = {2019-02-06 17:23:21 +0000},
  editor = {Michael Thielscher and Francesca Toni and Frank Wolter},
  pages = {571--581},
  publisher = {{AAAI} Press},
  timestamp = {Thu, 18 Oct 2018 09:45:00 +0200},
  title = {The Window Validity Problem in Rule-Based Stream
		  Reasoning},
  url = {https://aaai.org/ocs/index.php/KR/KR18/paper/view/18030},
  year = {2018},
  bdsk-url-1 = {https://aaai.org/ocs/index.php/KR/KR18/paper/view/18030}
}
@inproceedings{DBLP:conf/kr/ChenLPHC18,
  author = {Jiaoyan Chen and Freddy L{\'{e}}cu{\'{e}} and Jeff Z. Pan
		  and Ian Horrocks and Huajun Chen},
  bibsource = {dblp computer science bibliography, https://dblp.org},
  biburl = {https://dblp.org/rec/bib/conf/kr/ChenLPHC18},
  booktitle = {Principles of Knowledge Representation and Reasoning:
		  Proceedings of the Sixteenth International Conference, {KR}
		  2018, Tempe, Arizona, 30 October - 2 November 2018.},
  date-added = {2019-02-06 17:20:14 +0000},
  date-modified = {2019-02-06 17:20:14 +0000},
  editor = {Michael Thielscher and Francesca Toni and Frank Wolter},
  pages = {349--358},
  publisher = {{AAAI} Press},
  timestamp = {Thu, 18 Oct 2018 09:45:00 +0200},
  title = {Knowledge-Based Transfer Learning Explanation},
  url = {https://aaai.org/ocs/index.php/KR/KR18/paper/view/18054},
  year = {2018},
  bdsk-url-1 = {https://aaai.org/ocs/index.php/KR/KR18/paper/view/18054}
}
@inproceedings{DBLP:conf/jist/SavkovicKRXMKNH18,
  author = {Ognjen Savkovic and Evgeny Kharlamov and Martin
		  Ringsquandl and Guohui Xiao and Gulnar Mehdi and Elem
		  G{\"{u}}zel Kalayci and Werner Nutt and Ian Horrocks},
  bibsource = {dblp computer science bibliography, https://dblp.org},
  biburl = {https://dblp.org/rec/bib/conf/jist/SavkovicKRXMKNH18},
  booktitle = {Semantic Technology - 8th Joint International Conference,
		  {JIST} 2018, Awaji, Japan, November 26-28, 2018,
		  Proceedings},
  date-added = {2019-02-06 17:17:55 +0000},
  date-modified = {2019-02-06 17:17:55 +0000},
  doi = {10.1007/978-3-030-04284-4\_19},
  editor = {Ryutaro Ichise and Freddy L{\'{e}}cu{\'{e}} and Takahiro
		  Kawamura and Dongyan Zhao and Stephen Muggleton and Kouji
		  Kozaki},
  pages = {277--294},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  timestamp = {Mon, 19 Nov 2018 12:10:24 +0100},
  title = {Semantic Diagnostics of Smart Factories},
  url = {https://doi.org/10.1007/978-3-030-04284-4\_19},
  volume = {11341},
  year = {2018},
  bdsk-url-1 = {https://doi.org/10.1007/978-3-030-04284-4%5C_19}
}
@inproceedings{DBLP:conf/ilp/KharlamovSRXMKN18,
  author = {Evgeny Kharlamov and Ognjen Savkovic and Martin
		  Ringsquandl and Guohui Xiao and Gulnar Mehdi and Elem
		  G{\"{u}}zel Kalayci and Werner Nutt and Mikhail Roshchin
		  and Ian Horrocks and Thomas A. Runkler},
  bibsource = {dblp computer science bibliography, https://dblp.org},
  biburl = {https://dblp.org/rec/bib/conf/ilp/KharlamovSRXMKN18},
  booktitle = {Inductive Logic Programming - 28th International
		  Conference, {ILP} 2018, Ferrara, Italy, September 2-4,
		  2018, Proceedings},
  date-added = {2019-02-06 17:16:09 +0000},
  date-modified = {2019-02-06 17:16:09 +0000},
  doi = {10.1007/978-3-319-99960-9\_4},
  editor = {Fabrizio Riguzzi and Elena Bellodi and Riccardo Zese},
  pages = {54--71},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  timestamp = {Sun, 26 Aug 2018 18:20:46 +0200},
  title = {Diagnostics of Trains with Semantic Diagnostics Rules},
  url = {https://doi.org/10.1007/978-3-319-99960-9\_4},
  volume = {11105},
  year = {2018},
  bdsk-url-1 = {https://doi.org/10.1007/978-3-319-99960-9%5C_4}
}
@inproceedings{DBLP:conf/dlog/SavkovicKXMKNRH18,
  author = {Ognjen Savkovic and Evgeny Kharlamov and Guohui Xiao and
		  Gulnar Mehdi and Elem G{\"{u}}zel Kalayci and Werner Nutt
		  and Mikhail Roshchin and Ian Horrocks},
  bibsource = {dblp computer science bibliography, https://dblp.org},
  biburl = {https://dblp.org/rec/bib/conf/dlog/SavkovicKXMKNRH18},
  booktitle = {Proceedings of the 31st International Workshop on
		  Description Logics co-located with 16th International
		  Conference on Principles of Knowledge Representation and
		  Reasoning {(KR} 2018), Tempe, Arizona, US, October 27th -
		  to - 29th, 2018.},
  date-added = {2019-02-06 17:15:12 +0000},
  date-modified = {2019-02-06 17:15:12 +0000},
  editor = {Magdalena Ortiz and Thomas Schneider},
  publisher = {CEUR-WS.org},
  series = {{CEUR} Workshop Proceedings},
  timestamp = {Thu, 01 Nov 2018 18:28:23 +0100},
  title = {Theoretical Characterization of Signal Diagnostic
		  Processing Language},
  url = {http://ceur-ws.org/Vol-2211/paper-33.pdf},
  volume = {2211},
  year = {2018},
  bdsk-url-1 = {http://ceur-ws.org/Vol-2211/paper-33.pdf}
}
@inproceedings{DBLP:conf/bigdataconf/KharlamovMSXLHW18,
  author = {Evgeny Kharlamov and Gulnar Mehdi and Ognjen Savkovic and
		  Guohui Xiao and Steffen Lamparter and Ian Horrocks and
		  Arild Waaler},
  bibsource = {dblp computer science bibliography, https://dblp.org},
  biburl = {https://dblp.org/rec/bib/conf/bigdataconf/KharlamovMSXLHW18},
  booktitle = {{IEEE} International Conference on Big Data, Big Data
		  2018, Seattle, WA, USA, December 10-13, 2018},
  date-added = {2019-02-06 17:13:16 +0000},
  date-modified = {2023-02-24 10:28:37 +0000},
  doi = {10.1109/BigData.2018.8622652},
  editor = {Naoki Abe and Huan Liu and Calton Pu and Xiaohua Hu and
		  Nesreen Ahmed and Mu Qiao and Yang Song and Donald Kossmann
		  and Bing Liu and Kisung Lee and Jiliang Tang and Jingrui He
		  and Jeffrey Saltz},
  pages = {1951--1954},
  publisher = {{IEEE}},
  timestamp = {Sun, 27 Jan 2019 14:57:20 +0100},
  title = {Towards Simplification of Analytical Workflows With
		  Semantics at Siemens (Extended Abstract)},
  url = {download/2018/KharlamovMSXLHW18},
  year = {2018},
  bdsk-url-1 = {https://doi.org/10.1109/BigData.2018.8622652}
}
@inproceedings{DBLP:conf/bigdataconf/KharlamovSHMJXS18,
  author = {Evgeny Kharlamov and Martin G. Skj{\ae}veland and Dag
		  Hovland and Theofilos Mailis and Ernesto
		  Jim{\'{e}}nez{-}Ruiz and Guohui Xiao and Ahmet Soylu and
		  Ian Horrocks and Arild Waaler},
  bibsource = {dblp computer science bibliography, https://dblp.org},
  biburl = {https://dblp.org/rec/bib/conf/bigdataconf/KharlamovSHMJXS18},
  booktitle = {{IEEE} International Conference on Big Data, Big Data
		  2018, Seattle, WA, USA, December 10-13, 2018},
  date-added = {2019-02-06 17:09:42 +0000},
  date-modified = {2019-02-06 17:09:42 +0000},
  doi = {10.1109/BigData.2018.8622035},
  editor = {Naoki Abe and Huan Liu and Calton Pu and Xiaohua Hu and
		  Nesreen Ahmed and Mu Qiao and Yang Song and Donald Kossmann
		  and Bing Liu and Kisung Lee and Jiliang Tang and Jingrui He
		  and Jeffrey Saltz},
  pages = {1747--1756},
  publisher = {{IEEE}},
  timestamp = {Sun, 27 Jan 2019 14:57:20 +0100},
  title = {Finding Data Should be Easier than Finding Oil},
  url = {https://doi.org/10.1109/BigData.2018.8622035},
  year = {2018},
  bdsk-url-1 = {https://doi.org/10.1109/BigData.2018.8622035}
}
@inproceedings{DBLP:conf/ijcai/CucalaGH18,
  author = {David Tena Cucala and Bernardo {Cuenca Grau} and Ian
		  Horrocks},
  bibsource = {dblp computer science bibliography, https://dblp.org},
  biburl = {https://dblp.org/rec/bib/conf/ijcai/CucalaGH18},
  booktitle = {Proc.\ of the 27th Int.\ Joint Conf.\ on Artificial
		  Intelligence (IJCAI~2018)},
  date-added = {2018-08-02 15:32:34 +0100},
  date-modified = {2018-08-02 15:32:57 +0100},
  doi = {10.24963/ijcai.2018/272},
  editor = {J{\'{e}}r{\^{o}}me Lang},
  pages = {1970--1976},
  publisher = {ijcai.org},
  timestamp = {Sat, 28 Jul 2018 14:39:21 +0200},
  title = {Consequence-based Reasoning for Description Logics with
		  Disjunction, Inverse Roles, Number Restrictions, and
		  Nominals},
  url = {https://doi.org/10.24963/ijcai.2018/272},
  year = {2018},
  bdsk-url-1 = {https://doi.org/10.24963/ijcai.2018/272}
}
@inproceedings{DBLP:conf/ijcai/KaminskiGKMH18,
  author = {Mark Kaminski and Bernardo {Cuenca Grau} and Egor V.
		  Kostylev and Boris Motik and Ian Horrocks},
  bibsource = {dblp computer science bibliography, https://dblp.org},
  biburl = {https://dblp.org/rec/bib/conf/ijcai/KaminskiGKMH18},
  booktitle = {Proc.\ of the 27th Int.\ Joint Conf.\ on Artificial
		  Intelligence (IJCAI~2018)},
  date-added = {2018-08-02 15:29:34 +0100},
  date-modified = {2018-08-02 15:30:41 +0100},
  doi = {10.24963/ijcai.2018/259},
  editor = {J{\'{e}}r{\^{o}}me Lang},
  pages = {1875--1881},
  publisher = {ijcai.org},
  timestamp = {Sat, 28 Jul 2018 14:39:21 +0200},
  title = {Stratified Negation in Limit Datalog Programs},
  url = {https://doi.org/10.24963/ijcai.2018/259},
  year = {2018},
  bdsk-url-1 = {https://doi.org/10.24963/ijcai.2018/259}
}
@inproceedings{DBLP:conf/esws/RingsquandlK0HL18,
  author = {Martin Ringsquandl and Evgeny Kharlamov and Daria
		  Stepanova and Marcel Hildebrandt and Steffen Lamparter and
		  Raffaello Lepratti and Ian Horrocks and Peer Kr{\"{o}}ger},
  booktitle = {Proc.\ of the 15th European Semantic Web Conf.\ (ESWC
		  2018)},
  date-added = {2018-08-02 15:26:00 +0100},
  date-modified = {2019-02-22 11:18:21 +0000},
  pages = {541--559},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  title = {Event-Enhanced Learning for {KG} Completion},
  url = {download/2018/RingsquandlK0HL18.pdf},
  volume = {10843},
  year = {2018},
  bdsk-url-1 = {download/2018/RingsquandlK0HL18.pdf}
}
@inproceedings{RKCMH18a,
  author = {Alessandro Ronca and Mark Kaminski and Bernardo {Cuenca
		  Grau} and Boris Motik and Ian Horrocks},
  booktitle = {Proc.\ of the 32nd Nat.\ Conf.\ on Artificial Intelligence
		  (AAAI~18)},
  date-added = {2018-04-27 10:02:12 +0000},
  date-modified = {2019-02-06 17:08:31 +0000},
  pages = {1941--1948},
  publisher = {{AAAI} Press},
  title = {Stream Reasoning in Temporal Datalog},
  url = {https://arxiv.org/abs/1711.04013},
  year = {2018},
  bdsk-url-1 = {https://arxiv.org/abs/1711.04013}
}
@inproceedings{HuMH18a,
  author = {Pan Hu and Boris Motik and Ian Horrocks.},
  booktitle = {Proc.\ of the 32nd Nat.\ Conf.\ on Artificial Intelligence
		  (AAAI~18)},
  date-added = {2018-04-27 09:57:56 +0000},
  date-modified = {2019-02-06 16:53:50 +0000},
  pages = {1871--1879},
  publisher = {{AAAI} Press},
  title = {Optimised Maintenance of Datalog Materialisations},
  url = {download/2018/HuMH18a.pdf},
  year = {2018},
  bdsk-url-1 = {download/2018/HuMH18a.pdf}
}

This file was generated by bibtex2html 1.96.