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{LHHHM00,
  author = {Ora Lassila and Frank {van Harmelen} and Ian Horrocks and Jim Hendler and Deborah Mc{G}uinness},
  date-added = {2012-01-19 12:28:58 +0000},
  date-modified = {2012-01-19 12:34:01 +0000},
  journal = {{IEEE} Intelligent Systems},
  number = {6},
  pages = {67--73},
  title = {The semantic web and its languages},
  url = {download/2000/faqs-on-oil.pdf},
  volume = {15},
  year = {2000},
  bdsk-url-1 = {download/2000/faqs-on-oil.pdf}
}
@techreport{BBDE*00,
  author = {Sean Bechhofer and Jeen Broekstra and Stefan Decker and Michael Erdmann and Dieter Fensel and Carole Goble and Frank van Harmelen and Ian Horrocks and Michel Klein and Deborah L. McGuinness and Enrico Motta and Peter F. Patel-Schneider and Steffen Staab and Rudi Studer},
  date-modified = {2008-06-20 19:48:14 +0100},
  institution = {Stanford University KSL},
  month = nov,
  note = {Available at \url{http://www.ontoknowledge.org/oil/downl/dialects.pdf}},
  number = {KSL-00-19},
  title = {An Informal Description of {OIL-Core} and {Standard OIL}: a Layered Proposal for {DAML-O}},
  url = {download/2000/BBDE00.pdf},
  year = 2000,
  bdsk-url-1 = {download/2000/BBDE00.pdf}
}
@inproceedings{BKFH00,
  author = {Jeen Broekstra and Michel Klein and Dieter Fensel and Ian Horrocks},
  booktitle = {Proc.\ of the ECDL~2000 Workshop on the Semantic Web},
  date-modified = {2008-06-20 19:53:40 +0100},
  title = {Adding Formal Semantics to the {W}eb: building on Top of {RDF} {S}chema},
  url = {download/2000/BKFH00.pdf},
  year = 2000,
  bdsk-url-1 = {download/2000/BKFH00.pdf}
}
@article{HoST00,
  annote = {AKA: Horrocks99m},
  author = {Ian Horrocks and Ulrike Sattler and Stephan Tobies},
  date-modified = {2008-04-25 20:09:57 +0100},
  journal = {Logic Journal of the {IGPL}},
  number = 3,
  pages = {239--264},
  title = {Practical Reasoning for Very Expressive Description Logics},
  url = {download/2000/HoST00.pdf},
  volume = 8,
  year = 2000,
  bdsk-url-1 = {http://www3.oup.co.uk/igpl/Volume_08/Issue_03/ps/horrocks1.ps.gz},
  bdsk-url-2 = {download/2000/HoST00.pdf}
}
@inproceedings{HoST00b,
  annote = {AKA: Horrocks00b},
  author = {Ian Horrocks and Ulrike Sattler and Stephan Tobies},
  booktitle = {Proc.\ of the 17th Int.\ Conf.\ on Automated Deduction (CADE~2000)},
  date-modified = {2007-03-07 20:44:28 +0000},
  editor = {David McAllester},
  pages = {482--496},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  title = {Reasoning with Individuals for the Description Logic {$\mathcal{SHIQ}$}},
  url = {download/2000/CADE17.pdf},
  volume = 1831,
  year = 2000,
  bdsk-url-1 = {download/2000/CADE17.pdf}
}
@inproceedings{HoTe00,
  annote = {AKA: Horrocks00c},
  author = {Ian Horrocks and Sergio Tessaris},
  booktitle = {Proc.\ of the 17th Nat.\ Conf.\ on Artificial Intelligence (AAAI~2000)},
  date-modified = {2008-06-20 19:43:29 +0100},
  pages = {399--404},
  title = {A Conjunctive Query Language for Description Logic {ABoxes}},
  url = {download/2000/HoTe00.pdf},
  year = 2000,
  bdsk-url-1 = {download/2000/AAAI-2000.ps.gz},
  bdsk-url-2 = {download/2000/HoTe00.pdf}
}
@inproceedings{FHHD*00,
  annote = {AKA: Horrocks00l},
  author = {Dieter Fensel and Ian Horrocks and Frank van Harmelen and Stefan Decker and Michael Erdmann and Michel Klein},
  booktitle = {Proc.\ of the 12th European Workshop on Knowledge Acquisition, Modeling, and Management (EKAW~2000)},
  date-modified = {2007-03-07 20:44:29 +0000},
  editor = {R. Dieng},
  number = 1937,
  pages = {1--16},
  publisher = {Springer},
  series = {Lecture Notes in Artificial Intelligence},
  title = {{OIL} in a Nutshell},
  url = {download/2000/oilnutshell.pdf},
  year = 2000,
  bdsk-url-1 = {download/2000/oilnutshell.pdf}
}
@inproceedings{HoTo00,
  annote = {AKA: Horrocks00a},
  author = {I. Horrocks and S. Tobies},
  booktitle = {Proc.\ of the 7th Int.\ Conf.\ on Principles of Knowledge Representation and Reasoning (KR~2000)},
  date-modified = {2007-03-07 20:44:29 +0000},
  isbn = {1-55860-690-4},
  pages = {285--296},
  title = {Reasoning with Axioms: Theory and Practice},
  url = {download/2000/KR-2000.pdf},
  year = {2000},
  bdsk-url-1 = {download/2000/KR-2000.pdf}
}
@inproceedings{Horrocks00d,
  author = {I. Horrocks},
  booktitle = {Proc.\ of the 4th Int.\ Conf.\ on Analytic Tableaux and Related Methods (TABLEAUX~2000)},
  date-modified = {2008-06-20 19:40:48 +0100},
  isbn = {3-540-67697-X},
  number = 1847,
  pages = {62--66},
  publisher = {Springer-Verlag},
  series = {Lecture Notes in Artificial Intelligence},
  title = {Benchmark Analysis with {FaCT}},
  url = {download/2000/Horrocks00d.pdf},
  year = 2000,
  bdsk-url-1 = {download/2000/TANCS-2000.ps.gz},
  bdsk-url-2 = {download/2000/Horrocks00d.pdf}
}
@inproceedings{BoFH00,
  annote = {AKA: Horrocks00e},
  author = {Alex Borgida and Enrico Franconi and Ian Horrocks},
  booktitle = {Proc.\ of the 14th Eur.\ Conf.\ on Artificial Intelligence (ECAI~2000)},
  date-modified = {2008-06-20 19:36:44 +0100},
  isbn = {1-58603-013-2},
  issn = {0922-6389},
  pages = {209--213},
  publisher = {IOS Press},
  title = {Explaining $\mathcal{ALC}$ Subsumption},
  url = {download/2000/BoFH00.pdf},
  year = 2000,
  bdsk-url-1 = {download/2000/ECAI-2000.ps.gz},
  bdsk-url-2 = {download/2000/BoFH00.pdf}
}
@inproceedings{Horrocks00f,
  author = {I. Horrocks and S. Tessaris and U. Sattler and S. Tobies},
  booktitle = {Proc.\ of the 7th Int.\ Workshop on Knowledge Representation meets Databases (KRDB~2000)},
  date-modified = {2008-06-20 19:32:16 +0100},
  series = {CEUR (\url{http://ceur-ws.org/})},
  title = {How to decide Query Containment under Constraints using a Description Logic},
  url = {download/2000/Horrocks00f.pdf},
  volume = {29},
  year = 2000,
  bdsk-url-1 = {download/2000/KRDB-2000.ps.gz},
  bdsk-url-2 = {download/2000/Horrocks00f.pdf}
}
@inproceedings{DFHH*00,
  annote = {AKA: Horrocks00g},
  author = {S. Decker and D. Fensel and F. van~Harmelen and I. Horrocks and S. Melnik and M. Klein and J. Broekstra},
  booktitle = {Proc.\ of the 2000 Description Logic Workshop (DL~2000)},
  date-modified = {2008-06-20 19:29:17 +0100},
  isbn = {3-86073-726-0},
  issn = {1437-8396},
  pages = {89--98},
  series = {CEUR (\url{http://ceur-ws.org/})},
  title = {Knowledge Representation on the Web},
  url = {download/2000/DL00-oil.pdf},
  volume = {33},
  year = 2000,
  bdsk-url-1 = {download/2000/DL00-oil.ps.gz},
  bdsk-url-2 = {download/2000/DL00-oil.pdf}
}
@inproceedings{Horrocks00h,
  author = {I. Horrocks and S. Tessaris},
  booktitle = {Proc.\ of the 2000 Description Logic Workshop (DL~2000)},
  date-modified = {2008-06-20 19:27:06 +0100},
  isbn = {3-86073-726-0},
  issn = {1437-8396},
  pages = {173--182},
  title = {Answering Conjunctive Queries Over {DL} Aboxes: a Preliminary Report},
  url = {download/2000/Horrocks00h.pdf},
  year = 2000,
  bdsk-url-1 = {download/2000/DL00-query.ps.gz},
  bdsk-url-2 = {download/2000/Horrocks00h.pdf}
}
@inproceedings{Horrocks00i,
  author = {S. Bechhofer and I. Horrocks},
  booktitle = {Proc.\ of the 2000 Description Logic Workshop (DL~2000)},
  date-modified = {2007-03-07 20:44:29 +0000},
  isbn = {3-86073-726-0},
  issn = {1437-8396},
  pages = {45--54},
  title = {Driving User Interfaces from {FaCT}},
  url = {download/2000/Horrocks00i.pdf},
  year = 2000,
  bdsk-url-1 = {download/2000/Horrocks00i.pdf}
}
@inproceedings{Horrocks00j,
  author = {I. Horrocks and S. Tobies},
  booktitle = {Proc.\ of the 2000 Description Logic Workshop (DL~2000)},
  date-modified = {2008-06-20 19:23:01 +0100},
  isbn = {3-86073-726-0},
  issn = {1437-8396},
  pages = {183--192},
  title = {Optimisation of Terminological Reasoning},
  url = {download/2000/Horrocks00j.pdf},
  year = 2000,
  bdsk-url-1 = {download/2000/DL00-optimisation.ps.gz},
  bdsk-url-2 = {download/2000/Horrocks00j.pdf}
}
@inproceedings{Horrocks00k,
  author = {D. Fensel and F. van Harmelen and M. Klein and H. Akkermans and J. Broekstra and C. Fluit and J. van der Meer and H.-P. Schnurr and R. Studer and J. Hughes and U. Krohn and J. Davies and R. Engels and B. Bremdal and F. Ygge and T. Lau and B. Novotny and U. Reimer and I. Horrocks},
  booktitle = {Proceedings of the eBusiness and eWork 2000 Conference (eBeW'00)},
  date-modified = {2007-03-07 20:44:29 +0000},
  month = oct,
  title = {{On-To-Knowledge}: Ontology-based Tools for Knowledge Management.},
  url = {download/2000/eBeW00.pdf},
  year = 2000,
  bdsk-url-1 = {download/2000/eBeW00.pdf}
}
@incollection{Horrocks00m,
  address = {Amsterdam},
  author = {I. Horrocks and P. F. Patel-Schneider},
  booktitle = {Highlights of Satisfiability Research in the Year 2000},
  date-modified = {2008-06-20 19:16:51 +0100},
  editor = {I. Gent and H. van Maaren and T. Walsh},
  isbn = {1 58603 061 2},
  publisher = {ISO Press},
  series = {Frontiers in Artificial Intelligence and Applications},
  title = {Evaluating Optimised Decision Procedures for Propositional Modal $\mathbf{K}_{(\mathbf{m})}$ Satisfiability},
  url = {download/2002/HoPaJAR.pdf},
  volume = 63,
  year = 2000,
  bdsk-url-1 = {http://www.iospress.nl/html/boek678596260.html},
  bdsk-url-2 = {download/2002/HoPaJAR.pdf}
}
@article{Horrocks00n,
  author = {S. Decker and F. van Harmelen and J. Broekstra and M. Erdmann and D. Fensel and I. Horrocks and M. Klein and S. Melnik},
  date-modified = {2008-06-20 18:59:22 +0100},
  journal = {IEEE Internet Computing},
  number = 5,
  pages = {63--74},
  title = {The Semantic Web: The Roles of {XML} and {RDF}},
  url = {download/2000/Horrocks00n.pdf},
  volume = 4,
  year = 2000,
  bdsk-url-1 = {http://www.computer.org/internet/},
  bdsk-url-2 = {download/2000/Horrocks00n.pdf}
}
@article{Horrocks00o,
  author = {F. Van Harmelen and I. Horrocks},
  date-modified = {2007-03-07 20:44:29 +0000},
  journal = {IEEE Intelligent Systems},
  number = {6},
  pages = {69--72},
  title = {{FAQ}s on {OIL}: the Ontology Inference Layer},
  url = {download/2000/faqs-on-oil.pdf},
  volume = {15},
  year = 2000,
  bdsk-url-1 = {download/2000/faqs-on-oil.pdf}
}
@inproceedings{Horrocks00p,
  address = {Berlin},
  author = {D. Fensel and M. Cruzeby and F. van Harmelen and I. Horrocks},
  booktitle = {Proceedings of the {ECAI}'00 workshop on applications of ontologies and problem-solving methods},
  date-modified = {2007-03-07 20:44:29 +0000},
  month = {August},
  title = {{OIL} and {UPML}: a unifying framework for the Knowledge Web},
  url = {download/2000/upml.oil.pdf},
  year = 2000,
  bdsk-url-1 = {download/2000/upml.oil.pdf}
}
@inproceedings{Horrocks00q,
  address = {Berlin},
  author = {Michel Klein and Dieter Fensel and Frank van Harmelen and Ian Horrocks},
  booktitle = {Proceedings of the {ECAI}'00 workshop on applications of ontologies and problem-solving methods},
  date-modified = {2007-03-07 20:44:29 +0000},
  month = {August},
  title = {The relation between ontologies and schema-languages: Translating {OIL}-specifications in XML-schema},
  url = {download/2000/ECAI00-WS2.pdf},
  year = 2000,
  bdsk-url-1 = {download/2000/ECAI00-WS2.pdf}
}
@techreport{HFBD*00,
  annote = {AKA: HFBDE00},
  author = {Ian Horrocks and Dieter Fensel and Jeen Broekstra and Stefan Decker and Michael Erdmann and Carole Goble and Frank van Harmelen and Michel Klein and Steffen Staab and Rudi Studer and Enrico Motta},
  date-modified = {2007-03-07 20:44:29 +0000},
  institution = {Vrije Universiteit Amsterdam, Faculty of Sciences},
  month = sep,
  note = {See http://www.ontoknowledge.org/oil/},
  number = {IR-479},
  title = {{OIL: The Ontology Inference Layer}},
  url = {download/2000/oil.pdf},
  year = {2000},
  bdsk-url-1 = {download/2000/oil.pdf}
}
@article{Horrocks99l,
  author = {I. Horrocks and P. F. Patel-Schneider and R. Sebastiani},
  date-modified = {2008-06-20 18:54:18 +0100},
  journal = {Logic Journal of the {IGPL}},
  number = {3},
  pages = {293--323},
  title = {An Analysis of Empirical Testing for Modal Decision Procedures},
  url = {download/2000/Horrocks99l.pdf},
  volume = {8},
  year = 2000,
  bdsk-url-1 = {http://www3.oup.co.uk/igpl/Volume_08/Issue_03/ps/horrocks2.ps.gz},
  bdsk-url-2 = {download/2000/Horrocks99l.pdf}
}
@inproceedings{HSTT00,
  annote = {AKA: Horrocks99p},
  author = {I. Horrocks and U. Sattler and S. Tessaris and S. Tobies},
  booktitle = {Proc.\ of the 7th Int.\ Conf.\ on Logic for Programming and Automated Reasoning (LPAR~2000)},
  date-modified = {2015-01-18 10:50:11 +0000},
  pages = {326--343},
  publisher = {Springer-Verlag},
  series = {Lecture Notes in Artificial Intelligence},
  title = {How to decide Query Containment under Constraints using a Description Logic},
  url = {download/2000/lpar00.pdf},
  volume = {1955},
  year = 2000,
  bdsk-url-1 = {download/2000/lpar00.pdf}
}
@comment{{BibDesk Smart Groups




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