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{HoPa03,
  author = {Ian Horrocks and Peter F.\ Patel-Schneider},
  booktitle = {Proc.\ of the Twelfth International World Wide Web Conference (WWW 2003)},
  date-modified = {2007-03-07 20:44:29 +0000},
  isbn = {1-58113-680-3},
  pages = {39--47},
  publisher = {ACM},
  title = {Three Theses of Representation in the Semantic Web},
  url = {download/2003/p50-horrocks.pdf},
  year = 2003,
  bdsk-url-1 = {download/2003/p50-horrocks.pdf}
}
@inproceedings{GHVD03,
  author = {Benjamin N. Grosof and Ian Horrocks and Raphael Volz and Stefan Decker},
  booktitle = {Proc.\ of the Twelfth International World Wide Web Conference (WWW 2003)},
  date-modified = {2007-03-07 20:44:29 +0000},
  isbn = {1-58113-680-3},
  pages = {48--57},
  publisher = {ACM},
  title = {Description Logic Programs: Combining Logic Programs with Description Logic},
  url = {download/2003/p117-grosof.pdf},
  year = 2003,
  bdsk-url-1 = {download/2003/p117-grosof.pdf}
}
@inproceedings{LiHo03,
  author = {Lei Li and Ian Horrocks},
  booktitle = {Proc.\ of the Twelfth International World Wide Web Conference (WWW 2003)},
  date-modified = {2007-03-07 20:44:29 +0000},
  isbn = {1-58113-680-3},
  pages = {331--339},
  publisher = {ACM},
  title = {A Software Framework For Matchmaking Based on Semantic Web Technology},
  url = {download/2003/p815-li.pdf},
  year = 2003,
  bdsk-url-1 = {download/2003/p815-li.pdf}
}
@inproceedings{HoSa03a,
  author = {Ian Horrocks and Ulrike Sattler},
  booktitle = {Proc.\ of the 18th Int.\ Joint Conf.\ on Artificial Intelligence (IJCAI~2003)},
  date-modified = {2007-03-07 20:44:29 +0000},
  isbn = {0-92705-663-7},
  pages = {343--348},
  publisher = {Morgan Kaufmann, Los Altos},
  title = {Decidability of $\mathcal{SHIQ}$ with Complex Role Inclusion Axioms},
  url = {download/2003/HoSa03a.pdf},
  year = 2003,
  bdsk-url-1 = {download/2003/HoSa03a.pdf}
}
@inproceedings{LAHS03a,
  author = {Carsten Lutz and Carlos Areces and Ian Horrocks and Ulrike Sattler},
  booktitle = {Proc.\ of the 18th Int.\ Joint Conf.\ on Artificial Intelligence (IJCAI~2003)},
  date-modified = {2007-03-07 20:44:29 +0000},
  isbn = {0-92705-663-7},
  pages = {349-354},
  publisher = {Morgan Kaufmann, Los Altos},
  title = {Keys, Nominals, and Concrete Domains},
  url = {download/2003/LAHS03a.pdf},
  year = 2003,
  bdsk-url-1 = {download/2003/LAHS03a.pdf}
}
@inproceedings{TsHo03a,
  author = {Dmitry Tsarkov and Ian Horrocks},
  booktitle = {Proc.\ of the 2003 Description Logic Workshop (DL~2003)},
  date-modified = {2007-03-07 20:44:29 +0000},
  pages = {152--159},
  series = {CEUR (\url{http://ceur-ws.org/})},
  title = {{DL} Reasoner vs.\ First-Order Prover},
  url = {download/2003/TsHo03a.pdf},
  volume = 81,
  year = 2003,
  bdsk-url-1 = {download/2003/TsHo03a.pdf}
}
@inproceedings{PaHo03c,
  author = {Jeff Pan and Ian Horrocks},
  booktitle = {Proc.\ of the 2003 Description Logic Workshop (DL~2003)},
  date-modified = {2007-03-07 20:44:29 +0000},
  pages = {95--102},
  series = {CEUR (\url{http://ceur-ws.org/})},
  title = {{RDFS(FA)}: A {DL}-ised Sub-language of {RDFS}},
  url = {download/2003/PaHo03c.pdf},
  volume = 81,
  year = 2003,
  bdsk-url-1 = {download/2003/PaHo03c.pdf}
}
@inproceedings{HoPa03c,
  author = {Ian Horrocks and Peter F. Patel-Schneider},
  booktitle = {Proc.\ of the 2003 Description Logic Workshop (DL~2003)},
  date-modified = {2007-03-07 20:44:29 +0000},
  pages = {1--8},
  series = {CEUR (\url{http://ceur-ws.org/})},
  title = {Reducing {OWL} Entailment to Description Logic Satisfiability},
  url = {download/2003/HoPa03c.pdf},
  volume = 81,
  year = 2003,
  bdsk-url-1 = {download/2003/HoPa03c.pdf}
}
@inproceedings{UCDF+03a,
  author = {Michael Uschold and Peter Clark and Fred Dickey and Casey Fung and Sonia Smith and Stephen Uczekaj Michael Wilke and Sean Bechhofer and Ian Horrocks},
  booktitle = {Proc.\ of the 2nd International Semantic Web Conference (ISWC 2003)},
  date-modified = {2007-11-30 11:07:19 +0000},
  editor = {Dieter Fensel and Katia Sycara and John Mylopoulos},
  isbn = {3-540-20362-1},
  note = {Presentation available from \url{http://www.cs.man.ac.uk/~horrocks/Slides/ISWC-Presentation-SemanticFiltering.pdf}.},
  pages = {882--896},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  title = {A Semantic Infosphere},
  url = {download/2003/UCDF+03a.pdf},
  volume = {2870},
  year = 2003,
  bdsk-url-1 = {download/2003/UCDF+03a.pdf}
}
@inproceedings{PaHo03a,
  author = {Jeff Pan and Ian Horrocks},
  booktitle = {Proc.\ of the 2nd International Semantic Web Conference (ISWC 2003)},
  date-modified = {2007-11-30 11:06:27 +0000},
  editor = {Dieter Fensel and Katia Sycara and John Mylopoulos},
  isbn = {3-540-20362-1},
  pages = {47--63},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  title = {Web Ontology Reasoning with Datatype Groups},
  url = {download/2003/PaHo03a.pdf},
  volume = {2870},
  year = 2003,
  bdsk-url-1 = {download/2003/PaHo03a.pdf}
}
@inproceedings{PaHo03b,
  author = {Jeff Pan and Ian Horrocks},
  booktitle = {Proc.\ of the 2nd International Semantic Web Conference (ISWC 2003)},
  date-modified = {2007-11-30 11:06:59 +0000},
  editor = {Dieter Fensel and Katia Sycara and John Mylopoulos},
  isbn = {3-540-20362-1},
  pages = {30--46},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  title = {{RDFS(FA)} and {RDF MT}: Two Semantics for {RDFS}},
  url = {download/2003/PaHo03b.pdf},
  volume = {2870},
  year = 2003,
  bdsk-url-1 = {download/2003/PaHo03b.pdf}
}
@inproceedings{HoPa03b,
  author = {Ian Horrocks and Peter F. Patel-Schneider},
  booktitle = {Proc.\ of the 2nd International Semantic Web Conference (ISWC 2003)},
  date-modified = {2007-11-30 11:05:15 +0000},
  editor = {Dieter Fensel and Katia Sycara and John Mylopoulos},
  isbn = {3-540-20362-1},
  pages = {17--29},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  title = {Reducing {OWL} Entailment to Description Logic Satisfiability},
  url = {download/2003/HoPa03b.pdf},
  volume = {2870},
  year = 2003,
  bdsk-url-1 = {download/2003/HoPa03b.pdf}
}
@article{HoPH03a,
  author = {Ian Horrocks and Peter F. Patel-Schneider and Frank van Harmelen},
  date-modified = {2007-06-11 18:42:34 +0100},
  issn = {1570-8268},
  journal = {J.\ of Web Semantics},
  number = 1,
  pages = {7--26},
  publisher = {Elsevier},
  title = {From $\mathcal{SHIQ}$ and {RDF} to {OWL}: The Making of a Web Ontology Language},
  url = {download/2003/HoPH03a.pdf},
  volume = 1,
  year = 2003,
  bdsk-url-1 = {download/2003/HoPH03a.pdf}
}
@techreport{FiHH03a,
  author = {Richard Fikes and Patrick Hayes and Ian Horrocks},
  date-modified = {2008-06-20 17:51:26 +0100},
  institution = {Knowledge Systems Laboratory, Stanford University, Stanford, CA, USA},
  number = {KSL-03-14},
  title = {{OWL-QL}---a language for deductive query answering on the {S}emantic {W}eb},
  url = {download/2003/FiHH03a.pdf},
  year = 2003,
  bdsk-url-1 = {ftp://ftp.ksl.stanford.edu/pub/KSL_Reports/KSL-03-14.pdf.gz},
  bdsk-url-2 = {download/2003/FiHH03a.pdf}
}
@article{HADK+03,
  author = {Ian Horrocks and J{\"u}rgen Angele and Stefan Decker and Michael Kifer and Benjamin N. Grosof and Gerd Wagner},
  date-modified = {2007-03-07 20:44:29 +0000},
  issn = {1094-7167},
  journal = {{IEEE} Intelligent Systems},
  number = 5,
  pages = {76--83},
  title = {Where Are the Rules?},
  url = {http://csdl.computer.org/comp/mags/ex/2003/05/x5076abs.htm},
  volume = 18,
  year = 2003,
  bdsk-url-1 = {http://csdl.computer.org/comp/mags/ex/2003/05/x5076abs.htm}
}
@incollection{Horrocks01i,
  author = {M. Klein and J. Broekstra and D. Fensel and F. van Harmelen and I. Horrocks},
  available = {http://mitpress.mit.edu/catalog/item/default.asp?ttype=2&tid=9182},
  booktitle = {Spinning the Semantic Web: Bringing the World Wide Web to its full potential},
  date-modified = {2007-03-07 20:44:29 +0000},
  editor = {Dieter Fensel and James Hendler and Henry Lieberman and Wolfgang Wahlster},
  isbn = {0-262-06232-1},
  publisher = {MIT Press},
  title = {Ontologies and Schema Languages on the Web},
  year = {2003}
}
@incollection{Horrocks01k,
  author = {I. Horrocks},
  available = {http://books.cambridge.org/0521781760.htm},
  booktitle = {The Description Logic Handbook: Theory, Implementation, and Applications},
  chapter = {9},
  date-modified = {2007-07-26 16:11:01 +0100},
  editor = {Franz Baader and Diego Calvanese and Deborah McGuinness and Daniele Nardi and Peter F.~Patel-Schneider},
  isbn = {0-521-78176-0},
  pages = {306--346},
  publisher = {Cambridge University Press},
  title = {Implementation and Optimisation Techniques},
  url = {download/2003/Horrocks01k.pdf},
  year = 2003,
  bdsk-url-1 = {download/2003/Horrocks01k.pdf}
}
@incollection{Horrocks01l,
  author = {Ian Horrocks and Deborah McGuinness and Christopher Welty},
  available = {http://books.cambridge.org/0521781760.htm},
  booktitle = {The Description Logic Handbook: Theory, Implementation, and Applications},
  chapter = {14},
  date-modified = {2007-07-26 16:10:22 +0100},
  editor = {Franz Baader and Diego Calvanese and Deborah McGuinness and Daniele Nardi and Peter F.~Patel-Schneider},
  isbn = {0-521-78176-0},
  pages = {427--449},
  publisher = {Cambridge University Press},
  title = {Digital Libraries and Web-Based Information Systems},
  url = {download/2003/Horrocks01l.pdf},
  year = 2003,
  bdsk-url-1 = {download/2003/Horrocks01l.pdf}
}
@comment{{BibDesk Smart Groups




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