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{MCHS08b,
  author = {Boris Motik and Bernardo {Cuenca Grau} and Ian Horrocks and Ulrike Sattler},
  booktitle = {Proc.\ of the 5th Int.\ Workshop on OWL Experiences and Directions (OWLED 2008)},
  date-added = {2012-04-12 11:48:25 +0100},
  date-modified = {2012-04-12 11:51:28 +0100},
  series = {CEUR (\url{http://ceur-ws.org/})},
  title = {Modeling Ontologies using {OWL}, Description Graphs, and Rules},
  url = {download/2008/MCHS08b.pdf},
  volume = {432},
  year = {2008},
  bdsk-url-1 = {download/2008/ShMH08b.pdf},
  bdsk-url-2 = {download/2008/MCHS08b.pdf}
}
@inproceedings{ShMH08b,
  author = {Rob Shearer and Boris Motik and Ian Horrocks},
  booktitle = {Proc.\ of the 5th Int.\ Workshop on OWL Experiences and Directions (OWLED 2008)},
  date-added = {2012-04-11 09:53:41 +0100},
  date-modified = {2012-04-11 10:03:03 +0100},
  series = {CEUR (\url{http://ceur-ws.org/})},
  title = {{HermiT}: A Highly-Efficient OWL Reasoner},
  url = {download/2008/ShMH08b.pdf},
  volume = {432},
  year = {2008},
  bdsk-url-1 = {download/2008/ShMH08b.pdf}
}
@incollection{HoBe08,
  address = {London},
  author = {Horrocks, Ian and Bechhofer, Sean},
  chapter = {19},
  date-added = {2009-01-27 19:46:44 +0000},
  date-modified = {2009-02-04 15:43:33 +0000},
  doi = {http://dx.doi.org/10.1007/978-1-84800-050-6_19},
  edition = {1st},
  editor = {Simon Harper and Yeliz Yesilada},
  isbn = {978-1-84800-049-0},
  journal = {Web Accessibility},
  month = {September},
  pages = {315--330},
  publisher = {Springer},
  rating = {5},
  series = {Human-Computer Interaction Series},
  title = {Semantic Web},
  url = {download/2008/HoBe08.pdf},
  year = {2008},
  bdsk-url-1 = {http://dx.doi.org/10.1007/978-1-84800-050-6_19},
  bdsk-url-2 = {download/2008/HoBe08.pdf}
}
@inproceedings{MoHo08b,
  author = {Boris Motik and Ian Horrocks},
  booktitle = {Proc.\ of the 7th International Semantic Web Conference (ISWC 2008)},
  date-added = {2008-12-08 11:15:36 +0000},
  date-modified = {2008-12-08 11:20:05 +0000},
  pages = {307--322},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  title = {{OWL} Datatypes: Design and Implementation},
  url = {download/2008/MoHo08b.pdf},
  volume = {5318},
  year = {2008},
  bdsk-url-1 = {download/2008/MoHo08b.pdf}
}
@article{Horr08a,
  author = {Ian Horrocks},
  date-added = {2008-11-27 18:32:29 +0000},
  date-modified = {2008-12-08 11:24:39 +0000},
  journal = {Communications of the {ACM}},
  month = {December},
  number = {12},
  pages = {58--67},
  title = {Ontologies and the semantic web},
  url = {download/2008/Horr08a.pdf},
  volume = {51},
  year = {2008},
  bdsk-url-1 = {download/2008/Horr08a.pdf}
}
@article{CHMP+08,
  author = {Bernardo {Cuenca Grau} and Ian Horrocks and Boris Motik and Bijan Parsia and Peter Patel-Schneider and Ulrike Sattler},
  date-added = {2008-10-20 10:54:05 +0100},
  date-modified = {2008-11-23 09:22:54 +0000},
  doi = {10.1016/j.websem.2008.05.001},
  journal = {J.\ of Web Semantics},
  month = {November},
  number = {4},
  pages = {309--322},
  title = {{OWL 2}: The next step for {OWL}},
  url = {download/2008/CHMP+08.pdf},
  volume = {6},
  year = {2008},
  bdsk-url-1 = {download/2008/CHMP+08.pdf},
  bdsk-url-2 = {http://dx.doi.org/10.1016/j.websem.2008.05.001}
}
@inproceedings{CuHo08a,
  author = {Bernardo {Cuenca Grau} and Ian Horrocks},
  booktitle = {Proc.\ of the 18th Eur.\ Conf.\ on Artificial Intelligence (ECAI~2008)},
  date-added = {2008-06-30 16:47:46 +0100},
  date-modified = {2009-09-21 23:58:01 +0100},
  pages = {40--44},
  publisher = {IOS Press},
  title = {Privacy-Preserving Query Answering in Logic-based Information Systems},
  url = {download/2008/CuHo08a.pdf},
  year = {2008},
  bdsk-url-1 = {download/2008/CHKS08b.pdf},
  bdsk-url-2 = {download/2008/CuHo08a.pdf}
}
@inproceedings{GlHS08b,
  author = {Birte Glimm and Ian Horrocks and Ulrike Sattler},
  booktitle = {Proc.\ of the 11th Int.\ Conf.\ on Principles of Knowledge Representation and Reasoning (KR~2008)},
  date-added = {2008-06-14 19:12:08 +0100},
  date-modified = {2008-09-21 12:55:02 +0100},
  pages = {252--262},
  title = {Unions of Conjunctive Queries in $\mathcal{SHOQ}$},
  url = {download/2008/GlHS08b.pdf},
  year = {2008},
  bdsk-url-1 = {download/2008/GlHS08b.pdf}
}
@inproceedings{MCHS08a,
  author = {Boris Motik and Bernardo {Cuenca Grau} and Ian Horrocks and Ulrike Sattler},
  booktitle = {Proc.\ of the 11th Int.\ Conf.\ on Principles of Knowledge Representation and Reasoning (KR~2008)},
  date-added = {2008-06-14 19:06:52 +0100},
  date-modified = {2008-09-21 12:56:27 +0100},
  pages = {296--306},
  title = {Representing Structured Objects using Description Graphs},
  url = {download/2008/MCHS08a.pdf},
  year = {2008},
  bdsk-url-1 = {download/2008/MCHS08a.pdf}
}
@inproceedings{PeMH08b,
  author = {H\'{e}ctor P\'{e}rez-Urbina and Boris Motik and Ian Horrocks},
  booktitle = {Proc.\ of the Int.\ Workshop on Logics in Databases (LID 2008)},
  date-added = {2008-05-01 17:20:22 +0100},
  date-modified = {2008-05-01 17:21:45 +0100},
  title = {Rewriting Conjunctive Queries over Description Logic Constraints},
  url = {download/2008/PeMH08b.pdf},
  year = {2008},
  bdsk-url-1 = {download/2008/PeMH08b.pdf}
}
@inproceedings{MoHo08a,
  author = {Boris Motik and Ian Horrocks},
  booktitle = {Proc.\ of the Int.\ Joint Conf.\ on Automated Reasoning (IJCAR~2008)},
  date-added = {2008-04-29 20:57:19 +0100},
  date-modified = {2008-09-19 08:00:14 +0100},
  pages = {242--258},
  title = {Individual Reuse in Description Logic Reasoning},
  url = {download/2008/MoHo08a.pdf},
  year = {2008},
  bdsk-url-1 = {download/2008/MoHo08a.pdf}
}
@inproceedings{ShMH08a,
  author = {Rob Shearer and Boris Motik and Ian Horrocks},
  booktitle = {Proc.\ of the 2008 Description Logic Workshop (DL~2008)},
  date-added = {2008-04-27 11:19:00 +0100},
  date-modified = {2008-12-08 11:14:07 +0000},
  series = {CEUR (\url{http://ceur-ws.org/})},
  title = {Optimizing the Nominal Introduction Rule in (Hyper)Tableau Calculi},
  url = {download/2008/MoSH08a.pdf},
  year = {2008},
  bdsk-url-1 = {download/2008/MoSH08a.pdf}
}
@inproceedings{GlHS08a,
  author = {Birte Glimm and Ian Horrocks and Ulrike Sattler},
  booktitle = {Proc.\ of the 2008 Description Logic Workshop (DL~2008)},
  date-added = {2008-04-27 11:12:10 +0100},
  date-modified = {2008-04-27 11:16:04 +0100},
  series = {CEUR (\url{http://ceur-ws.org/})},
  title = {Deciding $\mathcal{SHOQ}^\sqcap$ Knowledge Base Consistency using Alternating Automata},
  url = {download/2008/GlHS08a.pdf},
  year = {2008},
  bdsk-url-1 = {download/2008/GlHS08a.pdf}
}
@inproceedings{THCM08a,
  author = {Duc Thanh Tran and Peter Haase and Bernardo {Cuenca Grau} and Boris Motik and Ian Horrocks},
  booktitle = {Proc.\ of the 23rd Nat.\ Conf.\ on Artificial Intelligence (AAAI~08)},
  date-added = {2008-04-25 19:00:54 +0100},
  date-modified = {2011-11-01 10:49:09 +0000},
  isbn = {978-1-57735-368-3},
  pages = {1237--1242},
  title = {Metalevel Information in Ontology-Based Applications},
  url = {download/2008/THCM08a.pdf},
  year = {2008},
  bdsk-url-1 = {download/2008/THCM08a.pdf}
}
@article{GHLS08a,
  author = {Birte Glimm and Ian Horrocks and Carsten Lutz and Uli Sattler},
  date-added = {2008-04-25 18:55:53 +0100},
  date-modified = {2008-04-25 19:09:23 +0100},
  journal = {J.\ of Artificial Intelligence Research},
  pages = {157--204},
  title = {Conjunctive Query Answering for the Description Logic $\mathcal{SHIQ}$},
  url = {download/2008/GHLS08a.pdf},
  volume = {31},
  year = {2008},
  bdsk-url-1 = {download/2008/GHLS08a.pdf}
}
@inproceedings{PeMH08a,
  author = {H\'{e}ctor P\'{e}rez-Urbina and Boris Motik and Ian Horrocks},
  booktitle = {Proc.\ of the Int.\ Workshop on Semantics in Data and Knowledge Bases (SDKB 2008)},
  date-added = {2008-04-25 18:12:49 +0100},
  date-modified = {2008-09-03 14:08:50 +0100},
  pages = {199--214},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  title = {Rewriting Conjunctive Queries over Description Logic Knowledge Bases},
  url = {download/2008/PeMH08a.pdf},
  volume = {4925},
  year = {2008},
  bdsk-url-1 = {download/2008/PeMH08a.pdf}
}
@article{CHKS08a,
  author = {Bernardo {Cuenca Grau} and Ian Horrocks and Yevgeny Kazakov and Ulrike Sattler},
  date-added = {2008-02-22 09:28:07 +0000},
  date-modified = {2008-02-22 09:29:24 +0000},
  journal = {J.\ of Artificial Intelligence Research},
  pages = {273-318},
  title = {Modular Reuse of Ontologies: Theory and Practice},
  url = {download/2008/CHKS08a.pdf},
  volume = {31},
  year = {2008},
  bdsk-url-1 = {download/2008/CHKS08a.pdf}
}
@incollection{BaHS07a,
  author = {Franz Baader and Ian Horrocks and Ulrike Sattler},
  booktitle = {Handbook of Knowledge Representation},
  chapter = {3},
  date-added = {2007-07-25 18:14:15 +0100},
  date-modified = {2011-09-01 20:15:01 +0100},
  editor = {Frank {van Harmelen} and Vladimir Lifschitz and Bruce Porter},
  pages = {135--180},
  publisher = {Elsevier},
  title = {{D}escription {L}ogics},
  url = {download/2007/BaHS07a.pdf},
  year = {2008},
  bdsk-url-1 = {download/2007/BaHS07a.pdf}
}
@comment{{BibDesk Smart Groups




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