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{MaKH11a,
  author = {Despoina Magka and Yevgeny Kazakov and Ian Horrocks},
  date-added = {2012-01-19 11:28:38 +0000},
  date-modified = {2012-01-19 11:31:15 +0000},
  journal = {J.\ of Automated Reasoning},
  number = {4},
  pages = {427--450},
  title = {Tractable Extensions of the Description Logic $\mathcal{EL}$ with Numerical Datatypes},
  url = {download/2011/MaKH11a.pdf},
  volume = {47},
  year = {2011},
  bdsk-url-1 = {download/2010/MaKH10a.pdf},
  bdsk-url-2 = {download/2011/MaKH11a.pdf}
}
@inproceedings{SCMH11a,
  author = {Giorgos Stoilos and Bernardo {Cuenca Grau} and Boris Motik and Ian Horrocks},
  booktitle = {Proc.\ of the 10th International Semantic Web Conference (ISWC 2011)},
  date-added = {2012-01-19 11:15:49 +0000},
  date-modified = {2012-01-19 11:31:43 +0000},
  pages = {681--696},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  title = {Repairing Ontologies for Incomplete Reasoners},
  url = {download/2011/SCMH11a.pdf},
  volume = {7031},
  year = {2011},
  bdsk-url-1 = {download/2011/SCMH11a.pdf}
}
@incollection{Horr11a,
  author = {Ian Horrocks},
  booktitle = {Foundations for the Web of Information and Services},
  date-added = {2011-08-09 15:30:43 +0100},
  date-modified = {2011-08-09 15:49:23 +0100},
  doi = {10.1007/978-3-642-19797-0},
  editor = {Dieter Fensel},
  pages = {103--112},
  publisher = {Springer},
  title = {Tool Support for Ontology Engineering},
  url = {download/2011/Horr11a.pdf},
  year = {2011},
  bdsk-url-1 = {download/2010/Horr11a.pdf},
  bdsk-url-2 = {http://dx.doi.org/10.1007/978-3-642-19797-0},
  bdsk-url-3 = {download/2011/Horr11a.pdf}
}
@inproceedings{KoGH11c,
  author = {Ilianna Kollia and Birte Glimm and Ian Horrocks},
  booktitle = {Proc.\ of the 8th Int.\ Workshop on OWL Experiences and Directions (OWLED 2011)},
  date-added = {2011-06-17 17:35:44 +0100},
  date-modified = {2011-08-09 15:49:37 +0100},
  title = {Query Answering over {SROIQ} Knowledge Bases with {SPARQL}},
  url = {download/2011/KoGH11c.pdf},
  year = {2011},
  bdsk-url-1 = {download/2010/GlHM10a},
  bdsk-url-2 = {download/2011/KoGH11c.pdf}
}
@inproceedings{KoGH11b,
  author = {Ilianna Kollia and Birte Glimm and Ian Horrocks},
  booktitle = {Proc.\ of the 2011 Description Logic Workshop (DL~2011)},
  date-added = {2011-06-17 17:24:55 +0100},
  date-modified = {2012-06-09 11:28:16 +0100},
  series = {CEUR (\url{http://ceur-ws.org/})},
  title = {Query Answering over {SROIQ} Knowledge Bases with {SPARQL}},
  url = {download/2011/KoGH11b.pdf},
  volume = {745},
  year = {2011},
  bdsk-url-1 = {download/2010/GlHM10a},
  bdsk-url-2 = {download/2011/KoGH11b.pdf}
}
@inproceedings{SiKH11a,
  author = {Franti\v{s}ek Siman\v{c}\'{i}k and Yevgeny Kazakov and Ian Horrocks},
  booktitle = {Proc.\ of the 22nd Int.\ Joint Conf.\ on Artificial Intelligence (IJCAI~2011)},
  date-added = {2011-04-21 17:21:14 +0100},
  date-modified = {2014-10-07 10:54:06 +0000},
  pages = {1093--1098},
  title = {Consequence-Based Reasoning beyond {Horn} Ontologies},
  url = {download/2011/SiKH11a.pdf},
  year = {2011},
  bdsk-url-1 = {download/2011/SiKH11a.pdf}
}
@article{JCHB11b,
  author = {Ernesto Jim\'{e}nez-Ruiz and Bernardo {Cuenca Grau} and Ian Horrocks and Rafael {Berlanga Llavori}},
  date-added = {2011-03-08 16:05:44 +0000},
  date-modified = {2011-04-21 17:37:50 +0100},
  doi = {doi:10.1186/2041-1480-2-S1-S2},
  journal = {Journal of Biomedical Semantics},
  title = {Logic-based assessment of the compatibility of {UMLS} ontology sources},
  url = {http://www.jbiomedsem.com/content/pdf/2041-1480-2-S1-S2.pdf},
  volume = {2(Suppl 1):S2},
  year = {2011},
  bdsk-url-1 = {download/2009/JCHB09a.pdf},
  bdsk-url-2 = {http://www.jbiomedsem.com/content/pdf/2041-1480-2-S1-S2.pdf},
  bdsk-url-3 = {http://dx.doi.org/10.1186/2041-1480-2-S1-S2}
}
@inproceedings{KoGH11a,
  author = {Ilianna Kollia and Birte Glimm and Ian Horrocks},
  booktitle = {Proc.\ of the 8th European Semantic Web Conf.\ (ESWC 2011)},
  date-added = {2011-03-01 15:01:33 +0000},
  date-modified = {2011-08-30 10:10:27 +0100},
  pages = {382--396},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  title = {{SPARQL} Query Answering over {OWL} Ontologies},
  url = {download/2011/KoGH11a.pdf},
  year = {2011},
  bdsk-url-1 = {download/2011/KoGH11a.pdf}
}
@incollection{HoPa10a,
  author = {Ian Horrocks and Peter F.\ Patel-Schneider},
  booktitle = {Handbook of Semantic Web Technologies},
  chapter = {9},
  date-added = {2010-10-29 10:10:08 +0100},
  date-modified = {2011-08-30 10:05:50 +0100},
  doi = {10.1007/978-3-540-92913-0},
  editor = {John Domingue and Dieter Fensel and James A. Hendler},
  isbn = {978-3-540-92912-3},
  pages = {365--398},
  publisher = {Springer},
  title = {{KR} and Reasoning on the Semantic Web: {OWL}},
  url = {download/2010/HoPa10a.pdf},
  year = {2011},
  bdsk-url-1 = {download/2010/HoPa10a.pdf},
  bdsk-url-2 = {http://dx.doi.org/10.1007/978-3-540-92913-0}
}
@article{JCHB11a,
  annote = {AKA: JCHB10a},
  author = {Ernesto Jim\'{e}nez-Ruiz and Bernardo {Cuenca Grau} and Ian Horrocks and Rafael {Berlanga Llavori}},
  date-added = {2010-10-07 15:17:03 +0100},
  date-modified = {2010-12-03 13:10:54 -0800},
  journal = {Data and Knowledge Engineering},
  number = {1},
  pages = {146---164},
  title = {Supporting Concurrent Ontology Development: Framework, Algorithms and Tool},
  url = {download/2011/JCHB11a.pdf},
  volume = {70},
  year = {2011},
  bdsk-url-1 = {download/2009/JCHB09a.pdf},
  bdsk-url-2 = {download/2011/JCHB11a.pdf}
}
@comment{{BibDesk Smart Groups




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