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
@inproceedings{DBLP:conf/nordichi/SoyluGJKZH14,
  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/conf/nordichi/SoyluGJKZH14},
  booktitle = {Proc.\ of the 8th Nordic Conference on Human-Computer Interaction: Fun, Fast, Foundational},
  date-added = {2014-11-21 12:40:18 +0000},
  date-modified = {2014-11-21 12:45:20 +0000},
  doi = {10.1145/2639189.2670270},
  pages = {1039--1042},
  publisher = {{ACM}},
  timestamp = {Sun, 09 Nov 2014 19:29:02 +0100},
  title = {Why not simply Google?},
  url = {download/2014/SoyluGJKZH14b.pdf},
  year = {2014},
  bdsk-url-1 = {http://doi.acm.org/10.1145/2639189.2670270},
  bdsk-url-2 = {http://dx.doi.org/10.1145/2639189.2670270}
}
@inproceedings{DBLP:conf/mtsr/SoyluGJKZH14,
  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/conf/mtsr/SoyluGJKZH14},
  booktitle = {Proc.\ of Metadata and Semantics Research --- 8th Research Conference, {MTSR} 2014},
  date-added = {2014-11-21 12:34:03 +0000},
  date-modified = {2014-11-21 12:45:09 +0000},
  doi = {10.1007/978-3-319-13674-5_11},
  pages = {107--119},
  publisher = {Springer},
  series = {Communications in Computer and Information Science},
  timestamp = {Mon, 10 Nov 2014 14:38:02 +0100},
  title = {Towards Exploiting Query History for Adaptive Ontology-Based Visual Query Formulation},
  url = {download/2014/SoyluGJKZH14a.pdf},
  volume = {478},
  year = {2014},
  bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-319-13674-5_11}
}
@inproceedings{DBLP:conf/semweb/CarralFGHH14,
  author = {David Carral and Cristina Feier and Bernardo {Cuenca Grau} and Pascal Hitzler and Ian Horrocks},
  bibsource = {dblp computer science bibliography, http://dblp.org},
  biburl = {http://dblp.uni-trier.de/rec/bib/conf/semweb/CarralFGHH14},
  booktitle = {Proc.\ of the 13th International Semantic Web Conference (ISWC 2014)},
  date-added = {2014-11-21 12:22:56 +0000},
  date-modified = {2016-08-03 16:07:37 +0000},
  doi = {10.1007/978-3-319-11915-1_10},
  pages = {148--163},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  timestamp = {Fri, 10 Oct 2014 14:06:38 +0200},
  title = {Pushing the Boundaries of Tractable Ontology Reasoning},
  url = {download/2014/CarralFGHH14.pdf},
  volume = {8797},
  year = {2014},
  bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-319-11915-1_10}
}
@inproceedings{PoMH14a,
  author = {Anthony Potter and Boris Motik and Ian Horrocks},
  booktitle = {Proc.\ of 10th International Workshop on Scalable Semantic Web Knowledge Base Systems (SSWS)},
  date-added = {2014-09-19 21:16:06 +0000},
  date-modified = {2014-11-22 11:20:50 +0000},
  series = {CEUR (\url{http://ceur-ws.org/})},
  title = {Querying Distributed RDF Graphs: The Effects of Partitioning},
  url = {download/2014/PoMH14a.pdf},
  year = {2014},
  bdsk-url-1 = {download/2014/PoMH14a.pdf}
}
@inproceedings{DBLP:conf/dlog/SoyluKZJGH14,
  author = {Ahmet Soylu and Evgeny Kharlamov and Dmitriy Zheleznyakov and Ernesto Jim{\'{e}}nez{-}Ruiz and Martin Giese and Ian Horrocks},
  bibsource = {dblp computer science bibliography, http://dblp.org},
  biburl = {http://dblp.uni-trier.de/rec/bib/conf/dlog/SoyluKZJGH14},
  booktitle = {Informal Proceedings of the 27th International Workshop on Description Logics, Vienna, Austria, July 17-20, 2014.},
  crossref = {DBLP:conf/dlog/2014},
  date-added = {2014-09-16 13:49:31 +0000},
  date-modified = {2014-09-16 13:49:31 +0000},
  pages = {725--728},
  timestamp = {Tue, 16 Sep 2014 15:49:16 +0200},
  title = {OptiqueVQS: Visual Query Formulation for {OBDA}},
  url = {http://ceur-ws.org/Vol-1193/paper_88.pdf},
  year = {2014},
  bdsk-url-1 = {http://ceur-ws.org/Vol-1193/paper_88.pdf}
}
@inproceedings{DBLP:conf/dlog/ZhouNGH14,
  author = {Yujiao Zhou and Yavor Nenov and Bernardo {Cuenca Grau} and Ian Horrocks},
  bibsource = {dblp computer science bibliography, http://dblp.org},
  biburl = {http://dblp.uni-trier.de/rec/bib/conf/dlog/ZhouNGH14},
  booktitle = {Informal Proceedings of the 27th International Workshop on Description Logics, Vienna, Austria, July 17-20, 2014.},
  crossref = {DBLP:conf/dlog/2014},
  date-added = {2014-09-16 13:47:45 +0000},
  date-modified = {2014-09-16 13:47:58 +0000},
  pages = {352--364},
  timestamp = {Tue, 16 Sep 2014 15:47:26 +0200},
  title = {Pay-as-you-go Ontology Query Answering Using a Datalog Reasoner},
  url = {http://ceur-ws.org/Vol-1193/paper_58.pdf},
  year = {2014},
  bdsk-url-1 = {http://ceur-ws.org/Vol-1193/paper_58.pdf}
}
@inproceedings{DBLP:conf/dlog/MotikNPHO14,
  author = {Boris Motik and Yavor Nenov and Robert Piro and Ian Horrocks and Dan Olteanu},
  bibsource = {dblp computer science bibliography, http://dblp.org},
  biburl = {http://dblp.uni-trier.de/rec/bib/conf/dlog/MotikNPHO14},
  booktitle = {Informal Proceedings of the 27th International Workshop on Description Logics, Vienna, Austria, July 17-20, 2014.},
  crossref = {DBLP:conf/dlog/2014},
  date-added = {2014-09-16 13:46:31 +0000},
  date-modified = {2014-09-16 13:46:31 +0000},
  pages = {311--323},
  timestamp = {Tue, 16 Sep 2014 15:46:10 +0200},
  title = {Parallel {OWL} 2 {RL} Materialisation in Centralised, Main-Memory {RDF} Systems},
  url = {http://ceur-ws.org/Vol-1193/paper_65.pdf},
  year = {2014},
  bdsk-url-1 = {http://ceur-ws.org/Vol-1193/paper_65.pdf}
}
@proceedings{DBLP:conf/dlog/2014,
  bibsource = {dblp computer science bibliography, http://dblp.org},
  biburl = {http://dblp.uni-trier.de/rec/bib/conf/dlog/2014},
  date-added = {2014-09-16 13:44:41 +0000},
  date-modified = {2014-09-16 13:44:41 +0000},
  editor = {Meghyn Bienvenu and Magdalena Ortiz and Riccardo Rosati and Mantas Simkus},
  publisher = {CEUR-WS.org},
  series = {{CEUR} Workshop Proceedings},
  timestamp = {Tue, 16 Sep 2014 15:41:42 +0200},
  title = {Informal Proceedings of the 27th International Workshop on Description Logics, Vienna, Austria, July 17-20, 2014},
  url = {http://ceur-ws.org/Vol-1193},
  volume = {1193},
  year = {2014},
  bdsk-url-1 = {http://ceur-ws.org/Vol-1193}
}
@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},
  bibsource = {dblp computer science bibliography, http://dblp.org},
  biburl = {http://dblp.uni-trier.de/rec/bib/conf/dlog/CarralFRGHH14},
  booktitle = {Informal Proceedings of the 27th International Workshop on Description Logics, Vienna, Austria, July 17-20, 2014.},
  crossref = {DBLP:conf/dlog/2014},
  date-added = {2014-09-16 13:42:27 +0000},
  date-modified = {2014-09-16 13:43:04 +0000},
  pages = {128--140},
  timestamp = {Tue, 16 Sep 2014 15:41:42 +0200},
  title = {Is Your Ontology as Hard as You Think? Rewriting Ontologies into Simpler DLs},
  url = {http://ceur-ws.org/Vol-1193/paper_75.pdf},
  year = {2014},
  bdsk-url-1 = {http://ceur-ws.org/Vol-1193/paper_75.pdf}
}
@article{KrSH14,
  author = {Markus Kr\"{o}tzsch and Franti\v{s}ek Siman\v{c}\'{i}k and Ian Horrocks},
  date-added = {2014-09-16 11:46:05 +0000},
  date-modified = {2014-09-16 11:54:53 +0000},
  journal = {IEEE Intelligent Systems},
  number = {1},
  pages = {12--19},
  title = {{D}escription {L}ogics},
  url = {download/2014/KrSH14.pdf},
  volume = {29},
  year = {2014},
  bdsk-url-1 = {download/2014/KrSH14.pdf}
}
@article{MaKH14,
  author = {Despoina Magka and Markus Kr\"{o}tzsch and Ian Horrocks},
  date-added = {2014-09-16 11:41:16 +0000},
  date-modified = {2014-09-16 11:54:16 +0000},
  journal = {J.\ of Biomedical Semantics},
  number = {17},
  title = {A rule-based ontological framework for the classification of molecules},
  url = {download/2014/MaKH14.pdf},
  volume = {5},
  year = {2014},
  bdsk-url-1 = {download/2014/MaKH14.pdf}
}
@article{GHMSW14,
  author = {Glimm, Birte and Horrocks, Ian and Motik, Boris and Stoilos, Giorgos and Wang, Zhe},
  date-added = {2014-05-22 10:07:19 +0000},
  date-modified = {2019-12-13 13:47:11 +0000},
  doi = {10.1007/s10817-014-9305-1},
  issn = {0168-7433},
  journal = {J.\ of Automated Reasoning},
  number = {3},
  pages = {245--269},
  publisher = {Springer Netherlands},
  title = {{HermiT}: An {OWL} 2 Reasoner},
  url = {download/2014/GHMSW14.pdf},
  volume = {53},
  year = {2014},
  bdsk-url-1 = {http://dx.doi.org/10.1007/s10817-014-9305-1}
}
@inproceedings{CFCHH14a,
  author = {David Carral and Cristina Feier and Bernardo {Cuenca Grau} and Pascal Hitzler and Ian Horrocks},
  booktitle = {Proc.\ of the Int.\ Joint Conf.\ on Automated Reasoning (IJCAR~2014)},
  date-added = {2014-05-02 07:52:51 +0000},
  date-modified = {2014-05-19 15:48:49 +0000},
  pages = {464--479},
  publisher = {Springer},
  series = {Lecture Notes in Artificial Intelligence},
  title = {$\mathcal{EL}$-ifying Ontologies},
  url = {download/2014/CFCHH14a.pdf},
  volume = {8562},
  year = {2014},
  bdsk-url-1 = {download/2014/CFCHH14a.pdf}
}
@inproceedings{ZNCH14a,
  author = {Yujiao Zhou and Yavor Nenov and Bernardo {Cuenca Grau} and Ian Horrocks},
  booktitle = {Proc.\ of the 28th Nat.\ Conf.\ on Artificial Intelligence (AAAI~14)},
  date-added = {2014-04-23 16:55:02 +0000},
  date-modified = {2014-08-12 22:11:03 +0000},
  pages = {1142--1148},
  publisher = {AAAI Press},
  title = {Pay-as-you-go {OWL} Query Answering Using a Triple Store},
  url = {download/2014/ZNCH14a.pdf},
  year = {2014},
  bdsk-url-1 = {download/2013/ZNCH13a.pdf}
}
@inproceedings{MNPHO14a,
  author = {Boris Motik and Yavor Nenov and Robert Piro and Ian Horrocks and Dan Olteanu},
  booktitle = {Proc.\ of the 28th Nat.\ Conf.\ on Artificial Intelligence (AAAI~14)},
  date-added = {2014-04-08 10:19:47 +0000},
  date-modified = {2014-08-12 22:11:40 +0000},
  pages = {129--137},
  publisher = {AAAI Press},
  title = {Parallel Materialisation of {D}atalog Programs in Centralised, Main-Memory {RDF} Systems},
  url = {download/2014/MNPHO14a.pdf},
  year = {2014},
  bdsk-url-1 = {download/2014/MNPHO14a.pdf}
}
@article{SiMH14a,
  author = {Franti\v{s}ek Siman\v{c}\'{i}k and Boris Motik and Ian Horrocks},
  date-added = {2014-01-24 09:56:50 +0000},
  date-modified = {2014-09-16 11:55:18 +0000},
  doi = {10.1016/j.artint.2014.01.002},
  journal = {Artificial Intelligence},
  pages = {29--77},
  title = {Consequence-Based and Fixed-Parameter Tractable Reasoning in Description Logics},
  url = {download/2014/SiMH14a.pdf},
  volume = {209},
  year = {2014},
  bdsk-url-1 = {download/2014/SiMH14a},
  bdsk-url-2 = {http://dx.doi.org/10.1016/j.artint.2014.01.002}
}
@comment{{BibDesk Smart Groups




	
		conditions
		
			
				comparison
				2
				key
				Author
				value
				Horrocks
				version
				1
			
		
		conjunction
		0
		group name
		Horrocks
	
	
		conditions
		
			
				comparison
				2
				key
				
				value
				
				version
				1
			
		
		conjunction
		0
		group name
		Last Import
	
	
		conditions