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
@techreport{Antoniou:lr,
  author = {Grigoris Antoniou and Carlos Viegas Dam\'{a}sio and Benjamin Grosof and Ian Horrocks and Michael Kifer and Jan Maluszynski and Peter F. Patel-Schneider},
  date-added = {2011-11-17 17:40:15 +0000},
  date-modified = {2011-11-17 17:43:22 +0000},
  institution = {REWERSE},
  number = {I3-D3},
  title = {Combining Rules and Ontologies. A survey},
  type = {Deliverable},
  url = {http://rewerse.net/deliverables/m12/i3-d3.pdf},
  year = {2005},
  bdsk-url-1 = {http://rewerse.net/deliverables/m12/i3-d3.pdf}
}
@inproceedings{PaHo05b,
  author = {Jeff Z.~Pan and Ian Horrocks},
  booktitle = {Proc.\ of the 1st Int.\ Workshop on OWL Experiences and Directions (OWLED 2005)},
  date-added = {2007-08-06 23:18:29 +0100},
  date-modified = {2007-08-06 23:21:04 +0100},
  series = {CEUR (\url{http://ceur-ws.org/})},
  title = {Introducing Customised Datatypes and Datatype Predicates into {OWL}},
  url = {download/2005/PaHo05b.pdf},
  volume = {188},
  year = {2005},
  bdsk-url-1 = {download/2005/PaHo05b.pdf}
}
@inproceedings{SSTPH05,
  author = {Giorgos Stoilos and Giorgos Stamou and Vassilis Tzouvaras and Jeff Z. Pan and Ian Horrocks},
  booktitle = {Proc.\ of the 1st Int.\ Workshop on OWL Experiences and Directions (OWLED 2005)},
  date-added = {2006-11-06 22:15:05 +0000},
  date-modified = {2007-08-06 23:22:26 +0100},
  series = {CEUR (\url{http://ceur-ws.org/})},
  title = {Fuzzy {OWL}: Uncertainty and the Semantic Web},
  url = {download/2005/SSTPH05.pdf},
  volume = {188},
  year = {2005},
  bdsk-url-1 = {download/2005/SSTPH05.pdf}
}
@inproceedings{WBHL+05,
  author = {Katherine Wolstencroft and Andy Brass and Ian Horrocks and Phil Lord and Ulrike Sattler and Robert Stevens and Daniele Turi},
  booktitle = {Proc.\ of the 4th International Semantic Web Conference (ISWC 2005)},
  date-added = {2006-07-22 17:29:02 +0100},
  date-modified = {2007-11-30 10:52:54 +0000},
  pages = {786--800},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  title = {A Little Semantic Web Goes a Long Way in Biology},
  url = {download/2005/WBHL05.pdf},
  volume = {3729},
  year = 2005,
  bdsk-url-1 = {download/2005/WBHL05.pdf}
}
@incollection{BaHS03,
  author = {Franz Baader and Ian Horrocks and Ulrike Sattler},
  booktitle = {Mechanizing Mathematical Reasoning: Essays in Honor of J{\"o}rg Siekmann on the Occasion of His 60th Birthday},
  date-modified = {2007-03-18 14:43:45 +0000},
  editor = {Dieter Hutter and Werner Stephan},
  isbn = {3-540-25051-4},
  number = {2605},
  pages = {228--248},
  publisher = {Springer},
  series = {Lecture Notes in Artificial Intelligence},
  title = {Description Logics as Ontology Languages for the Semantic Web},
  url = {download/2003/BaHS03.pdf},
  year = 2005,
  bdsk-url-1 = {download/2003/BaHS03.pdf}
}
@article{LAHS04a,
  author = {Carsten Lutz and Carlos Areces and Ian Horrocks and Ulrike Sattler},
  date-modified = {2015-01-18 10:53:28 +0000},
  journal = {J.\ of Artificial Intelligence Research},
  pages = {667--726},
  title = {Keys, Nominals, and Concrete Domains},
  url = {download/2004/LAHS04a.pdf},
  volume = 23,
  year = 2005,
  bdsk-url-1 = {download/2004/LAHS04a.pdf}
}
@inproceedings{HoSa05a,
  author = {Ian Horrocks and Ulrike Sattler},
  booktitle = {Proc.\ of the 19th Int.\ Joint Conf.\ on Artificial Intelligence (IJCAI~2005)},
  date-modified = {2007-03-07 20:44:29 +0000},
  pages = {448--453},
  title = {A Tableaux Decision Procedure for $\mathcal{SHOIQ}$},
  url = {download/2005/HoSa05a.pdf},
  year = 2005,
  bdsk-url-1 = {download/2005/HoSa05a.pdf}
}
@inproceedings{TsHo05a,
  author = {Dmitry Tsarkov and Ian Horrocks},
  booktitle = {Proc.\ of the 19th Int.\ Joint Conf.\ on Artificial Intelligence (IJCAI~2005)},
  date-modified = {2007-03-07 20:44:29 +0000},
  pages = {609--614},
  title = {Ordering Heuristics for Description Logic Reasoning},
  url = {download/2005/TsHo05a.pdf},
  year = 2005,
  bdsk-url-1 = {download/2005/TsHo05a.pdf}
}
@article{HPBT05,
  author = {Ian Horrocks and Peter F.\ Patel-Schneider and Sean Bechhofer and Dmitry Tsarkov},
  date-modified = {2007-03-07 20:44:29 +0000},
  issn = {1570-8268},
  journal = {J.\ of Web Semantics},
  number = 1,
  pages = {23--40},
  title = {{OWL} Rules: A Proposal and Prototype Implementation},
  url = {download/2005/HPBT05.pdf},
  volume = 3,
  year = 2005,
  bdsk-url-1 = {download/2005/HPBT05.pdf}
}
@inproceedings{Horr05a,
  author = {Ian Horrocks},
  booktitle = {Proc.\ of the 13th Int.\ Conf.\ on Conceptual Structures (ICCS'05)},
  date-modified = {2007-03-07 20:44:29 +0000},
  editor = {Frithjof Dau and Marie-Laure Mugnier and Gerd Stumme},
  isbn = {3-540-27783-8},
  number = 3596,
  pages = {78--90},
  publisher = {Springer},
  series = {Lecture Notes in Artificial Intelligence},
  title = {Applications of Description Logics: State of the Art and Research Challenges},
  url = {download/2005/Horr05a.pdf},
  year = 2005,
  bdsk-url-1 = {download/2005/Horr05a.pdf}
}
@inproceedings{Horr05b,
  author = {Ian Horrocks},
  booktitle = {Proc.\ of the 9th Int.\ Conf.\ on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX~2005)},
  date-modified = {2007-03-07 20:44:29 +0000},
  editor = {B. Beckert},
  isbn = {3-540-28931-3},
  number = 3702,
  pages = {2--13},
  publisher = {Springer},
  series = {Lecture Notes in Artificial Intelligence},
  title = {Description Logics in Ontology Applications},
  url = {download/2005/Horr05b.pdf},
  year = 2005,
  bdsk-url-1 = {download/2005/Horr05b.pdf}
}
@inproceedings{Horr05c,
  author = {Ian Horrocks},
  booktitle = {Proc.\ of Int.\ Conf.\ on Principles and Practice of Constraint Programming (CP 2005)},
  date-modified = {2007-03-07 20:44:29 +0000},
  isbn = {3-540-29238-1},
  pages = {5-8},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  title = {OWL: A Description Logic Based Ontology Language.},
  url = {download/2005/Horr05c.pdf},
  volume = {3709},
  year = {2005},
  bdsk-url-1 = {download/2005/Horr05c.pdf}
}
@inproceedings{PaHo05a,
  author = {Jeff Pan and Ian Horrocks},
  booktitle = {Proc.\ of The Second European Semantic Web Conference (ESWC 2005)},
  date-modified = {2007-03-18 14:41:26 +0000},
  editor = {Asunci\'{o}n G\'{o}mez-Prez, J\'{e}r\^{o}me Euzenat},
  isbn = {3-540-26124-9},
  number = 3532,
  pages = {153--166},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  title = {{OWL-Eu}: Adding Customised Datatypes into {OWL}},
  url = {download/2005/PaHo05a.pdf},
  year = 2005,
  bdsk-url-1 = {download/2005/PaHo05a.pdf}
}
@inproceedings{BeHT05,
  author = {Sean Bechhofer and Ian Horrocks and Daniele Turi},
  booktitle = {Proc.\ of the 20th Int.\ Conf.\ on Automated Deduction (CADE-20)},
  date-modified = {2007-03-07 20:44:29 +0000},
  isbn = {3-540-28005-7},
  pages = {177--181},
  publisher = {Springer},
  series = {Lecture Notes in Artificial Intelligence},
  title = {The {OWL} Instance Store: System Description},
  url = {download/2005/BeHT05.pdf},
  year = 2005,
  bdsk-url-1 = {download/2005/BeHT05.pdf}
}
@inproceedings{TsHo05b,
  author = {Dmitry Tsarkov and Ian Horrocks},
  booktitle = {Proc.\ of the 2005 Description Logic Workshop (DL~2005)},
  date-modified = {2007-03-07 20:44:29 +0000},
  series = {CEUR (\url{http://ceur-ws.org/})},
  title = {Optimised Classification for Taxonomic Knowledge Bases},
  url = {download/2005/TsHo05b.pdf},
  volume = {147},
  year = 2005,
  bdsk-url-1 = {download/2005/TsHo05b.pdf}
}
@inproceedings{HPPH05,
  author = {Ian Horrocks and Bijan Parsia and Peter Patel-Schneider and James Hendler},
  booktitle = {Principles and Practice of Semantic Web Reasoning (PPSWR 2005)},
  date-modified = {2009-10-31 19:02:27 +0000},
  editor = {Francois Fages and Sylvain Soliman},
  pages = {37--41},
  publisher = {Springer},
  series = {LNCS},
  title = {Semantic Web Architecture: Stack or Two Towers?},
  url = {download/2005/HPPH05.pdf},
  volume = {3703},
  year = {2005},
  bdsk-url-1 = {download/2005/HPPH05.pdf}
}
@inproceedings{HoKS05a,
  author = {Ian Horrocks and Oliver Kutz and Ulrike Sattler},
  booktitle = {Proc.\ of the 1st Int.\ Workshop on OWL Experiences and Directions (OWLED 2005)},
  date-modified = {2007-03-07 20:44:29 +0000},
  title = {The Irresistible $\mathcal{SRIQ}$},
  url = {download/2006/HoKS05a.pdf},
  year = 2005,
  bdsk-url-1 = {download/2006/HoKS05a.pdf}
}
@inproceedings{GlHo05a,
  author = {Birte Glimm and Ian Horrocks},
  booktitle = {Proc.\ of the 2005 Description Logic Workshop (DL~2005)},
  date-modified = {2007-03-07 20:44:29 +0000},
  series = {CEUR (\url{http://ceur-ws.org/})},
  title = {Handling Cyclic Conjunctive Queries.},
  url = {download/2006/PaHo06a.pdf},
  volume = {147},
  year = {2005},
  bdsk-url-1 = {download/2006/PaHo06a.pdf}
}
@comment{{BibDesk Smart Groups




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