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{GHMS10a,
  author = {Birte Glimm and Ian Horrocks and Boris Motik and Giorgos Stoilos},
  booktitle = {Proc.\ of the 9th International Semantic Web Conference (ISWC 2010)},
  date-added = {2010-08-24 22:48:09 +0100},
  date-modified = {2010-12-16 12:33:45 -0800},
  pages = {225--240},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  title = {Optimising Ontology Classification},
  url = {download/2010/GHMS10a.pdf},
  volume = {6496},
  year = {2010},
  bdsk-url-1 = {download/2010/StCH10b.pdf},
  bdsk-url-2 = {download/2010/GHMS10a.pdf}
}
@inproceedings{StCH10b,
  author = {Giorgos Stoilos and Bernardo {Cuenca Grau} and Ian Horrocks},
  booktitle = {Proc.\ of the 9th International Semantic Web Conference (ISWC 2010)},
  date-added = {2010-08-24 22:43:10 +0100},
  date-modified = {2010-12-16 12:34:31 -0800},
  pages = {747--763},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  title = {Completeness Guarantees for Incomplete Reasoners},
  url = {download/2010/StCH10b.pdf},
  volume = {6496},
  year = {2010},
  bdsk-url-1 = {download/2010/StCH10b.pdf}
}
@inproceedings{GlHM10b,
  author = {Birte Glimm and Ian Horrocks and Boris Motik},
  booktitle = {Proc.\ of the 2010 Description Logic Workshop (DL~2010)},
  date-added = {2010-04-01 15:28:56 +0100},
  date-modified = {2010-08-29 18:58:26 +0100},
  series = {CEUR (\url{http://ceur-ws.org/})},
  title = {Optimized Description Logic Reasoning via Core Blocking},
  url = {download/2010/GlHM10b.pdf},
  volume = {573},
  year = {2010},
  bdsk-url-1 = {download/2010/GlHM10a},
  bdsk-url-2 = {download/2010/GlHM10b.pdf}
}
@inproceedings{MaKH10b,
  author = {Despoina Magka and Yevgeny Kazakov and Ian Horrocks},
  booktitle = {Proc.\ of the 2010 Description Logic Workshop (DL~2010)},
  date-added = {2010-04-01 15:26:08 +0100},
  date-modified = {2010-08-29 18:57:55 +0100},
  series = {CEUR (\url{http://ceur-ws.org/})},
  title = {Tractable Extensions of the Description Logic $\mathcal{EL}$ with Numerical Datatypes},
  url = {download/2010/MaKH10b.pdf},
  volume = {573},
  year = {2010},
  bdsk-url-1 = {download/2010/MaKH10a},
  bdsk-url-2 = {download/2010/MaKH10b.pdf}
}
@inproceedings{GlHM10a,
  author = {Birte Glimm and Ian Horrocks and Boris Motik},
  booktitle = {Proc.\ of the Int.\ Joint Conf.\ on Automated Reasoning (IJCAR~2010)},
  date-added = {2010-04-01 15:23:17 +0100},
  date-modified = {2010-07-23 14:40:16 +0100},
  editor = {J\"{u}rgen Giesl and Reiner H\"{a}hnle},
  pages = {457--471},
  publisher = {Springer},
  series = {Lecture Notes in Artificial Intelligence},
  title = {Optimized Description Logic Reasoning via Core Blocking},
  url = {download/2010/GlHM10a.pdf},
  volume = {6173},
  year = {2010},
  bdsk-url-1 = {download/2010/GlHM10a.pdf}
}
@inproceedings{MaKH10a,
  author = {Despoina Magka and Yevgeny Kazakov and Ian Horrocks},
  booktitle = {Proc.\ of the Int.\ Joint Conf.\ on Automated Reasoning (IJCAR~2010)},
  date-added = {2010-04-01 15:19:22 +0100},
  date-modified = {2010-07-23 14:41:05 +0100},
  editor = {J\"{u}rgen Giesl and Reiner H\"{a}hnle},
  pages = {61--75},
  publisher = {Springer},
  series = {Lecture Notes in Artificial Intelligence},
  title = {Tractable Extensions of the Description Logic $\mathcal{EL}$ with Numerical Datatypes},
  url = {download/2010/MaKH10a.pdf},
  volume = {6173},
  year = {2010},
  bdsk-url-1 = {download/2010/MaKH10a.pdf}
}
@inproceedings{StCH10a,
  author = {Giorgos Stoilos and Bernardo {Cuenca Grau} and Ian Horrocks},
  booktitle = {Proc.\ of the 24th Nat.\ Conf.\ on Artificial Intelligence (AAAI~10)},
  date-added = {2010-02-10 18:38:23 +0000},
  date-modified = {2010-08-26 17:59:24 +0100},
  pages = {1431--1436},
  publisher = {{AAAI} Publications},
  read = {No},
  title = {How Incomplete is your Semantic Web Reasoner?},
  url = {download/2010/StCH10a.pdf},
  year = {2010},
  bdsk-url-1 = {download/2010/StCH10a.pdf}
}
@article{PeMH09a,
  author = {H\'{e}ctor P\'{e}rez-Urbina and Boris Motik and Ian Horrocks},
  date-added = {2009-07-02 12:42:57 +0100},
  date-modified = {2010-07-23 11:49:09 +0100},
  doi = {10.1016/j.jal.2009.09.004},
  journal = {J.\ of Applied Logic},
  note = {DOI \url{10.1016/j.jal.2009.09.004}},
  number = {2},
  pages = {186--209},
  title = {Tractable Query Answering and Rewriting under Description Logic Constraints},
  url = {download/2009/PeMH09a.pdf},
  volume = {8},
  year = {2010},
  bdsk-url-1 = {download/2009/PeMH09a.pdf},
  bdsk-url-2 = {http://dx.doi.org/10.1016/j.jal.2009.09.004}
}
@comment{{BibDesk Smart Groups




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