@MASTERSTHESIS{Horrocks95a,
  AUTHOR = {I. Horrocks},
  DATE-MODIFIED = {2008-06-21 17:29:13 +0100},
  SCHOOL = {University of Manchester},
  TITLE = {A Comparison of Two Terminological Knowledge Representation Systems},
  URL = {download/1995/Horrocks95a.pdf},
  YEAR = 1995,
  BDSK-URL-1 = {download/1995/thesis.ps.gz}
}
Ian Horrocks: bibliography
@INPROCEEDINGS{HoRe96,
  ANNOTE = {AKA: Horrocks96b},
  AUTHOR = {Ian Horrocks and Alan Rector},
  BOOKTITLE = {Proc.\ of the 1996 Description Logic Workshop (DL'96)},
  DATE-MODIFIED = {2008-06-21 17:29:36 +0100},
  NUMBER = {WS-96-05},
  PAGES = {132--135},
  PUBLISHER = {{AAAI} Press/The {MIT} Press},
  SERIES = {AAAI Technical Report},
  TITLE = {Using a Description Logic with Concept Inclusions},
  URL = {download/1996/HoRe96.pdf},
  YEAR = 1996,
  BDSK-URL-1 = {download/1996/dl96.ps.gz}
}
@INPROCEEDINGS{HoRG96,
  ANNOTE = {AKA: Horrocks96a},
  AUTHOR = {Ian Horrocks and Alan Rector and Carole Goble},
  BOOKTITLE = {Proc.\ of the 3rd Int.\ Workshop on Knowledge Representation meets Databases (KRDB'96)},
  DATE-MODIFIED = {2008-06-21 17:29:51 +0100},
  PAGES = {24--28},
  SERIES = {CEUR (\url{http://ceur-ws.org/})},
  TITLE = {A Description Logic Based Schema for the Classification of Medical Data},
  URL = {download/1996/HoRG96.pdf},
  VOLUME = {4},
  YEAR = 1996,
  BDSK-URL-1 = {download/1996/krdb96.ps.gz}
}
Ian Horrocks: bibliography
@TECHREPORT{Horr97,
  ANNOTE = {AKA: Horrocks97a},
  AUTHOR = {Ian Horrocks},
  DATE-MODIFIED = {2008-06-21 17:30:08 +0100},
  INSTITUTION = {University of Manchester, Department of Computer Science},
  NUMBER = {UMCS-97-2-1},
  TITLE = {Optimisation Techniques for Expressive Description Logics},
  URL = {download/1997/Horr97.pdf},
  YEAR = 1997,
  BDSK-URL-1 = {download/1997/UMCS-97-2-1.ps.gz}
}
@PHDTHESIS{Horr97b,
  ANNOTE = {AKA: Horrocks97b},
  AUTHOR = {Ian Horrocks},
  DATE-MODIFIED = {2008-06-21 18:19:52 +0100},
  SCHOOL = {University of Manchester},
  TITLE = {Optimising Tableaux Decision Procedures for Description Logics},
  URL = {download/1997/phd.pdf},
  YEAR = 1997,
  BDSK-URL-1 = {download/1997/phd-2sss.ps.gz},
  BDSK-URL-2 = {download/1997/phd.pdf}
}
@ARTICLE{RBGH*97,
  ANNOTE = {AKA: Rector96a},
  AUTHOR = {A. Rector and S. Bechhofer and C. A. Goble and I. Horrocks and W. A. Nowlan and W. D. Solomon},
  DATE-MODIFIED = {2008-06-21 17:30:31 +0100},
  JOURNAL = {Artificial Intelligence in Medicine},
  PAGES = {139--171},
  TITLE = {The {\textsc{Grail}} Concept Modelling Language for Medical Terminology},
  URL = {download/1997/RBGH97.pdf},
  VOLUME = 9,
  YEAR = 1997,
  BDSK-URL-1 = {download/1997/aim97.ps.gz}
}
@INPROCEEDINGS{Horrocks97e,
  AUTHOR = {I. Horrocks and G. Gough},
  CROSSREF = {dl97},
  DATE-MODIFIED = {2008-06-21 17:31:09 +0100},
  PAGES = {25--28},
  TITLE = {Description Logics with Transitive Roles},
  URL = {download/1997/Horrocks97e.pdf},
  YEAR = 1997,
  BDSK-URL-1 = {download/1997/dl97-final.ps.gz}
}
@INPROCEEDINGS{Rector97a,
  AUTHOR = {A. Rector and I. Horrocks},
  CROSSREF = {aaai97},
  DATE-MODIFIED = {2008-06-21 17:31:31 +0100},
  TITLE = {Experience Building a Large, Re-usable Medical Ontology using a Description Logic with Transitivity and Concept Inclusions},
  URL = {download/1997/Rector97a.pdf},
  YEAR = 1997,
  BDSK-URL-1 = {download/1997/aaai-spring-symposium.ps.gz}
}
@PROCEEDINGS{aaai97,
  BOOKTITLE = {Proceedings of the Workshop on Ontological Engineering, AAAI Spring Symposium (AAAI'97)},
  CONFERENCE-DATE = {April, 1997},
  CONFERENCE-LOCATION = {Stanford, CA},
  DATE-MODIFIED = {2007-03-07 20:44:29 +0000},
  KEY = {Proceedings of AAAI'97},
  PUBLISHER = {AAAI Press, Menlo Park, California},
  TITLE = {Proceedings of the Workshop on Ontological Engineering, AAAI Spring Symposium (AAAI'97)},
  YEAR = 1997
}
@PROCEEDINGS{dl97,
  BOOKTITLE = {Collected Papers from the International Description Logics Workshop (DL'97)},
  CONFERENCE-DATE = {September 27--29},
  CONFERENCE-LOCATION = {Gif sur Yvette (Paris), France},
  DATE-MODIFIED = {2007-03-07 20:44:29 +0000},
  EDITOR = {M.-C. Rousset and R. Brachman and F. Donini and E. Franconi and I. Horrocks and A. Levy},
  KEY = {Proceedings of DL'97},
  TITLE = {Collected Papers from the International Description Logics Workshop (DL'97)},
  YEAR = 1997
}
Ian Horrocks: bibliography
@INPROCEEDINGS{Horr98,
  ANNOTE = {AKA: Horrocks98c},
  AUTHOR = {Ian Horrocks},
  BOOKTITLE = {Proc.\ of the 6th Int.\ Conf.\ on Principles of Knowledge Representation and Reasoning (KR'98)},
  DATE-MODIFIED = {2007-03-07 20:44:28 +0000},
  PAGES = {636--647},
  TITLE = {Using an Expressive Description Logic: {FaCT} or Fiction?},
  URL = {download/1998/kr98.pdf},
  YEAR = 1998,
  BDSK-URL-1 = {download/1998/kr98.pdf}
}
@INPROCEEDINGS{Horr98b,
  ANNOTE = {AKA: Horrocks98d},
  AUTHOR = {Ian Horrocks},
  BOOKTITLE = {Proc.\ of the 2nd Int.\ Conf.\ on Analytic Tableaux and Related Methods (TABLEAUX'98)},
  DATE-MODIFIED = {2008-06-21 17:23:45 +0100},
  EDITOR = {Harrie {de Swart}},
  PAGES = {307--312},
  PUBLISHER = {Springer},
  SERIES = {Lecture Notes in Artificial Intelligence},
  TITLE = {The {FaCT} System},
  URL = {download/1998/Horr98b.pdf},
  VOLUME = 1397,
  YEAR = 1998,
  BDSK-URL-1 = {download/1998/t98-paper.ps.gz}
}
@INPROCEEDINGS{HoPa98,
  ANNOTE = {AKA: Horrocks98h},
  AUTHOR = {Ian Horrocks and Patel-Schneider, Peter F.},
  BOOKTITLE = {Proc.\ of the 1998 Description Logic Workshop (DL'98)},
  DATE-MODIFIED = {2008-06-21 17:25:35 +0100},
  PAGES = {55--57},
  SERIES = {CEUR (\url{http://ceur-ws.org/})},
  TITLE = {{DL} Systems Comparison},
  URL = {download/1998/HoPa98.pdf},
  VOLUME = {11},
  YEAR = 1998,
  BDSK-URL-1 = {download/1998/dl98-systems.ps.gz}
}
@INPROCEEDINGS{HoPa98b,
  ANNOTE = {AKA: Horrocks98b},
  AUTHOR = {Ian Horrocks and Patel-Schneider, Peter F.},
  BOOKTITLE = {Proc.\ of the 1998 Description Logic Workshop (DL'98)},
  DATE-MODIFIED = {2008-06-21 17:25:52 +0100},
  PAGES = {90--94},
  SERIES = {CEUR (\url{http://ceur-ws.org/})},
  TITLE = {Comparing Subsumption Optimizations},
  URL = {download/1998/HoPa98b.pdf},
  VOLUME = {11},
  YEAR = 1998,
  BDSK-URL-1 = {download/1998/dl98.ps.gz}
}
@INPROCEEDINGS{HoPa98d,
  ANNOTE = {AKA: Horrocks98e},
  AUTHOR = {Ian Horrocks and Patel-Schneider, Peter F.},
  BOOKTITLE = {Proc.\ of the 2nd Int.\ Conf.\ on Analytic Tableaux and Related Methods (TABLEAUX'98)},
  DATE-MODIFIED = {2008-06-21 17:26:11 +0100},
  EDITOR = {Harrie {de Swart}},
  NUMBER = {1397},
  PAGES = {27--30},
  PUBLISHER = {Springer},
  SERIES = {Lecture Notes in Artificial Intelligence},
  TITLE = {{FaCT} and {DLP}},
  URL = {download/1998/HoPa98d.pdf},
  YEAR = 1998,
  BDSK-URL-1 = {download/1998/tableaux98.ps.gz}
}
@INPROCEEDINGS{HoPa98c,
  ANNOTE = {AKA: Horrocks98a},
  AUTHOR = {I. Horrocks and P. F. Patel-Schneider},
  BOOKTITLE = {Proc.\ of the 4th Int.\ Conf.\ on Artificial Intelligence and Symbolic Computation (AISC'98)},
  DATE-MODIFIED = {2008-06-21 17:26:32 +0100},
  PAGES = {234--246},
  PUBLISHER = {SV},
  SERIES = {LNAI},
  TITLE = {Optimising Propositional Modal Satisfiability for Description Logic Subsumption},
  URL = {download/1998/HoPa98c.pdf},
  VOLUME = {1476},
  YEAR = 1998,
  BDSK-URL-1 = {download/1998/aisc98.ps.gz}
}
@TECHREPORT{Horrocks98f,
  AUTHOR = {I. Horrocks and U. Sattler},
  DATE-MODIFIED = {2008-06-21 17:27:05 +0100},
  INSTITUTION = {LuFg Theoretical Computer Science, RWTH Aachen, Germany},
  NUMBER = {98-05},
  TITLE = {A Description Logic with Transitive and Converse Roles and Role Hierarchies},
  TYPE = {LTCS-Report},
  URL = {download/1998/Horrocks98f.pdf},
  YEAR = 1998,
  BDSK-URL-1 = {ftp://www-lti.informatik.rwth-aachen.de/pub/reports/1998/HorrocksSattler-LTCS-98-05.ps.gz}
}
@INPROCEEDINGS{Horrocks98g,
  AUTHOR = {I. Horrocks and U. Sattler},
  BOOKTITLE = {Proc.\ of the 1998 Description Logic Workshop (DL'98)},
  DATE-MODIFIED = {2008-06-21 17:27:23 +0100},
  PAGES = {72--81},
  SERIES = {CEUR (\url{http://ceur-ws.org/})},
  TITLE = {A Description Logic with Transitive and Inverse Roles and Role Hierarchies},
  URL = {download/1998/Horrocks98g.pdf},
  VOLUME = {11},
  YEAR = 1998,
  BDSK-URL-1 = {download/1998/HorrocksSattlerDL98.ps.gz}
}
@TECHREPORT{Horrocks98k,
  AUTHOR = {I. Horrocks and U. Sattler and S. Tobies},
  DATE-MODIFIED = {2008-06-21 17:27:59 +0100},
  INSTITUTION = {LuFg Theoretical Computer Science, RWTH Aachen, Germany},
  NUMBER = {98-08},
  TITLE = {A {PS}\textsc{pace}-algorithm for deciding $\mathcal{ALCI}_{R^+}$-satisfiability},
  TYPE = {LTCS-Report},
  URL = {download/1998/Horrocks98k.pdf},
  YEAR = 1998,
  BDSK-URL-1 = {download/1998/HorrocksSattlerTobies-LTCS-98-08.ps.gz}
}
Ian Horrocks: bibliography
@INPROCEEDINGS{BHPT99,
  ANNOTE = {AKA: Horrocks99d},
  AUTHOR = {Sean Bechhofer and Ian Horrocks and Patel-Schneider, Peter F. and Sergio Tessaris},
  BOOKTITLE = {Proc.\ of the 1999 Description Logic Workshop (DL'99)},
  DATE-MODIFIED = {2008-06-20 21:27:56 +0100},
  PAGES = {33--36},
  SERIES = {CEUR (\url{http://ceur-ws.org/})},
  TITLE = {A Proposal for a Description Logic Interface},
  URL = {download/1999/BHPT99.pdf},
  VOLUME = {22},
  YEAR = 1999,
  BDSK-URL-1 = {download/1999/corba-fact.ps.gz}
}
@INPROCEEDINGS{BFHMP99,
  ANNOTE = {AKA: Horrocks99i},
  AUTHOR = {Alex Borgida and Enrico Franconi and Ian Horrocks and Deborah L. McGuinness and Patel-Schneider, Peter F.},
  BOOKTITLE = {Proc.\ of the 1999 Description Logic Workshop (DL'99)},
  DATE-MODIFIED = {2008-06-20 21:25:54 +0100},
  PAGES = {37--40},
  SERIES = {CEUR (\url{http://ceur-ws.org/})},
  TITLE = {Explaining {$\mathcal{ALC}$} Subsumption},
  URL = {download/1999/BFHMP99.pdf},
  VOLUME = {22},
  YEAR = 1999,
  BDSK-URL-1 = {download/1999/dl99-final.ps.gz}
}
@INPROCEEDINGS{Horr99,
  ANNOTE = {AKA: Horrocks99c},
  AUTHOR = {Ian Horrocks},
  BOOKTITLE = {Proc.\ of the 1999 Description Logic Workshop (DL'99)},
  DATE-MODIFIED = {2007-03-07 20:44:28 +0000},
  PAGES = {133--135},
  SERIES = {CEUR (\url{http://ceur-ws.org/})},
  TITLE = {{FaCT} and {iFaCT}},
  URL = {download/1999/Horr99.pdf},
  VOLUME = {22},
  YEAR = 1999,
  BDSK-URL-1 = {download/1999/Horr99.pdf}
}
@ARTICLE{HoPa99,
  ANNOTE = {AKA: Horrocks98i},
  AUTHOR = {Ian Horrocks and Patel-Schneider, Peter F.},
  DATE-MODIFIED = {2007-03-07 20:44:28 +0000},
  JOURNAL = {J.\ of Logic and Computation},
  NUMBER = 3,
  PAGES = {267--293},
  TITLE = {Optimizing Description Logic Subsumption},
  URL = {download/1999/090267.pdf},
  VOLUME = 9,
  YEAR = 1999,
  BDSK-URL-1 = {download/1999/090267.pdf}
}
@ARTICLE{HoSa99,
  ANNOTE = {AKA: Horrocks98j},
  AUTHOR = {Ian Horrocks and Ulrike Sattler},
  DATE-MODIFIED = {2007-03-07 20:44:28 +0000},
  JOURNAL = {J.\ of Logic and Computation},
  NUMBER = 3,
  PAGES = {385--410},
  TITLE = {A Description Logic with Transitive and Inverse Roles and Role Hierarchies},
  URL = {download/1999/090385.pdf},
  VOLUME = 9,
  YEAR = 1999,
  BDSK-URL-1 = {download/1999/090385.pdf}
}
@TECHREPORT{HoST99b,
  AUTHOR = {Ian Horrocks and Ulrike Sattler and Stephan Tobies},
  DATE-MODIFIED = {2007-03-07 20:44:29 +0000},
  INSTITUTION = {LuFg Theoretical Computer Science, RWTH Aachen, Germany},
  NUMBER = {99-08},
  TITLE = {A Description Logic with Transitive and Converse Roles, Role Hierarchies and Qualifying Number Restrictions},
  TYPE = {LTCS-Report},
  URL = {download/1999/HoST99b.pdf},
  YEAR = 1999,
  BDSK-URL-1 = {download/1999/HoST99b.pdf}
}
@TECHREPORT{HoTo99a,
  AUTHOR = {Ian Horrocks and Stephan Tobies},
  DATE-MODIFIED = {2007-03-07 20:44:29 +0000},
  INSTITUTION = {LuFg Theoretical Computer Science, RWTH Aachen, Germany},
  NUMBER = {99-14},
  TITLE = {Optimisation of Terminological Reasoning},
  TYPE = {LTCS-Report},
  URL = {download/1999/HoTo99a.pdf},
  YEAR = 1999,
  BDSK-URL-1 = {download/1999/HoTo99a.pdf}
}
@INPROCEEDINGS{Horrocks99b,
  AUTHOR = {P. F. Patel-Schneider and I. Horrocks},
  CROSSREF = {tableaux99},
  DATE-MODIFIED = {2008-06-20 20:12:59 +0100},
  PAGES = {19--23},
  TITLE = {{DLP} and {FaCT}},
  URL = {download/1999/Horrocks99b.pdf},
  YEAR = 1999,
  BDSK-URL-1 = {download/1999/dlp-tableaux99.ps.gz}
}
@INPROCEEDINGS{Horrocks99e,
  AUTHOR = {I. Horrocks and P. F. Patel-Schneider},
  CROSSREF = {dl99},
  DATE-MODIFIED = {2008-06-20 20:10:53 +0100},
  PAGES = {120--124},
  TITLE = {Performance of {DLP} on Random Modal Formulae},
  URL = {download/1999/Horrocks99e.pdf},
  YEAR = 1999,
  BDSK-URL-1 = {download/1999/dl99-compare.ps.gz}
}
@INPROCEEDINGS{Horrocks99g,
  AUTHOR = {I. Horrocks and P. F. Patel-Schneider},
  CROSSREF = {m4m-1},
  DATE-MODIFIED = {2008-06-20 20:02:17 +0100},
  TITLE = {Generating Hard Modal Problems for Modal Decision Procedures},
  URL = {download/1999/Horrocks99g.pdf},
  YEAR = 1999,
  BDSK-URL-1 = {download/1999/paper-m4m-final.ps.gz}
}
@INPROCEEDINGS{Horrocks99h,
  AUTHOR = {I. Horrocks and U. Sattler and S. Tobies},
  CROSSREF = {m4m-1},
  DATE-MODIFIED = {2008-06-20 20:07:43 +0100},
  TITLE = {Practical Reasoning for Description Logics with Functional Restrictions, Inverse and Transitive Roles, and Role Hierarchies},
  URL = {download/1999/Horrocks99h.pdf},
  YEAR = 1999,
  BDSK-URL-1 = {download/1999/m4m99-shif.ps.gz}
}
@INPROCEEDINGS{HoST99,
  ANNOTE = {AKA: Horrocks99j},
  AUTHOR = {I. Horrocks and U. Sattler and S. Tobies},
  BOOKTITLE = {Proc.\ of the 6th Int.\ Conf.\ on Logic for Programming and Automated Reasoning (LPAR'99)},
  DATE-MODIFIED = {2007-03-07 20:44:29 +0000},
  EDITOR = {H. Ganzinger and D. McAllester and A. Voronkov},
  ISBN = {3-540-66492-0},
  NUMBER = 1705,
  PAGES = {161--180},
  PUBLISHER = {Springer},
  SERIES = {Lecture Notes in Artificial Intelligence},
  TITLE = {Practical Reasoning for Expressive Description Logics},
  URL = {download/1999/lpar99.pdf},
  YEAR = 1999,
  BDSK-URL-1 = {download/1999/lpar99.pdf}
}
@INPROCEEDINGS{Horrocks99k,
  AUTHOR = {I. Horrocks and L. Padgham and L. Thomson},
  BOOKTITLE = {Advanced Topics in Artificial Intelligence: Proceedings of the 12th Australian Joint Conference on Artificial Intelligence (AI'99)},
  DATE-MODIFIED = {2008-06-20 19:56:06 +0100},
  ISBN = {3-540-66822-5},
  NUMBER = 1747,
  PUBLISHER = {Springer-Verlag},
  SERIES = {Lecture Notes in Artificial Intelligence},
  TITLE = {Feasibility of Optimised Disjunctive Reasoning for Approximate Matching},
  URL = {download/1999/Horrocks99k.pdf},
  YEAR = 1999,
  BDSK-URL-1 = {download/1999/AI99.ps.gz}
}
@TECHREPORT{HSTT99,
  ADDRESS = {Germany},
  ANNOTE = {AKA: HorrocksSattler+-LTCS-99-15},
  AUTHOR = {I. Horrocks and U. Sattler and S. Tessaris and S. Tobies},
  DATE-MODIFIED = {2007-09-02 09:48:46 +0100},
  INSTITUTION = {LuFG Theoretical Computer Science, RWTH Aachen},
  NUMBER = {99-15},
  TITLE = {Query Containment Using a {DLR} {ABox}},
  TYPE = {LTCS-Report},
  URL = {download/1999/HorrocksSattler+-LTCS-99-15.pdf},
  YEAR = 1999,
  BDSK-URL-1 = {download/1999/HorrocksSattler+-LTCS-99-15.pdf}
}
@PROCEEDINGS{dl99,
  BOOKTITLE = {Proceedings of the International Workshop on Description Logics (DL'99)},
  CONFERENCE-DATE = {July 30--August 1},
  CONFERENCE-LOCATION = {Link{\"o}ping, Sweden},
  DATE-MODIFIED = {2007-03-07 20:44:29 +0000},
  EDITOR = {P. Lambrix and A. Borgida and M. Lenzerini and R. M{\"o}ller and P. Patel-Schneider},
  KEY = {Proceedings of DL'99},
  TITLE = {Proceedings of the International Workshop on Description Logics (DL'99)},
  URL = {http://ceur-ws.org/Vol-22/},
  YEAR = 1999,
  BDSK-URL-1 = {http://ceur-ws.org/Vol-22/}
}
@PROCEEDINGS{m4m-1,
  BOOKTITLE = {Proceedings of the first workshop on Methods for Modalities (M4M-1)},
  CONFERENCE-DATE = {May 6--7},
  CONFERENCE-LOCATION = {University of Amsterdam},
  DATE-MODIFIED = {2007-03-07 20:44:29 +0000},
  KEY = {Proceedings of M4M1},
  MONTH = MAY,
  TITLE = {Proceedings of the first workshop on Methods for Modalities (M4M-1)},
  YEAR = {1999}
}
@PROCEEDINGS{tableaux99,
  BOOKTITLE = {Automated Reasoning with Analytic Tableaux and Related Methods: International Conference Tableaux'99},
  CONFERENCE-LOCATION = {Saratoga Springs, New York},
  DATE-MODIFIED = {2007-03-07 20:44:29 +0000},
  EDITOR = {N. V. Murray},
  ISBN = {3-540-66086-0},
  KEY = {Proceedings of Tableaux'99},
  MONTH = JUN,
  NUMBER = {1617},
  PUBLISHER = {Springer-Verlag},
  SERIES = {Lecture Notes in Artificial Intelligence},
  TITLE = {Automated Reasoning with Analytic Tableaux and Related Methods: International Conference Tableaux'99},
  YEAR = {1999}
}
Ian Horrocks: bibliography
@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
}
@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
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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/}
}
@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}
}
@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 = {2007-03-07 20:44:29 +0000},
  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},
  YEAR = 2000,
  BDSK-URL-1 = {download/2000/lpar00.pdf}
}
Ian Horrocks: bibliography
@MISC{daml-ref-w3c,
  AUTHOR = {Dan Connolly and Frank {van Harmelen} and Ian Horrocks and Deborah L. McGuinness and Peter F. Patel-Schneider and Lynn Andrea Stein},
  DATE-ADDED = {2007-07-25 11:31:02 +0100},
  DATE-MODIFIED = {2007-07-25 11:36:20 +0100},
  HOWPUBLISHED = {{W3C} {N}ote},
  INSTITUTION = {{W}orld {W}ide {W}eb {C}onsortium},
  MONTH = {18 December},
  NOTE = {Available at \url{http://www.w3.org/TR/daml+oil-reference}},
  TITLE = {{DAML+OIL} ({M}arch 2001) {R}eference {D}escription},
  URL = {http://www.w3.org/TR/daml+oil-reference},
  YEAR = 2001,
  BDSK-URL-1 = {http://www.w3.org/TR/daml+oil-reference}
}
@INPROCEEDINGS{BeGH01,
  ANNOTE = {AKA: Horrocks01g},
  AUTHOR = {Sean Bechhofer and Carole Goble and Ian Horrocks},
  BOOKTITLE = {Proc.\ of the 2001 Int.\ Semantic Web Working Symposium (SWWS~2001)},
  DATE-MODIFIED = {2007-03-07 20:44:27 +0000},
  NOTE = {Available at \url{http://www.semanticweb.org/SWWS/program/full/SWWSProceedings.pdf}},
  PAGES = {151--159},
  TITLE = {{DAML+OIL} is not Enough},
  URL = {download/2001/not-enough.pdf},
  YEAR = 2001,
  BDSK-URL-1 = {download/2001/not-enough.pdf}
}
@INPROCEEDINGS{BHGS01,
  ANNOTE = {AKA: Horrocks01o},
  AUTHOR = {Sean Bechhofer and Ian Horrocks and Carole Goble and Robert Stevens},
  BOOKTITLE = {Proc.\ of the Joint German/Austrian Conf.\ on Artificial Intelligence (KI~2001)},
  DATE-MODIFIED = {2007-03-18 14:51:45 +0000},
  NUMBER = 2174,
  PAGES = {396--408},
  PUBLISHER = {Springer},
  SERIES = {Lecture Notes in Artificial Intelligence},
  TITLE = {{OilEd}: {A} {Reason-able} Ontology Editor for the Semantic Web},
  URL = {download/2001/oiled-ki.pdf},
  YEAR = 2001,
  BDSK-URL-1 = {download/2001/oiled-ki.pdf}
}
@INPROCEEDINGS{BHGS01b,
  ANNOTE = {AKA: Horrocks01e},
  AUTHOR = {Sean Bechhofer and Ian Horrocks and Carole Goble and Robert Stevens},
  BOOKTITLE = {Proc.\ of the 2001 Description Logic Workshop (DL~2001)},
  DATE-MODIFIED = {2007-03-07 20:44:27 +0000},
  PAGES = {1--9},
  SERIES = {CEUR (\url{http://ceur-ws.org/})},
  TITLE = {{OilEd}: A {Reason-able} Ontology Editor for the Semantic Web},
  URL = {download/2001/oiled-dl.pdf},
  VOLUME = {49},
  YEAR = 2001,
  BDSK-URL-1 = {download/2001/oiled-dl.pdf}
}
@INPROCEEDINGS{HoPa01,
  ANNOTE = {AKA: Horrocks01f},
  AUTHOR = {Ian Horrocks and Patel-Schneider, Peter F.},
  BOOKTITLE = {Proc.\ of the 2001 Description Logic Workshop (DL~2001)},
  DATE-MODIFIED = {2007-03-07 20:44:28 +0000},
  PAGES = {30--35},
  SERIES = {CEUR (\url{http://ceur-ws.org/})},
  TITLE = {The Generation of {DAML+OIL}},
  URL = {download/2001/HoPa01.pdf},
  VOLUME = {49},
  YEAR = 2001,
  BDSK-URL-1 = {download/2001/HoPa01.pdf}
}
@INPROCEEDINGS{HoSa01,
  ANNOTE = {AKA: Horrocks01b},
  AUTHOR = {Ian Horrocks and Ulrike Sattler},
  BOOKTITLE = {Proc.\ of the 17th Int.\ Joint Conf.\ on Artificial Intelligence (IJCAI~2001)},
  DATE-MODIFIED = {2007-03-07 20:44:28 +0000},
  PAGES = {199--204},
  PUBLISHER = {Morgan Kaufmann, Los Altos},
  TITLE = {Ontology Reasoning in the {$\mathcal{SHOQ}$(D)} Description Logic},
  URL = {download/2001/ijcai01.pdf},
  YEAR = 2001,
  BDSK-URL-1 = {download/2001/ijcai01.pdf}
}
@TECHREPORT{HoSa01b,
  AUTHOR = {Ian Horrocks and Ulrike Sattler},
  DATE-MODIFIED = {2007-03-07 20:44:29 +0000},
  INSTITUTION = {LuFg Theoretical Computer Science, RWTH Aachen, Germany},
  NUMBER = {01-08},
  TITLE = {Optimised Reasoning for $\mathcal{SHIQ}$},
  TYPE = {LTCS-Report},
  URL = {download/2001/HoSa01b.pdf},
  YEAR = 2001,
  BDSK-URL-1 = {download/2001/HoSa01b.pdf}
}
@INPROCEEDINGS{Horrocks01a,
  AUTHOR = {J. Broekstra and M. Klein and S. Decker and D. Fensel and F. van Harmelen and I. Horrocks},
  BOOKTITLE = {Proc.\ of the Tenth International World Wide Web Conference (WWW 2001)},
  DATE-MODIFIED = {2007-03-07 20:44:29 +0000},
  ISBN = {1-58113-348-0},
  MONTH = {May},
  PAGES = {467--478},
  TITLE = {Enabling knowledge representation on the Web by Extending {RDF} Schema},
  URL = {download/2001/extending-RDF.pdf},
  YEAR = 2001,
  BDSK-URL-1 = {download/2001/extending-RDF.pdf}
}
@ARTICLE{FHHMP01,
  AUTHOR = {D. Fensel and F. van Harmelen and I. Horrocks and D. McGuinness and P. F. Patel-Schneider},
  DATE-MODIFIED = {2007-03-07 20:44:29 +0000},
  JOURNAL = {{IEEE} Intelligent Systems},
  NUMBER = 2,
  PAGES = {38--45},
  TITLE = {{OIL}: {A}n Ontology Infrastructure for the Semantic Web},
  URL = {download/2001/IEEE-IS01.pdf},
  VOLUME = 16,
  YEAR = 2001,
  BDSK-URL-1 = {download/2001/IEEE-IS01.pdf}
}
@INPROCEEDINGS{Horrocks01d,
  AUTHOR = {R. Stevens and I. Horrocks and C. Goble and S. Bechhofer},
  BOOKTITLE = {Proceedings of the IJCAI-2001 Workshop on Ontologies and Information Sharing},
  DATE-MODIFIED = {2007-03-07 20:44:29 +0000},
  PAGES = {81--90},
  SERIES = {CEUR (\url{http://ceur-ws.org/})},
  TITLE = {Building a Reason-able Bioinformatics Ontology Using {OIL}},
  URL = {download/2001/oiled-ijcai.pdf},
  VOLUME = {47},
  YEAR = 2001,
  BDSK-URL-1 = {download/2001/oiled-ijcai.pdf}
}
@INPROCEEDINGS{Horrocks01h,
  AUTHOR = {J. Pan and I. Horrocks},
  BOOKTITLE = {Proc.\ of the 2001 Int.\ Semantic Web Working Symposium (SWWS~2001)},
  DATE-MODIFIED = {2007-03-07 20:44:29 +0000},
  PAGES = {131--149},
  TITLE = {Metamodeling Architecture of Web Ontology Languages},
  URL = {download/2001/rdfsfa.pdf},
  YEAR = 2001,
  BDSK-URL-1 = {download/2001/rdfsfa.pdf}
}
@ARTICLE{Horrocks01j,
  AUTHOR = {M. Klein and D. Fensel and F. van Harmelen and I. Horrocks},
  DATE-MODIFIED = {2007-03-07 20:44:29 +0000},
  JOURNAL = {Electronic Trans.\ on Artificial Intelligence},
  NOTE = {Special Issue on the 1st International Workshop ``Semantic Web: Models, Architectures and Management''},
  TITLE = {The relation between ontologies and XML schemas},
  URL = {download/2001/etai01.pdf},
  YEAR = {2001},
  BDSK-URL-1 = {download/2001/etai01.pdf}
}
@MISC{daml-ref-daml,
  AUTHOR = {Frank {van Harmelen} and Peter F. Patel-Schneider and Ian Horrocks},
  DATE-MODIFIED = {2008-06-20 18:44:03 +0100},
  MONTH = MAR,
  NOTE = {\url{http://www.daml.org/2001/03/reference.html}},
  TITLE = {Reference Description of the {DAML+OIL} ({M}arch 2001) Ontology Markup Langauge},
  URL = {http://www.daml.org/2001/03/reference.html},
  YEAR = 2001
}
@MISC{daml-mt-daml,
  AUTHOR = {Frank {van Harmelen} and Peter F. Patel-Schneider and Ian Horrocks},
  DATE-MODIFIED = {2008-06-20 18:43:37 +0100},
  MONTH = MAR,
  NOTE = {\url{http://www.daml.org/2001/03/model-theoretic-semantics.html}},
  TITLE = {A Model-Theoretic Semantics for {DAML+OIL} ({M}arch 2001)},
  URL = {http://www.daml.org/2001/03/model-theoretic-semantics.html},
  YEAR = 2001
}
Ian Horrocks: bibliography
@INCOLLECTION{PaHo02b,
  ADDRESS = {Amsterdam (NL)},
  AUTHOR = {Jeff Pan and Ian Horrocks},
  BOOKTITLE = {The emerging semantic web},
  DATE-MODIFIED = {2008-06-20 18:40:15 +0100},
  EDITOR = {Cruz, Isabel and Decker, Stefan and Euzenat, J\'{e}r\^{o}me and McGuinness, Deborah},
  ISBN = {1-58603-255-0},
  PUBLISHER = {IOS press},
  SERIES = {Frontiers in artificial intelligence and applications},
  TITLE = {Metamodeling Architecture of Web Ontology Languages},
  URL = {download/2002/PaHo02b.pdf},
  YEAR = 2002
}
@INPROCEEDINGS{PaHo02c,
  AUTHOR = {Jeff Z. Pan and Ian Horrocks},
  BOOKTITLE = {Proc.\ of the 2002 Int.\ Conference on Ontologies, Databases and Applications of SEmantics (ODBASE 2002)},
  DATE-MODIFIED = {2007-03-07 20:44:29 +0000},
  ISBN = {3-540-00106-9},
  NUMBER = {2519},
  PAGES = {1067--1081},
  PUBLISHER = {Springer},
  SERIES = {Lecture Notes in Computer Science},
  TITLE = {{Extending Datatype Support in Web Ontology Reasoning}},
  URL = {download/2002/Pan-Horrocks-datatype-2002.pdf},
  YEAR = {2002},
  BDSK-URL-1 = {download/2002/Pan-Horrocks-datatype-2002.pdf}
}
@ARTICLE{BaHS02a,
  AUTHOR = {Franz Baader and Ian Horrocks and Ulrike Sattler},
  DATE-MODIFIED = {2007-03-07 20:44:29 +0000},
  ISSN = {09331875},
  JOURNAL = {KI -- K{\"u}nstliche Intelligenz},
  NUMBER = 4,
  PAGES = {57--59},
  TITLE = {Description Logics for the Semantic Web},
  URL = {download/2002/BaHS02a.pdf},
  VOLUME = 16,
  YEAR = 2002,
  BDSK-URL-1 = {download/2002/BaHS02a.pdf}
}
@TECHREPORT{LAHS02,
  AUTHOR = {Carsten Lutz and Carlos Areces and Ian Horrocks and Ulrike Sattler},
  DATE-MODIFIED = {2007-03-07 20:44:29 +0000},
  INSTITUTION = {Lehrstuhl f{\"u}r Automatentheorie Institut f{\"u}r Theoretische Informatik, TU Dresden},
  NUMBER = {02-04},
  TITLE = {Keys, Nominals, and Concrete Domains},
  TYPE = {LTCS-Report},
  URL = {download/2002/LAHS02.pdf},
  YEAR = 2002,
  BDSK-URL-1 = {download/2002/LAHS02.pdf}
}
@TECHREPORT{HoSa02b,
  AUTHOR = {Ian Horrocks and Ulrike Sattler},
  DATE-MODIFIED = {2007-03-07 20:44:29 +0000},
  INSTITUTION = {Lehrstuhl f{\"u}r Automatentheorie Institut f{\"u}r Theoretische Informatik, TU Dresden},
  NUMBER = {02-06},
  TITLE = {Decidability of $\mathcal{SHIQ}$ with Complex Role Inclusion Axioms},
  TYPE = {LTCS-Report},
  URL = {download/2002/HoSa02b.pdf},
  YEAR = 2002,
  BDSK-URL-1 = {download/2002/HoSa02b.pdf}
}
@ARTICLE{SGHB02a,
  AUTHOR = {Robert Stevens and Carole Goble and Ian Horrocks and Sean Bechhofer},
  DATE-MODIFIED = {2007-03-07 20:44:29 +0000},
  ISSN = {1089-7771},
  JOURNAL = {IEEE Transactions on Information Technology in Biomedicine},
  NUMBER = 2,
  PAGES = {135--141},
  TITLE = {Building a bioinformatics ontology using {OIL}},
  URL = {download/2002/oiling.pdf},
  VOLUME = 6,
  YEAR = 2002,
  BDSK-URL-1 = {download/2002/oiling.pdf}
}
@ARTICLE{SGHB02b,
  AUTHOR = {Robert Stevens and Carole Goble and Ian Horrocks and Sean Bechhofer},
  DATE-MODIFIED = {2007-03-07 20:44:29 +0000},
  ISSN = {1089-7771},
  JOURNAL = {IEEE Transactions on Information Technology in Biomedicine},
  NUMBER = 2,
  PAGES = {129--134},
  TITLE = {{OIL}ing the way to machine understandable bioinformatics resources},
  URL = {download/2002/building.pdf},
  VOLUME = 6,
  YEAR = 2002,
  BDSK-URL-1 = {download/2002/building.pdf}
}
@INPROCEEDINGS{Horr02a,
  AUTHOR = {Ian Horrocks},
  BOOKTITLE = {Proc.\ of EDBT 2002},
  DATE-MODIFIED = {2007-03-07 20:44:29 +0000},
  ISBN = {3-540-43324-4},
  MONTH = MAR,
  NUMBER = 2287,
  PAGES = {2--13},
  PUBLISHER = {Springer},
  SERIES = {Lecture Notes in Computer Science},
  TITLE = {{DAML+OIL}: a Reason-able Web Ontology Language},
  URL = {download/2002/edbt02.pdf},
  YEAR = 2002,
  BDSK-URL-1 = {download/2002/edbt02.pdf}
}
@INPROCEEDINGS{TeHG02a,
  AUTHOR = {Sergio Tessaris and Ian Horrocks and Graham Gough},
  BOOKTITLE = {Proc.\ of the 8th Int.\ Conf.\ on Principles of Knowledge Representation and Reasoning (KR~2002)},
  DATE-MODIFIED = {2007-03-07 20:44:29 +0000},
  ISBN = {1-55860-847-8},
  PAGES = {227--235},
  PUBLISHER = {Morgan Kaufmann},
  TITLE = {Evaluating a modular {Abox} algorithm},
  URL = {download/2002/kr02.pdf},
  YEAR = {2002},
  BDSK-URL-1 = {download/2002/kr02.pdf}
}
@INPROCEEDINGS{HoPH02a,
  AUTHOR = {Ian Horrocks and Peter F. Patel-Schneider and Frank van Harmelen},
  BOOKTITLE = {Proc.\ of the 18th Nat.\ Conf.\ on Artificial Intelligence (AAAI~2002)},
  DATE-MODIFIED = {2007-03-07 20:44:29 +0000},
  ISBN = {0-26251-129-0},
  PAGES = {792--797},
  PUBLISHER = {AAAI Press},
  TITLE = {Reviewing the Design of {DAML+OIL}: An Ontology Language for the Semantic Web},
  URL = {download/2002/AAAI02IHorrocks.pdf},
  YEAR = 2002,
  BDSK-URL-1 = {download/2002/AAAI02IHorrocks.pdf}
}
@ARTICLE{Horr02,
  ANNOTE = {AKA: Horr02b},
  AUTHOR = {Ian Horrocks},
  DATE-MODIFIED = {2007-03-07 20:44:29 +0000},
  JOURNAL = {Bull.\ of the IEEE Computer Society Technical Committee on Data Engineering},
  MONTH = MAR,
  NUMBER = 1,
  PAGES = {4--9},
  TITLE = {{DAML+OIL}: a Description Logic for the Semantic Web},
  URL = {download/2002/ieeede2002.pdf},
  VOLUME = 25,
  YEAR = 2002,
  BDSK-URL-1 = {download/2002/ieeede2002.pdf}
}
@INPROCEEDINGS{Horr02c,
  AUTHOR = {Ian Horrocks},
  BOOKTITLE = {Proc.\ of the 2002 Description Logic Workshop (DL~2002)},
  DATE-MODIFIED = {2007-03-07 20:44:29 +0000},
  PAGES = {99--106},
  SERIES = {CEUR},
  TITLE = {Backtracking and Qualified Number Restrictions: Some Preliminary Results},
  URL = {download/2002/dl02-backtracking.pdf},
  VOLUME = 63,
  YEAR = 2002,
  BDSK-URL-1 = {download/2002/dl02-backtracking.pdf}
}
@INPROCEEDINGS{PaHo02a,
  AUTHOR = {Jeff Z.~Pan and Ian Horrocks},
  BOOKTITLE = {Proc.\ of the 2002 Description Logic Workshop (DL~2002)},
  DATE-MODIFIED = {2007-03-07 20:44:29 +0000},
  PAGES = {53--62},
  SERIES = {CEUR (\url{http://ceur-ws.org/})},
  TITLE = {Semantic Web Ontology Reasoning in the $\mathcal{SHOQ({\bf D_n})}$ Description Logic},
  URL = {download/2002/dl02-shoqdn.pdf},
  VOLUME = 63,
  YEAR = 2002,
  BDSK-URL-1 = {download/2002/dl02-shoqdn.pdf}
}
@ARTICLE{Horr02d,
  AUTHOR = {Ian Horrocks},
  DATE-MODIFIED = {2007-03-07 20:44:29 +0000},
  ISSN = {1094-7167},
  JOURNAL = {{IEEE} Intelligent Systems},
  NOTE = {Trends and Controversies},
  NUMBER = 2,
  PAGES = {74--75},
  TITLE = {An Ontology Language for the Semantic Web},
  URL = {http://www.computer.org/intelligent/},
  VOLUME = 17,
  YEAR = 2002,
  BDSK-URL-1 = {http://www.computer.org/intelligent/}
}
@INPROCEEDINGS{HoTe02a,
  AUTHOR = {Ian~Horrocks and Sergio~Tessaris},
  BOOKTITLE = {Proc.\ of the 1st International Semantic Web Conference (ISWC 2002)},
  DATE-MODIFIED = {2007-11-30 10:57:01 +0000},
  EDITOR = {Ian Horrocks and James Hendler},
  ISBN = {3-540-43760-6},
  PAGES = {177--191},
  PUBLISHER = {Springer-Verlag},
  SERIES = {Lecture Notes in Computer Science},
  TITLE = {Querying the Semantic Web: a Formal Approach},
  URL = {download/2002/iswc2002.pdf},
  VOLUME = {2342},
  YEAR = 2002,
  BDSK-URL-1 = {download/2002/iswc2002.pdf}
}
@INPROCEEDINGS{HoSa02a,
  AUTHOR = {Ian Horrocks and Ulrike Sattler},
  BOOKTITLE = {Proc.\ of the 15th Eur.\ Conf.\ on Artificial Intelligence (ECAI~2002)},
  DATE-MODIFIED = {2007-03-07 20:44:29 +0000},
  ISBN = {1-58603-257-7},
  MONTH = JUL,
  PAGES = {277--281},
  TITLE = {Optimised Reasoning for $\mathcal{SHIQ}$},
  URL = {download/2002/HorrocksSattlerECAI2002.pdf},
  YEAR = 2002,
  BDSK-URL-1 = {download/2002/HorrocksSattlerECAI2002.pdf}
}
@INPROCEEDINGS{TeHo02a,
  AUTHOR = {Sergio Tessaris and Ian Horrocks},
  BOOKTITLE = {Proc.\ of the 9th Int.\ Conf.\ on Logic for Programming, Artificial Intelligence and Reasoning (LPAR~2002)},
  DATE-MODIFIED = {2007-03-07 20:44:29 +0000},
  ISBN = {3-540-00010-0},
  NUMBER = 2514,
  PAGES = {435--449},
  PUBLISHER = {Springer},
  SERIES = {Lecture Notes in Artificial Intelligence},
  TITLE = {Abox Satisfiability Reduced to Terminological Reasoning in Expressive Description Logics},
  URL = {download/2002/lpar02.pdf},
  YEAR = {2002},
  BDSK-URL-1 = {download/2002/lpar02.pdf}
}
@INPROCEEDINGS{Horr02e,
  AUTHOR = {Ian Horrocks},
  BOOKTITLE = {Proc.\ of the 19th Int.\ Conf.\ on Automated Deduction (CADE~2002)},
  DATE-MODIFIED = {2007-03-07 20:44:29 +0000},
  EDITOR = {Andrei Voronkov},
  ISBN = {3-540-43931-5},
  NUMBER = 2392,
  PAGES = {1--15},
  PUBLISHER = {Springer},
  SERIES = {Lecture Notes in Artificial Intelligence},
  TITLE = {Reasoning with Expressive Description Logics: Theory and Practice},
  URL = {download/2002/cade02.pdf},
  YEAR = 2002,
  BDSK-URL-1 = {download/2002/cade02.pdf}
}
@ARTICLE{Horrocks01m,
  AUTHOR = {B. Bennett and C. Dixon and M. Fisher and U. Hustadt and E. Franconi and I. Horrocks and M. de Rijke},
  DATE-MODIFIED = {2008-06-20 18:31:01 +0100},
  ISSN = {0269-2821},
  JOURNAL = {AI Review},
  MONTH = MAR,
  NUMBER = 1,
  PAGES = {1--20},
  TITLE = {Combinations of Modal Logics},
  URL = {download/2002/Horrocks01m.pdf},
  VOLUME = 17,
  YEAR = 2002,
  BDSK-URL-1 = {download/2002/ai-review-final.ps}
}
@ARTICLE{Horrocks01n,
  AUTHOR = {J. Broekstra and M. Klein and S. Decker and D. Fensel and F. van Harmelen and I. Horrocks},
  DATE-MODIFIED = {2007-07-25 11:55:07 +0100},
  JOURNAL = {Computer Networks},
  NUMBER = 5,
  PAGES = {609--634},
  TITLE = {Enabling knowledge representation on the Web by Extending {RDF} Schema},
  URL = {download/2002/Horrocks01n.pdf},
  VOLUME = 39,
  YEAR = 2002,
  BDSK-URL-1 = {download/2002/Horrocks01n.pdf}
}
@ARTICLE{HoPa02,
  ANNOTE = {AKA: Horrocks99f},
  AUTHOR = {I. Horrocks and P. F. Patel-Schneider},
  DATE-MODIFIED = {2008-06-20 19:15:50 +0100},
  ISBN = {1586030612},
  ISSN = {0168-7433},
  JOURNAL = {J.\ of Automated Reasoning},
  MONTH = FEB,
  NUMBER = 2,
  PAGES = {173--204},
  PUBLISHER = {Springer},
  TITLE = {Evaluating Optimised Decision Procedures for Propositional Modal $\mathbf{K}_{(\mathbf{m})}$ Satisfiability},
  URL = {download/2002/HoPaJAR.pdf},
  VOLUME = 28,
  YEAR = 2002
}
Ian Horrocks: bibliography
@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}
}
@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}
}
Ian Horrocks: bibliography
@INPROCEEDINGS{HoPa04a,
  AUTHOR = {Ian Horrocks and Peter F.\ Patel-Schneider},
  BOOKTITLE = {Proc.\ of the Thirteenth International World Wide Web Conference (WWW 2004)},
  DATE-MODIFIED = {2007-03-07 20:44:29 +0000},
  ISBN = {1-58113-844-X},
  PAGES = {723--731},
  PUBLISHER = {ACM},
  TITLE = {A Proposal for an {OWL} Rules Language},
  URL = {download/2004/HoPa04a.pdf},
  YEAR = 2004,
  BDSK-URL-1 = {download/2004/HoPa04a.pdf}
}
@ARTICLE{HoSa04a,
  AUTHOR = {Ian Horrocks and Ulrike Sattler},
  DATE-MODIFIED = {2007-06-11 18:45:06 +0100},
  ISSN = {09401121},
  JOURNAL = {Artificial Intelligence},
  MONTH = DEC,
  NUMBER = {1--2},
  PAGES = {79--104},
  PUBLISHER = {Elsevier},
  TITLE = {Decidability of $\mathcal{SHIQ}$ with Complex Role Inclusion Axioms},
  URL = {download/2004/HoSa04a.pdf},
  VOLUME = 160,
  YEAR = 2004,
  BDSK-URL-1 = {download/2004/HoSa04a.pdf}
}
@INPROCEEDINGS{HLTB04a,
  AUTHOR = {Ian Horrocks and Lei Li and Daniele Turi and Sean Bechhofer},
  BOOKTITLE = {Proc.\ of the 2004 Description Logic Workshop (DL~2004)},
  DATE-MODIFIED = {2007-03-07 20:44:29 +0000},
  PAGES = {31--40},
  TITLE = {The Instance Store: {DL} Reasoning with Large Numbers of Individuals},
  URL = {download/2004/HLTB04a.pdf},
  YEAR = 2004,
  BDSK-URL-1 = {download/2004/HLTB04a.pdf}
}
@INPROCEEDINGS{TsHo04a,
  AUTHOR = {Dmitry Tsarkov and Ian Horrocks},
  BOOKTITLE = {Proc.\ of the 2004 Description Logic Workshop (DL~2004)},
  DATE-MODIFIED = {2007-03-07 20:44:29 +0000},
  PAGES = {41--50},
  TITLE = {Efficient Reasoning with Range and Domain Constraints},
  URL = {download/2004/TsHo04a.pdf},
  YEAR = 2004,
  BDSK-URL-1 = {download/2004/TsHo04a.pdf}
}
@INCOLLECTION{BaHS04a,
  AUTHOR = {Franz Baader and Ian Horrocks and Ulrike Sattler},
  BOOKTITLE = {Handbook on Ontologies},
  DATE-MODIFIED = {2007-07-26 16:08:40 +0100},
  EDITOR = {Steffen Staab and Rudi Studer},
  ISBN = {3-540-40834-7},
  PAGES = {3--28},
  PUBLISHER = {Springer},
  SERIES = {International Handbooks on Information Systems},
  TITLE = {Description Logics},
  URL = {download/2004/BaHS04a.pdf},
  YEAR = 2004,
  BDSK-URL-1 = {download/2004/BaHS04a.pdf}
}
@INPROCEEDINGS{TRBH04a,
  AUTHOR = {Dmitry Tsarkov and Alexandre Riazanov and Sean Bechhofer and Ian Horrocks},
  BOOKTITLE = {Proc.\ of the 3rd International Semantic Web Conference (ISWC 2004)},
  DATE-MODIFIED = {2007-11-30 11:08:36 +0000},
  EDITOR = {Sheila A.\ McIlraith and Dimitris Plexousakis and Frank van Harmelen},
  ISBN = {3-540-23798-4},
  PAGES = {471--485},
  PUBLISHER = {Springer},
  SERIES = {Lecture Notes in Computer Science},
  TITLE = {Using {Vampire} to Reason with {OWL}},
  URL = {download/2004/TRBH04a.pdf},
  VOLUME = {3298},
  YEAR = 2004,
  BDSK-URL-1 = {download/2004/TRBH04a.pdf}
}
@ARTICLE{LiHo04a,
  AUTHOR = {Lei Li and Ian Horrocks},
  DATE-MODIFIED = {2008-06-20 14:32:33 +0100},
  ISSN = {1086-4415},
  JOURNAL = {Int.\ J.\ of Electronic Commerce},
  NUMBER = 4,
  PAGES = {39--60},
  TITLE = {A Software Framework for Matchmaking Based on Semantic Web Technology},
  URL = {download/2004/LiHo04a.pdf},
  VOLUME = 8,
  YEAR = 2004,
  BDSK-URL-1 = {http://www.gvsu.edu/business/ijec/}
}
@ARTICLE{FiHH04a,
  AUTHOR = {Richard Fikes and Patrick Hayes and Ian Horrocks},
  DATE-MODIFIED = {2007-03-07 20:44:29 +0000},
  ISSN = {1570-8268},
  JOURNAL = {J.\ of Web Semantics},
  NUMBER = 1,
  PAGES = {19--29},
  TITLE = {{OWL-QL}---a language for deductive query answering on the {S}emantic {W}eb},
  URL = {download/2004/FiHH04a.pdf},
  VOLUME = 2,
  YEAR = 2004,
  BDSK-URL-1 = {download/2004/FiHH04a.pdf}
}
@ARTICLE{HoPa04b,
  AUTHOR = {Ian Horrocks and Peter Patel-Schneider},
  DATE-MODIFIED = {2007-06-11 18:43:26 +0100},
  ISSN = {1570-8268},
  JOURNAL = {J.\ of Web Semantics},
  NUMBER = 4,
  PAGES = {345--357},
  PUBLISHER = {Elsevier},
  TITLE = {Reducing {OWL} entailment to description logic satisfiability},
  URL = {download/2004/HoPa04b.pdf},
  VOLUME = 1,
  YEAR = 2004,
  BDSK-URL-1 = {download/2004/HoPa04b.pdf}
}
@ARTICLE{LAHS04a,
  AUTHOR = {Carsten Lutz and Carlos Areces and Ian Horrocks and Ulrike Sattler},
  DATE-MODIFIED = {2007-03-07 20:44:29 +0000},
  JOURNAL = {J.\ of Artificial Intelligence Research},
  PAGES = {667--726},
  TITLE = {Keys, Nominals, and Concrete Domains},
  URL = {download/2004/LAHS04a.pdf},
  VOLUME = 23,
  YEAR = 2004,
  BDSK-URL-1 = {download/2004/LAHS04a.pdf}
}
@MISC{owl-ref-w3c,
  AUTHOR = {Sean Bechhofer and van Harmelen, Frank and Jim Hendler and Ian Horrocks and Deborah L. McGuinness and Peter F.\ Patel-Schneider and Lynn Andrea Stein},
  DATE-MODIFIED = {2008-06-20 14:01:41 +0100},
  HOWPUBLISHED = {{W3C} {R}ecommendation},
  INSTITUTION = {World Wide Web Consortium},
  MONTH = {10 February},
  NOTE = {Available at \url{http://www.w3.org/TR/owl-ref/}},
  TITLE = {{OWL} {W}eb {O}ntology {L}anguage Reference},
  URL = {http://www.w3.org/TR/owl-ref/},
  YEAR = 2004
}
@MISC{owl-sas-w3c,
  AUTHOR = {Peter F. Patel-Schneider and Patrick Hayes and Ian Horrocks},
  DATE-MODIFIED = {2008-06-20 14:00:41 +0100},
  HOWPUBLISHED = {{W3C} {R}ecommendation},
  INSTITUTION = {World Wide Web Consortium},
  MONTH = {10 February},
  NOTE = {Available at \url{http://www.w3.org/TR/owl-semantics/}},
  TITLE = {{OWL} {W}eb {O}ntology {L}anguage Semantics and Abstract Syntax},
  URL = {http://www.w3.org/TR/owl-semantics/},
  YEAR = 2004
}
@MISC{swrl-w3c,
  AUTHOR = {Ian Horrocks and Patel-Schneider, Peter F. and Harold Boley and Said Tabet and Benjamin Grosof and Mike Dean},
  DATE-MODIFIED = {2008-06-20 13:54:56 +0100},
  HOWPUBLISHED = {{W3C} {M}ember {S}ubmission},
  INSTITUTION = {World Wide Web Consortium},
  MONTH = {21 May},
  NOTE = {Available at \url{http://www.w3.org/Submission/SWRL/}},
  TITLE = {{SWRL}: A Semantic Web Rule Language Combining OWL and RuleML},
  URL = {http://www.w3.org/Submission/SWRL/},
  YEAR = 2004
}
Ian Horrocks: bibliography
@INPROCEEDINGS{PaHo05b,
  AUTHOR = {Jeff Z.~Pan and Ian Horrocks},
  BOOKTITLE = {Proc.\ of the First OWL Experiences and Directions Workshop},
  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 First OWL Experiences and Directions Workshop},
  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}
}
@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 = {2007-03-07 20:44:29 +0000},
  EDITOR = {Francois Fages and Sylvain Soliman},
  NUMBER = {3703},
  PAGES = {37--41},
  PUBLISHER = {Springer},
  SERIES = {LNCS},
  TITLE = {Semantic Web Architecture: Stack or Two Towers?},
  URL = {download/2005/HPPH05.pdf},
  YEAR = {2005},
  BDSK-URL-1 = {download/2005/HPPH05.pdf}
}
@INPROCEEDINGS{HoKS05a,
  AUTHOR = {Ian Horrocks and Oliver Kutz and Ulrike Sattler},
  BOOKTITLE = {Proc.\ of the First OWL Experiences and Directions Workshop},
  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}
}
Ian Horrocks: bibliography
@ARTICLE{PSSTH06,
  AUTHOR = {Jeff Z. Pan and Giorgos Stoilos and Giorgos B. Stamou and Vassilis Tzouvaras and Ian Horrocks},
  DATE-ADDED = {2007-01-31 10:10:48 +0000},
  DATE-MODIFIED = {2007-03-07 20:44:26 +0000},
  JOURNAL = {J.\ on Data Semantics},
  PAGES = {28--46},
  PUBLISHER = {SV},
  TITLE = {{f-SWRL}: A Fuzzy Extension of {SWRL}},
  URL = {download/2006/PSSTH06.pdf},
  VOLUME = {VI},
  YEAR = {2006},
  BDSK-URL-1 = {download/2006/PSSTH06.pdf}
}
@INCOLLECTION{HHSS06,
  AUTHOR = {Ian Horrocks and Ullrich Hustadt and Ulrike Sattler and Renate Schmidt},
  BOOKTITLE = {Handbook of Modal Logic},
  CHAPTER = {4},
  DATE-ADDED = {2006-11-22 21:49:24 +0000},
  DATE-MODIFIED = {2007-03-07 20:44:26 +0000},
  EDITOR = {Patrick Blackburn and Johan {van Benthem} and Frank Wolter},
  PAGES = {181--245},
  PUBLISHER = {Elsevier},
  TITLE = {Computational modal logic},
  URL = {download/2006/HHSS06.pdf},
  YEAR = {2006},
  BDSK-URL-1 = {download/2006/HHSS06.pdf}
}
@INPROCEEDINGS{CHPP+06,
  AUTHOR = {Bernardo {Cuenca Grau} and Ian Horrocks and Bijan Parsia and Peter Patel-Schneider and Ulrike Sattler},
  BOOKTITLE = {Proc.\ of the Second OWL Experiences and Directions Workshop},
  DATE-ADDED = {2006-11-15 09:21:40 +0000},
  DATE-MODIFIED = {2007-03-07 20:44:26 +0000},
  SERIES = {CEUR (\url{http://ceur-ws.org/})},
  TITLE = {Next Steps for {OWL}},
  URL = {download/2006/CHPP+06.pdf},
  VOLUME = {216},
  YEAR = {2006},
  BDSK-URL-1 = {download/2006/CHPP+06.pdf}
}
@INPROCEEDINGS{MoHo06,
  AUTHOR = {Boris Motik and Ian Horrocks},
  BOOKTITLE = {Proc.\ of the Second OWL Experiences and Directions Workshop},
  DATE-ADDED = {2006-11-15 09:16:01 +0000},
  DATE-MODIFIED = {2007-03-07 20:44:26 +0000},
  SERIES = {CEUR (\url{http://ceur-ws.org/})},
  TITLE = {Problems with {OWL} Syntax},
  URL = {download/2006/MoHo06.pdf},
  VOLUME = {216},
  YEAR = {2006},
  BDSK-URL-1 = {download/2006/MoHo06.pdf}
}
@INPROCEEDINGS{GaTH06b,
  AUTHOR = {Tom Gardiner and Dmitry Tsarkov and Ian Horrocks},
  BOOKTITLE = {Proc.\ of the 5th International Semantic Web Conference (ISWC 2006)},
  DATE-ADDED = {2006-09-12 20:39:38 +0100},
  DATE-MODIFIED = {2007-03-07 20:44:26 +0000},
  PAGES = {654--667},
  PUBLISHER = {Springer},
  SERIES = {Lecture Notes in Computer Science},
  TITLE = {Framework For an Automated Comparison of Description Logic Reasoners},
  URL = {download/2006/GaTH06b.pdf},
  VOLUME = {4273},
  YEAR = 2006,
  BDSK-URL-1 = {download/2006/GaTH06b.pdf}
}
@INPROCEEDINGS{MHRS06,
  AUTHOR = {Boris Motik and Ian Horrocks and Riccardo Rosati and Ulrike Sattler},
  BOOKTITLE = {Proc.\ of the 5th International Semantic Web Conference (ISWC 2006)},
  DATE-ADDED = {2006-09-12 18:58:56 +0100},
  DATE-MODIFIED = {2007-03-07 20:44:26 +0000},
  PAGES = {501--514},
  PUBLISHER = {Springer},
  SERIES = {Lecture Notes in Computer Science},
  TITLE = {Can {OWL} and Logic Programming Live Together Happily Ever After?},
  URL = {download/2006/MHRS06.pdf},
  VOLUME = {4273},
  YEAR = 2006,
  BDSK-URL-1 = {download/2006/MHRS06.pdf}
}
@ARTICLE{PaHo06b,
  AUTHOR = {Jeff Pan and Ian Horrocks},
  DATE-ADDED = {2006-09-12 18:44:17 +0100},
  DATE-MODIFIED = {2007-08-09 16:31:05 +0100},
  ISSN = {1570-8268},
  JOURNAL = {J.\ of Web Semantics},
  NUMBER = 1,
  PAGES = {29--39},
  PUBLISHER = {Elsevier},
  TITLE = {{OWL-Eu}: Adding Customised Datatypes into {OWL}},
  URL = {download/2006/PaHo06b.pdf},
  VOLUME = 4,
  YEAR = 2006,
  BDSK-URL-1 = {download/2006/PaHo06b.pdf}
}
@INPROCEEDINGS{GlHS06a,
  AUTHOR = {Birte Glimm and Ian Horrocks and Ulrike Sattler},
  BOOKTITLE = {Proc.\ of the 2006 Description Logic Workshop (DL~2006)},
  DATE-ADDED = {2006-07-15 10:32:11 +0100},
  DATE-MODIFIED = {2007-03-07 20:44:26 +0000},
  SERIES = {CEUR (\url{http://ceur-ws.org/})},
  TITLE = {Conjunctive Query Answering for Description Logics with Transitive Roles},
  URL = {download/2006/GlHS06a.pdf},
  VOLUME = {189},
  YEAR = {2006},
  BDSK-URL-1 = {download/2006/GlHS06a.pdf}
}
@TECHREPORT{GHLS06a,
  AUTHOR = {Birte Glimm and Ian Horrocks and Carsten Lutz and Ulrike Sattler},
  DATE-ADDED = {2006-07-03 19:00:50 +0100},
  DATE-MODIFIED = {2007-03-07 20:44:26 +0000},
  INSTITUTION = {University of Manchester},
  TITLE = {Conjunctive Query Answering for $\mathcal{SHIQ}$},
  URL = {download/2006/GHLS06a.pdf},
  YEAR = {2006},
  BDSK-URL-1 = {download/2006/GHLS06a.pdf}
}
@INPROCEEDINGS{CHKS06,
  AUTHOR = {Bernardo {Cuenca Grau} and Ian Horrocks and Oliver Kutz and Ulrike Sattler},
  BOOKTITLE = {Proc.\ of the 2006 Description Logic Workshop (DL~2006)},
  DATE-ADDED = {2006-06-17 14:43:06 +0100},
  DATE-MODIFIED = {2007-03-07 20:44:26 +0000},
  SERIES = {CEUR (\url{http://ceur-ws.org/})},
  TITLE = {Will my Ontologies Fit Together?},
  URL = {download/2006/CHKS06.pdf},
  VOLUME = {189},
  YEAR = {2006},
  BDSK-URL-1 = {download/2006/CHKS06.pdf}
}
@INPROCEEDINGS{GaHT06a,
  AUTHOR = {Tom Gardiner and Ian Horrocks and Dmitry Tsarkov},
  BOOKTITLE = {Proc.\ of the 2006 Description Logic Workshop (DL~2006)},
  DATE-ADDED = {2006-06-17 14:37:57 +0100},
  DATE-MODIFIED = {2007-03-07 20:44:26 +0000},
  SERIES = {CEUR (\url{http://ceur-ws.org/})},
  TITLE = {Automated Benchmarking of Description Logic Reasoners},
  URL = {download/2006/GaHT06a.pdf},
  VOLUME = {189},
  YEAR = {2006},
  BDSK-URL-1 = {download/2006/GaHT06a.pdf}
}
@TECHREPORT{GlHS06b,
  AUTHOR = {Birte Glimm and Ian Horrocks and Ulrike Sattler},
  DATE-ADDED = {2006-06-17 14:31:23 +0100},
  DATE-MODIFIED = {2007-03-07 20:44:26 +0000},
  INSTITUTION = {University of Manchester, School of Computer Science},
  TITLE = {Conjunctive Query Answering for the Description Logic $\mathcal{SHOIQ}$},
  URL = {download/2006/GlHS06b.pdf},
  YEAR = {2006},
  BDSK-URL-1 = {download/2006/GlHS06b.pdf}
}
@MISC{OWL11-overview,
  AUTHOR = {Peter Patel-Schneider and Ian Horrocks},
  DATE-MODIFIED = {2007-07-24 21:49:24 +0100},
  HOWPUBLISHED = {{W3C} {M}ember {S}ubmission},
  INSTITUTION = {{W}orld {W}ide {W}eb {C}onsortium},
  KEY = {OWL11},
  MONTH = {19 December},
  NOTE = {Available at \url{http://www.w3.org/Submission/owl11-overview/}},
  TITLE = {{OWL} 1.1 {W}eb {O}ntology {L}anguage Overview},
  URL = {http://www.webont.org/owl/1.1/},
  YEAR = 2006,
  BDSK-URL-1 = {http://www.webont.org/owl/1.1/}
}
@INPROCEEDINGS{HoVo06a,
  AUTHOR = {Ian Horrocks and Andrei Voronkov},
  BOOKTITLE = {Proceedings of the Fourth International Symposium on Foundations of Information and Knowledge Systems (FoIKS)},
  DATE-MODIFIED = {2007-03-07 20:44:29 +0000},
  ISBN = {3-540-31782-1},
  NUMBER = {3861},
  PAGES = {201--218},
  PUBLISHER = {Springer},
  SERIES = {Lecture Notes in Computer Science},
  TITLE = {Reasoning Support for Expressive Ontology Languages Using a Theorem Prover},
  URL = {download/2006/HoVo06a.pdf},
  YEAR = 2006,
  BDSK-URL-1 = {download/2006/HoVo06a.pdf}
}
@INPROCEEDINGS{HoKS06a,
  AUTHOR = {Ian Horrocks and Oliver Kutz and Ulrike Sattler},
  BOOKTITLE = {Proc.\ of the 10th Int.\ Conf.\ on Principles of Knowledge Representation and Reasoning (KR~2006)},
  DATE-MODIFIED = {2007-03-07 20:44:29 +0000},
  ISBN = {978-1-57735-271-6},
  PAGES = {57--67},
  PUBLISHER = {AAAI Press},
  TITLE = {The Even More Irresistible $\mathcal{SROIQ}$},
  URL = {download/2006/HoKS06a.pdf},
  YEAR = 2006,
  BDSK-URL-1 = {download/2006/HoKS06a.pdf}
}
@INPROCEEDINGS{PaHo06a,
  AUTHOR = {Peter F.\ Patel-Schneider and Ian Horrocks},
  BOOKTITLE = {Proc.\ of the Fifteenth International World Wide Web Conference (WWW 2006)},
  DATE-MODIFIED = {2007-03-07 20:44:29 +0000},
  ISBN = {1-59593-323-9},
  PAGES = {3--12},
  PUBLISHER = {ACM},
  TITLE = {A Comparison of Two Modelling Paradigms in the Semantic Web},
  URL = {download/2006/PaHo06a.pdf},
  YEAR = 2006,
  BDSK-URL-1 = {download/2006/PaHo06a.pdf}
}
@INPROCEEDINGS{HZBH+06,
  AUTHOR = {Duncan Hull and Evgeny Zolin and Andrey Bovykin and Ian Horrocks and Ulrike Sattler and Robert Stevens},
  BOOKTITLE = {Proc.\ of the 21st Nat.\ Conf.\ on Artificial Intelligence (AAAI-06)},
  DATE-MODIFIED = {2007-03-07 20:44:29 +0000},
  ISBN = {978-1-57735-281-5},
  PAGES = {1319--1324},
  TITLE = {Deciding semantic matching of stateless services},
  URL = {download/2006/HZBH+06.pdf},
  YEAR = 2006,
  BDSK-URL-1 = {download/2006/HZBH+06.pdf}
}
@INPROCEEDINGS{TsHo06a,
  AUTHOR = {Dmitry Tsarkov and Ian Horrocks},
  BOOKTITLE = {Proc.\ of the Int.\ Joint Conf.\ on Automated Reasoning (IJCAR~2006)},
  DATE-MODIFIED = {2007-03-07 20:44:29 +0000},
  PAGES = {292--297},
  PUBLISHER = {Springer},
  SERIES = {Lecture Notes in Artificial Intelligence},
  TITLE = {{FaCT}++ Description Logic Reasoner: System Description},
  URL = {download/2006/TsHo06a.pdf},
  VOLUME = {4130},
  YEAR = 2006,
  BDSK-URL-1 = {download/2006/TsHo06a.pdf}
}
Ian Horrocks: bibliography
@INCOLLECTION{HPMW07,
  AUTHOR = {Ian Horrocks and Peter F.~Patel-Schneider and Deborah L.~McGuinness and Christopher A.~Welty},
  BOOKTITLE = {The Description Logic Handbook: Theory, Implementation, and Applications (2nd Edition)},
  CHAPTER = {14},
  DATE-ADDED = {2007-12-21 12:12:20 +0000},
  DATE-MODIFIED = {2007-12-21 12:20:58 +0000},
  EDITOR = {Franz Baader and Diego Calvanese and Deborah McGuinness and Daniele Nardi and Peter F.~Patel-Schneider},
  PUBLISHER = {Cambridge University Press},
  TITLE = {{OWL: a Description Logic Based Ontology Language for the Semantic Web}},
  URL = {download/2003/HPMW07.pdf},
  YEAR = 2007,
  BDSK-URL-1 = {download/2003/HPMW07.pdf}
}
@ARTICLE{PaHo07b,
  AUTHOR = {Peter F.\ Patel-Schneider and Ian Horrocks},
  DATE-ADDED = {2007-09-11 17:04:17 +0100},
  DATE-MODIFIED = {2007-11-30 11:21:38 +0000},
  DOI = {10.1016/j.websem.2007.09.004},
  JOURNAL = {J.\ of Web Semantics},
  TITLE = {A Comparison of Two Modelling Paradigms in the Semantic Web},
  URL = {download/2007/PaHo07b.pdf},
  YEAR = 2007,
  BDSK-URL-1 = {download/2007/PaHo07b.pdf}
}
@ARTICLE{SSPTH07,
  AUTHOR = {Giorgos Stoilos and Giorgos Stamou and Jeff Z.~Pan and Vassilis Tzouvaras and Ian Horrocks},
  DATE-ADDED = {2007-08-06 19:58:29 +0100},
  DATE-MODIFIED = {2007-10-19 11:20:00 +0100},
  JOURNAL = {J.\ of Artificial Intelligence Research},
  PAGES = {273--320},
  TITLE = {Reasoning with Very Expressive Fuzzy Description Logics},
  URL = {download/2007/SSPTH07.pdf},
  VOLUME = {30},
  YEAR = {2007},
  BDSK-URL-1 = {download/2007/SSPTH07.pdf}
}
@INCOLLECTION{BaHS07a,
  AUTHOR = {Franz Baader and Ian Horrocks and Ulrike Sattler},
  BOOKTITLE = {Handbook of Knowledge Representation},
  DATE-ADDED = {2007-07-25 18:14:15 +0100},
  DATE-MODIFIED = {2008-04-27 11:29:54 +0100},
  EDITOR = {Frank {van Harmelen} and Vladimir Lifschitz and Bruce Porter},
  PUBLISHER = {Elsevier},
  TITLE = {{D}escription {L}ogics},
  URL = {download/2007/BaHS07a.pdf},
  YEAR = {2007},
  BDSK-URL-1 = {download/2007/BaHS07a.pdf}
}
@INPROCEEDINGS{GHHMS07,
  AUTHOR = {Christine Golbreic and Matthew Horridge and Ian Horrocks and Boris Motik and Rob Shearer},
  BOOKTITLE = {Proc.\ of the 6th International Semantic Web Conference (ISWC 2007)},
  DATE-ADDED = {2007-07-25 17:37:45 +0100},
  DATE-MODIFIED = {2007-11-30 11:10:19 +0000},
  ISBN = {978-3-540-76297-3},
  PAGES = {169--182},
  PUBLISHER = {Springer},
  SERIES = {Lecture Notes in Computer Science},
  TITLE = {{OBO} and {OWL}: Leveraging Semantic Web Technologies for the Life Sciences},
  URL = {download/2007/GHHMS07.pdf},
  VOLUME = {4825},
  YEAR = {2007},
  BDSK-URL-1 = {download/2007/GHHMS07.pdf}
}
@INPROCEEDINGS{MoSH07b,
  AUTHOR = {Boris Motik and Rob Shearer and Ian Horrocks},
  BOOKTITLE = {Proc.\ of the 2007 Description Logic Workshop (DL~2007)},
  DATE-ADDED = {2007-07-25 17:10:07 +0100},
  DATE-MODIFIED = {2007-07-25 17:11:18 +0100},
  SERIES = {CEUR (\url{http://ceur-ws.org/})},
  TITLE = {A Hypertableau Calculus for $\mathcal{SHIQ}$},
  URL = {download/2007/MoSH07b.pdf},
  VOLUME = {250},
  YEAR = {2007},
  BDSK-URL-1 = {download/2007/MoSH07b.pdf}
}
@INPROCEEDINGS{CHKS07b,
  AUTHOR = {Bernardo {Cuenca Grau} and Ian Horrocks and Yevgeny Kazakov and Ulrike Sattler},
  BOOKTITLE = {Proc.\ of the 2007 Description Logic Workshop (DL~2007)},
  DATE-ADDED = {2007-07-25 17:02:25 +0100},
  DATE-MODIFIED = {2007-07-25 17:12:10 +0100},
  SERIES = {CEUR (\url{http://ceur-ws.org/})},
  TITLE = {Ontology Reuse: Better Safe than Sorry},
  URL = {download/2007/CHKS07b.pdf},
  VOLUME = {250},
  YEAR = {2007},
  BDSK-URL-1 = {download/2007/CHKS07b.pdf}
}
@INPROCEEDINGS{CHKS07c,
  AUTHOR = {Bernardo Cuenca Grau and Ian Horrocks and Yevgeny Kazakov and Ulrike Sattler},
  BOOKTITLE = {Proc.\ of the Third OWL Experiences and Directions Workshop},
  DATE-ADDED = {2007-07-23 23:57:36 +0100},
  DATE-MODIFIED = {2007-07-25 17:55:07 +0100},
  NUMBER = {258},
  SERIES = {CEUR (\url{http://ceur-ws.org/})},
  TITLE = {Extracting Modules from Ontologies: A Logic-based Approach},
  URL = {download/2007/CHKS07c.pdf},
  YEAR = {2007},
  BDSK-URL-1 = {download/2007/CHKS07c.pdf}
}
@INPROCEEDINGS{GoHo07a,
  AUTHOR = {Christine Golbreich and Ian Horrocks},
  BOOKTITLE = {Proc.\ of the Third OWL Experiences and Directions Workshop},
  DATE-ADDED = {2007-07-23 23:55:37 +0100},
  DATE-MODIFIED = {2007-07-24 00:03:51 +0100},
  NUMBER = {258},
  SERIES = {CEUR (\url{http://ceur-ws.org/})},
  TITLE = {The {OBO} to {OWL} mapping, {GO} to {OWL} 1.1!},
  URL = {download/2007/GoHo07a.pdf},
  YEAR = {2007},
  BDSK-URL-1 = {download/2007/GoHo07a.pdf}
}
@INPROCEEDINGS{MoHS07b,
  AUTHOR = {Boris Motik and Ian Horrocks and Ulrike Sattler},
  BOOKTITLE = {Proc.\ of the Third OWL Experiences and Directions Workshop},
  DATE-ADDED = {2007-07-23 23:53:02 +0100},
  DATE-MODIFIED = {2007-07-24 00:05:08 +0100},
  NUMBER = {258},
  SERIES = {CEUR (\url{http://ceur-ws.org/})},
  TITLE = {Adding Integrity Constraints to {OWL}},
  URL = {download/2007/MoHS07b.pdf},
  YEAR = {2007},
  BDSK-URL-1 = {download/2007/MoHS07b.pdf}
}
@INPROCEEDINGS{GlHS07a,
  AUTHOR = {Glimm, Birte and Horrocks, Ian and Sattler, Uli},
  BOOKTITLE = {Proc.\ of the 2007 Description Logic Workshop (DL~2007)},
  DATE-ADDED = {2007-06-04 16:52:57 +0100},
  DATE-MODIFIED = {2007-07-24 21:39:55 +0100},
  SERIES = {CEUR (\url{http://ceur-ws.org/})},
  TITLE = {Conjunctive Query Entailment for $\mathcal{SHOQ}$},
  URL = {download/2007/GlHS07a.pdf},
  VOLUME = {250},
  YEAR = {2007},
  BDSK-URL-1 = {download/2007/GlHS07a.pdf}
}
@ARTICLE{HoGS07a,
  AUTHOR = {Ian Horrocks and Birte Glimm and Ulrike Sattler},
  DATE-ADDED = {2007-05-27 15:12:28 +0100},
  DATE-MODIFIED = {2007-05-29 09:20:07 +0100},
  JOURNAL = {Electronic Notes in Theoretical Computer Science},
  NOTE = {Proceedings of the International Workshop on Hybrid Logic (HyLo 2006)},
  NUMBER = {6},
  PAGES = {3--14},
  TITLE = {Hybrid Logics and Ontology Languages},
  URL = {download/2007/HoGS07a.pdf},
  VOLUME = {174},
  YEAR = {2007},
  BDSK-URL-1 = {download/2007/HoGS07a.pdf}
}
@ARTICLE{TsHP07,
  AUTHOR = {Dmitry Tsarkov and Ian Horrocks and Peter~F.\ Patel-Schneider},
  DATE-ADDED = {2007-05-25 10:45:31 +0100},
  DATE-MODIFIED = {2007-09-01 13:02:09 +0100},
  DOI = {10.1007/s10817-007-9077-y},
  JOURNAL = {J.\ of Automated Reasoning},
  NUMBER = {3},
  PAGES = {277--316},
  TITLE = {Optimizing Terminological Reasoning for Expressive Description Logics},
  URL = {download/2007/TsHP07.pdf},
  VOLUME = {39},
  YEAR = {2007},
  BDSK-URL-1 = {download/2007/TsHP07.pdf}
}
@ARTICLE{HoSa07a,
  AUTHOR = {Ian Horrocks and Ulrike Sattler},
  DATE-ADDED = {2007-05-25 10:40:14 +0100},
  DATE-MODIFIED = {2007-09-01 13:05:24 +0100},
  DOI = {10.1007/s10817-007-9079-9},
  ISSN = {0168-7433},
  JOURNAL = {J.\ of Automated Reasoning},
  NUMBER = {3},
  PAGES = {249--276},
  TITLE = {A Tableau Decision Procedure for $\mathcal{SHOIQ}$},
  URL = {download/2007/HoSa07a.pdf},
  VOLUME = {39},
  YEAR = 2007,
  BDSK-URL-1 = {download/2007/HoSa07a.pdf}
}
@INPROCEEDINGS{MoSH07a,
  AUTHOR = {Boris Motik and Rob Shearer and Ian Horrocks},
  BOOKTITLE = {Proc.\ of the 21st Int.\ Conf.\ on Automated Deduction (CADE-21)},
  DATE-ADDED = {2007-05-03 14:24:20 +0100},
  DATE-MODIFIED = {2007-07-25 18:12:24 +0100},
  PAGES = {67--83},
  PUBLISHER = {Springer},
  SERIES = {Lecture Notes in Artificial Intelligence},
  TITLE = {Optimized Reasoning in Description Logics using Hypertableaux},
  URL = {download/2007/MoSH07a.pdf},
  VOLUME = {4603},
  YEAR = {2007},
  BDSK-URL-1 = {download/2007/MoSH07a.pdf}
}
@INPROCEEDINGS{CHKS07a,
  AUTHOR = {Bernardo {Cuenca Grau} and Ian Horrocks and Yevgeny Kazakov and Ulrike Sattler},
  BOOKTITLE = {Proc.\ of the Sixteenth International World Wide Web Conference (WWW 2007)},
  DATE-ADDED = {2007-01-31 09:47:45 +0000},
  DATE-MODIFIED = {2007-03-07 20:44:26 +0000},
  TITLE = {Just the Right Amount: Extracting Modules from Ontologies},
  URL = {download/2007/CHKS07a.pdf},
  YEAR = {2007},
  BDSK-URL-1 = {download/2007/CHKS07a.pdf}
}
@INPROCEEDINGS{MoHS07a,
  AUTHOR = {Boris Motik and Ian Horrocks and Ulrike Sattler},
  BOOKTITLE = {Proc.\ of the Sixteenth International World Wide Web Conference (WWW 2007)},
  DATE-ADDED = {2007-01-31 09:40:30 +0000},
  DATE-MODIFIED = {2007-03-07 20:44:26 +0000},
  TITLE = {Bridging the Gap Between {OWL} and Relational Databases},
  URL = {download/2007/MoHS07a.pdf},
  YEAR = {2007},
  BDSK-URL-1 = {download/2007/MoHS07a.pdf}
}
@ARTICLE{PaHo07a,
  AUTHOR = {Jeff Pan and Ian Horrocks},
  DATE-ADDED = {2006-12-04 20:44:35 +0000},
  DATE-MODIFIED = {2007-03-07 20:44:26 +0000},
  JOURNAL = {{IEEE} Trans.\ on Knowledge and Data Engineering},
  NUMBER = {2},
  PAGES = {192--206},
  TITLE = {{RDFS(FA)}: Connecting {RDF(S)} and {OWL~DL}},
  URL = {download/2007/PaHo07a.pdf},
  VOLUME = {19},
  YEAR = {2007},
  BDSK-URL-1 = {download/2007/PaHo07a.pdf}
}
@INPROCEEDINGS{CKHS07a,
  AUTHOR = {Bernardo {Cuenca Grau} and Yevgeny Kazakov and Ian Horrocks and Ulrike Sattler},
  BOOKTITLE = {Proc.\ of the 20th Int.\ Joint Conf.\ on Artificial Intelligence (IJCAI~2007)},
  DATE-ADDED = {2006-09-24 08:39:30 +0100},
  DATE-MODIFIED = {2007-05-02 18:26:39 +0100},
  PAGES = {298--303},
  TITLE = {A Logical Framework for Modular Integration of Ontologies},
  URL = {download/2007/CKHS07a.pdf},
  YEAR = {2007},
  BDSK-URL-1 = {download/2007/CKHS07a.pdf}
}
@INPROCEEDINGS{GHLS07a,
  AUTHOR = {Birte Glimm and Ian Horrocks and Carsten Lutz and Uli Sattler},
  BOOKTITLE = {Proc.\ of the 20th Int.\ Joint Conf.\ on Artificial Intelligence (IJCAI~2007)},
  DATE-ADDED = {2006-09-22 19:36:54 +0100},
  DATE-MODIFIED = {2007-05-02 18:20:53 +0100},
  PAGES = {399--404},
  TITLE = {Conjunctive Query Answering for the Description Logic $\mathcal{SHIQ}$},
  URL = {download/2007/GHLS07a.pdf},
  YEAR = {2007},
  BDSK-URL-1 = {download/2007/GHLS07a.pdf}
}
Ian Horrocks: bibliography
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@INPROCEEDINGS{THCM08a,
  AUTHOR = {Duc Thanh Tran and Peter Haase and Bernardo {Cunca Grau} and Boris Motik and Ian Horrocks},
  BOOKTITLE = {Proc.\ of the 18th Nat.\ Conf.\ on Artificial Intelligence (AAAI~08)},
  DATE-ADDED = {2008-04-25 19:00:54 +0100},
  DATE-MODIFIED = {2008-09-19 07:54:31 +0100},
  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}
}
Ian Horrocks: bibliography
@ARTICLE{MoSH09a,
  AUTHOR = {Boris Motik and Rob Shearer and Ian Horrocks},
  DATE-ADDED = {2009-09-25 15:20:08 +0100},
  DATE-MODIFIED = {2009-09-25 15:22:20 +0100},
  JOURNAL = {J.\ of Artificial Intelligence Research},
  NOTE = {To appear},
  TITLE = {Hypertableau Reasoning for Description Logics},
  URL = {download/2009/MoSH09a.pdf},
  YEAR = {2009},
  BDSK-URL-1 = {download/2007/MoSH07b.pdf}
}
@INPROCEEDINGS{JCHB09c,
  AUTHOR = {Ernesto Jim\'{e}nez-Ruiz and Bernardo {Cuenca Grau} and Ian Horrocks and Rafael {Berlanga Llavori}},
  BOOKTITLE = {Proc.\ of {XIV} Jornadas de Ingenier\'{\i}a del Software y Bases de Datos (JISBD 2009)},
  DATE-ADDED = {2009-09-25 13:36:24 +0100},
  DATE-MODIFIED = {2009-09-25 13:42:59 +0100},
  EDITOR = {Antonio Vallecillo and Goiuria Sagardui},
  PAGES = {316--319},
  TITLE = {Logic-based Ontology Integration using {ContentMap}},
  URL = {download/2009/JCHB09c.pdf},
  YEAR = {2009}
}
@INPROCEEDINGS{PeHM09a,
  AUTHOR = {H\'{e}ctor P\'{e}rez-Urbina and Ian Horrocks and Boris Motik},
  BOOKTITLE = {Proc.\ of the 8th International Semantic Web Conference (ISWC 2009)},
  DATE-ADDED = {2009-08-13 16:07:27 +0100},
  DATE-MODIFIED = {2009-08-13 16:08:58 +0100},
  NOTE = {To appear},
  TITLE = {Efficient Query Answering for {OWL} 2},
  URL = {download/2009/PeHM09a.pdf},
  YEAR = {2009}
}
@INPROCEEDINGS{ShHo09a,
  AUTHOR = {Rob Shearer and Ian Horrocks},
  BOOKTITLE = {Proc.\ of the 8th International Semantic Web Conference (ISWC 2009)},
  DATE-ADDED = {2009-08-13 15:55:09 +0100},
  DATE-MODIFIED = {2009-08-13 16:02:29 +0100},
  NOTE = {To appear},
  TITLE = {Exploiting Partial Information in Taxonomy Construction},
  URL = {download/2009/ShHo09a.pdf},
  YEAR = {2009}
}
@INPROCEEDINGS{JCHB09b,
  AUTHOR = {Ernesto Jim\'{e}nez-Ruiz and Bernardo {Cuenca Grau} and Ian Horrocks and Rafael Berlanga},
  BOOKTITLE = {Proc.\ of the 2009 Description Logic Workshop (DL~2009)},
  DATE-ADDED = {2009-07-06 14:24:42 +0100},
  DATE-MODIFIED = {2009-07-06 14:27:52 +0100},
  TITLE = {Building Ontologies Collaboratively Using {ContentCVS}},
  URL = {download/2009/JCHB09b.pdf},
  YEAR = {2009}
}
@INPROCEEDINGS{JCHB09a,
  AUTHOR = {Ernesto Jim\'{e}nez-Ruiz and Bernardo {Cuenca Grau} and Ian Horrocks and Rafael {Berlanga Llavori}},
  BOOKTITLE = {Proc.\ of the 6th European Semantic Web Conf.\ (ESWC 2009)},
  DATE-ADDED = {2009-07-02 13:03:51 +0100},
  DATE-MODIFIED = {2009-07-02 13:08:21 +0100},
  PAGES = {173--187},
  TITLE = {Ontology Integration Using Mappings: Towards Getting the Right Logical Consequences},
  URL = {download/2009/JCHB09a.pdf},
  YEAR = {2009}
}
@INPROCEEDINGS{PeMH09b,
  AUTHOR = {H\'{e}ctor P\'{e}rez-Urbina and Boris Motik and Ian Horrocks},
  BOOKTITLE = {Proc.\ of the 2009 Description Logic Workshop (DL~2009)},
  DATE-ADDED = {2009-07-02 12:55:19 +0100},
  DATE-MODIFIED = {2009-07-02 13:00:24 +0100},
  TITLE = {A Comparison of Query Rewriting Techniques for {DL-Lite}},
  URL = {download/2009/PeMH09b.pdf},
  YEAR = {2009}
}
@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 = {2009-07-02 13:00:13 +0100},
  JOURNAL = {J.\ of Applied Logic},
  NOTE = {To appear},
  TITLE = {Tractable Query Answering and Rewriting under Description Logic Constraints},
  URL = {download/2009/PeMH09a.pdf},
  YEAR = {2009}
}
@INPROCEEDINGS{ShHM09a,
  AUTHOR = {Rob Shearer and Ian Horrocks and Boris Motik},
  BOOKTITLE = {Proc.\ of the 2009 Description Logic Workshop (DL~2009)},
  DATE-ADDED = {2009-07-02 11:14:58 +0100},
  DATE-MODIFIED = {2009-07-02 11:18:17 +0100},
  TITLE = {Exploiting Partial Information in Taxonomy Construction},
  URL = {download/2009/ShHM09a.pdf},
  YEAR = {2009}
}
@ARTICLE{MCHS09a,
  AUTHOR = {Boris Motik and Bernardo {Cuenca Grau} and Ian Horrocks and Ulrike Sattler},
  DATE-ADDED = {2009-06-03 12:56:02 +0100},
  DATE-MODIFIED = {2009-07-25 15:50:48 +0100},
  DOI = {10.1016/j.artint.2009.06.003},
  JOURNAL = {Artificial Intelligence},
  NUMBER = {14},
  PAGES = {1275--1309},
  TITLE = {Representing Ontologies Using Description Logics, Description Graphs, and Rules},
  URL = {download/2009/MCHS09a.pdf},
  VOLUME = {173},
  YEAR = {2009}
}
@ARTICLE{MoHS09a,
  AUTHOR = {Boris Motik and Ian Horrocks and Ulrike Sattler},
  DATE-ADDED = {2009-05-12 15:14:55 +0100},
  DATE-MODIFIED = {2009-07-02 11:09:29 +0100},
  DOI = {http://dx.doi.org/10.1016/j.websem.2009.02.001},
  JOURNAL = {J.\ of Web Semantics},
  MONTH = {April},
  NUMBER = {2},
  PAGES = {74--89},
  TITLE = {Bridging the Gap Between {OWL} and Relational Databases},
  URL = {download/2009/MoHS09a.pdf},
  VOLUME = {7},
  YEAR = {2009},
  BDSK-URL-1 = {download/2007/MoHS07a.pdf}
}
@INCOLLECTION{CHKS09b,
  AUTHOR = {Bernardo {Cuenca Grau} and Ian Horrocks and Yevgeny Kazakov and Ulrike Sattler},
  BOOKTITLE = {Modular Ontologies: Concepts, Theories and Techniques for Knowledge Modularization},
  DATE-ADDED = {2008-04-25 19:12:38 +0100},
  DATE-MODIFIED = {2009-07-02 16:56:30 +0100},
  EDITOR = {Heiner Stuckenschmidt and Christine Parent and Stefano Spaccapietra},
  PAGES = {159--186},
  PUBLISHER = {Springer},
  SERIES = {Lecture Notes in Computer Science},
  TITLE = {Extracting Modules from Ontologies: A Logic-based Approach},
  URL = {download/2009/CHKS09b.pdf},
  VOLUME = {5445},
  YEAR = {2009},
  BDSK-URL-1 = {download/2008/CHKS08b.pdf}
}