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
@inproceedings{DBLP:conf/semweb/PetrovaSGH17,
  author = {Alina Petrova and Evgeny Sherkhonov and Bernardo {Cuenca Grau} and Ian Horrocks},
  booktitle = {Proc.\ of the 16th International Semantic Web Conference (ISWC 2017)},
  date-added = {2018-01-19 16:44:00 +0000},
  date-modified = {2018-01-19 16:46:48 +0000},
  pages = {526--541},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  title = {Entity Comparison in {RDF} Graphs},
  url = {download/2017/PetrovaSGH17.pdf},
  volume = {10587},
  year = {2017},
  bdsk-url-1 = {download/2017/PetrovaSGH17.pdf}
}
@inproceedings{DBLP:conf/semweb/MehdiKSXKBHRR17,
  author = {Gulnar Mehdi and Evgeny Kharlamov and Ognjen Savkovic and Guohui Xiao and Elem G{\"{u}}zel Kalayci and Sebastian Brandt and Ian Horrocks and Mikhail Roshchin and Thomas A. Runkler},
  booktitle = {International Semantic Web Conference {(2)}},
  date-added = {2018-01-19 16:36:22 +0000},
  date-modified = {2018-01-19 16:43:06 +0000},
  pages = {314--333},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  title = {Semantic Rule-Based Equipment Diagnostics},
  url = {download/2017/MehdiKSXKBHRR17.pdf},
  volume = {10588},
  year = {2017},
  bdsk-url-1 = {download/2017/MehdiKSXKBHRR17.pdf}
}
@inproceedings{DBLP:conf/semweb/MehdiKSXKBHRR17a,
  author = {Gulnar Mehdi and Evgeny Kharlamov and Ognjen Savkovic and Guohui Xiao and Elem Guzel Kalayci and Sebastian Brandt and Ian Horrocks and Mikhail Roshchin and Thomas A. Runkler},
  booktitle = {International Semantic Web Conference (Posters, Demos {\&} Industry Tracks)},
  date-added = {2018-01-19 16:34:27 +0000},
  date-modified = {2018-01-22 17:33:15 +0000},
  publisher = {CEUR-WS.org},
  series = {{CEUR} Workshop Proceedings},
  title = {Semantic Rules for Siemens Turbines},
  url = {http://ceur-ws.org/Vol-1963/paper651.pdf},
  volume = {1963},
  year = {2017},
  bdsk-url-1 = {http://ceur-ws.org/Vol-1963/paper651.pdf}
}
@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},
  booktitle = {International Semantic Web Conference (Posters, Demos {\&} Industry Tracks)},
  date-added = {2018-01-19 16:31:15 +0000},
  date-modified = {2018-01-19 16:33:09 +0000},
  publisher = {CEUR-WS.org},
  series = {{CEUR} Workshop Proceedings},
  title = {Ranking, Aggregation, and Reachability in Faceted Search with SemFacet},
  url = {http://ceur-ws.org/Vol-1963/paper650.pdf},
  volume = {1963},
  year = {2017},
  bdsk-url-1 = {http://ceur-ws.org/Vol-1963/paper650.pdf}
}
@inproceedings{DBLP:conf/cikm/MehdiKSXKBHRR17,
  author = {Gulnar Mehdi and Evgeny Kharlamov and Ognjen Savkovic and Guohui Xiao and Elem G{\"{u}}zel Kalayci and Sebastian Brandt and Ian Horrocks and Mikhail Roshchin and Thomas A. Runkler},
  booktitle = {Proc.\ of the 26th Int.\ Conf.\ on Information and Knowledge Management (CIKM~2017)},
  date-added = {2018-01-19 16:25:07 +0000},
  date-modified = {2018-01-19 16:26:04 +0000},
  pages = {2507--2510},
  publisher = {{ACM}},
  title = {SemDia: Semantic Rule-Based Equipment Diagnostics Tool},
  url = {download/2017/MehdiKSXKBHRR17.pdf},
  year = {2017},
  bdsk-url-1 = {download/2017/MehdiKSXKBHRR17.pdf}
}
@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},
  booktitle = {Proc.\ of the 26th Int.\ Conf.\ on Information and Knowledge Management (CIKM~2017)},
  date-added = {2018-01-19 16:22:14 +0000},
  date-modified = {2018-01-19 16:27:39 +0000},
  pages = {2475--2478},
  publisher = {{ACM}},
  title = {SemFacet: Making Hard Faceted Search Easier},
  url = {download/2017/KharlamovGSGKH17.pdf},
  year = {2017},
  bdsk-url-1 = {download/2017/KharlamovGSGKH17.pdf}
}
@inproceedings{DBLP:conf/cikm/KharlamovSXPMRH17,
  author = {Evgeny Kharlamov and Ognjen Savkovic and Guohui Xiao and Rafael Pe{\~{n}}aloza and Gulnar Mehdi and Mikhail Roshchin and Ian Horrocks},
  booktitle = {Proc.\ of the 26th Int.\ Conf.\ on Information and Knowledge Management (CIKM~2017)},
  date-added = {2018-01-19 16:09:09 +0000},
  date-modified = {2018-01-19 16:26:51 +0000},
  pages = {2131--2134},
  publisher = {{ACM}},
  title = {Semantic Rules for Machine Diagnostics: Execution and Management},
  url = {download/2017/KharlamovSXPMRH17.pdf},
  year = {2017},
  bdsk-url-1 = {download/2017/KharlamovSXPMRH17.pdf}
}
@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},
  bibsource = {dblp computer science bibliography, http://dblp.org},
  biburl = {http://dblp.uni-trier.de/rec/bib/journals/corr/NikolaouKKKGH17},
  date-added = {2017-10-07 15:32:37 +0000},
  date-modified = {2017-10-07 15:32:37 +0000},
  journal = {CoRR},
  timestamp = {Wed, 07 Jun 2017 14:41:25 +0200},
  title = {The Bag Semantics of Ontology-Based Data Access},
  url = {http://arxiv.org/abs/1705.07105},
  volume = {abs/1705.07105},
  year = {2017},
  bdsk-url-1 = {http://arxiv.org/abs/1705.07105}
}
@article{DBLP:journals/corr/KaminskiGKMH17,
  author = {Mark Kaminski and Bernardo Cuenca Grau and Egor V. Kostylev and Boris Motik and Ian Horrocks},
  bibsource = {dblp computer science bibliography, http://dblp.org},
  biburl = {http://dblp.uni-trier.de/rec/bib/journals/corr/KaminskiGKMH17},
  date-added = {2017-10-07 15:31:51 +0000},
  date-modified = {2017-10-07 15:31:51 +0000},
  journal = {CoRR},
  timestamp = {Wed, 07 Jun 2017 14:41:32 +0200},
  title = {Foundations of Declarative Data Analysis Using Limit Datalog Programs},
  url = {http://arxiv.org/abs/1705.06927},
  volume = {abs/1705.06927},
  year = {2017},
  bdsk-url-1 = {http://arxiv.org/abs/1705.06927}
}
@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},
  bibsource = {dblp computer science bibliography, http://dblp.org},
  biburl = {http://dblp.uni-trier.de/rec/bib/conf/ijcai/NikolaouKKKGH17},
  booktitle = {Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, {IJCAI} 2017, Melbourne, Australia, August 19-25, 2017},
  date-added = {2017-10-07 15:25:17 +0000},
  date-modified = {2017-10-07 15:25:26 +0000},
  doi = {10.24963/ijcai.2017/170},
  editor = {Carles Sierra},
  pages = {1224--1230},
  publisher = {ijcai.org},
  title = {The Bag Semantics of Ontology-Based Data Access},
  url = {https://doi.org/10.24963/ijcai.2017/170},
  year = {2017},
  bdsk-url-1 = {https://doi.org/10.24963/ijcai.2017/170},
  bdsk-url-2 = {http://dx.doi.org/10.24963/ijcai.2017/170}
}
@inproceedings{DBLP:conf/ijcai/KaminskiGKMH17,
  author = {Mark Kaminski and Bernardo Cuenca Grau and Egor V. Kostylev and Boris Motik and Ian Horrocks},
  bibsource = {dblp computer science bibliography, http://dblp.org},
  biburl = {http://dblp.uni-trier.de/rec/bib/conf/ijcai/KaminskiGKMH17},
  booktitle = {Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, {IJCAI} 2017, Melbourne, Australia, August 19-25, 2017},
  date-added = {2017-10-07 15:13:37 +0000},
  date-modified = {2017-12-08 17:55:41 +0000},
  doi = {10.24963/ijcai.2017/156},
  editor = {Carles Sierra},
  pages = {1123--1130},
  publisher = {ijcai.org},
  title = {Foundations of Declarative Data Analysis Using Limit Datalog Programs},
  url = {https://doi.org/10.24963/ijcai.2017/156},
  year = {2017},
  bdsk-url-1 = {https://doi.org/10.24963/ijcai.2017/156},
  bdsk-url-2 = {http://dx.doi.org/10.24963/ijcai.2017/156}
}
@inproceedings{DBLP:conf/dlog/CucalaGH17,
  author = {David Tena Cucala and Bernardo Cuenca Grau and Ian Horrocks},
  booktitle = {Description Logics},
  date-added = {2017-10-07 15:02:17 +0000},
  date-modified = {2017-10-07 15:12:21 +0000},
  publisher = {CEUR-WS.org},
  series = {{CEUR} Workshop Proceedings},
  title = {Consequence-based Reasoning for Description Logics with Disjunction, Inverse Roles, and Nominals},
  url = {download/2017/CucalaGH17.pdf},
  volume = {1879},
  year = {2017},
  bdsk-url-1 = {download/2017/CucalaGH17.pdf}
}
@article{DBLP:journals/uais/SoyluGJKZH17,
  author = {Ahmet Soylu and Martin Giese and Ernesto Jim{\'{e}}nez{-}Ruiz and Evgeny Kharlamov and Dmitriy Zheleznyakov and Ian Horrocks},
  bibsource = {dblp computer science bibliography, http://dblp.org},
  biburl = {http://dblp.uni-trier.de/rec/bib/journals/uais/SoyluGJKZH17},
  date-added = {2017-10-07 14:56:40 +0000},
  date-modified = {2017-10-07 14:56:40 +0000},
  doi = {10.1007/s10209-016-0465-0},
  journal = {Universal Access in the Information Society},
  number = {2},
  pages = {435--467},
  timestamp = {Wed, 14 Jun 2017 20:37:53 +0200},
  title = {Ontology-based end-user visual query formulation: Why, what, who, how, and which?},
  url = {https://doi.org/10.1007/s10209-016-0465-0},
  volume = {16},
  year = {2017},
  bdsk-url-1 = {https://doi.org/10.1007/s10209-016-0465-0},
  bdsk-url-2 = {http://dx.doi.org/10.1007/s10209-016-0465-0}
}
@inproceedings{RTHCPMH17a,
  author = {Nicholas P.~Roth and Vasileios Trigonakis and Sungpack Hong and Hassan Chafi and Anthony Potter and Boris Motik and Ian Horrocks},
  booktitle = {Proceedings of the Fifth International Workshop on Graph Data-management Experiences \& Systems (GRADES'17)},
  date-added = {2017-06-17 15:29:02 +0000},
  date-modified = {2017-06-17 15:33:22 +0000},
  doi = {10.1145/3078447.3078454},
  isbn = {978-1-4503-5038-9},
  title = {{PGX.D/Async}: A Scalable Distributed Graph Pattern Matching Engine},
  url = {download/2017/RTHCPMH17a.pdf},
  year = {2017},
  bdsk-url-1 = {download/2017/RTHCPMH17a.pdf},
  bdsk-url-2 = {http://dx.doi.org/10.1145/3078447.3078454}
}
@book{BHLS17,
  author = {Franz Baader and Ian Horrocks and Carsten Lutz and Uli Sattler},
  date-added = {2017-04-30 22:01:54 +0000},
  date-modified = {2017-05-01 16:55:09 +0000},
  isbn = {9780521695428},
  publisher = {Cambridge University Press},
  title = {An Introduction to Description Logic},
  url = {http://dltextbook.org/},
  year = {2017},
  bdsk-url-1 = {http://dltextbook.org/}
}
@inproceedings{DBLP:conf/aaai/ZheleznyakovKH17,
  author = {Dmitriy Zheleznyakov and Evgeny Kharlamov and Ian Horrocks},
  booktitle = {Proc.\ of the 31st Nat.\ Conf.\ on Artificial Intelligence (AAAI~17)},
  date-added = {2017-04-30 21:49:54 +0000},
  date-modified = {2017-04-30 22:06:07 +0000},
  editor = {Satinder P.\ Singh and Shaul Markovitch},
  pages = {1266--1273},
  publisher = {{AAAI} Press},
  title = {Trust-Sensitive Evolution of {DL-Lite} Knowledge Bases},
  url = {download/2017/ZheleznyakovKH17.pdf},
  year = {2017},
  bdsk-url-1 = {http://aaai.org/ocs/index.php/AAAI/AAAI17/paper/view/15047}
}
@comment{{BibDesk Smart Groups




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