University of Oxford Logo University of OxfordDepartment of Computer Science - Home
On Facebook
Facebook
Follow us on twitter
Twitter
Linked in
Linked in
Flickr
Flickr
Google plus
Google plus
Digg
Digg
Pinterest
Pinterest
Stumble Upon
Stumble Upon
@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}
}
@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 = {2019-02-06 17:13:16 +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 = {https://doi.org/10.1109/BigData.2018.8622652},
  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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@comment{{BibDesk Smart Groups




	
		conditions
		
			
				comparison
				2
				key
				Author
				value
				Baader
				version
				1
			
		
		conjunction
		0
		group name
		Baader
	
	
		conditions