@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 = {2011-01-22 18:41:17 +0000},
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,
bdsk-url-1 = {http://www.w3.org/Submission/SWRL/}
}
@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}
}
@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,
bdsk-url-1 = {http://www.w3.org/TR/owl-ref/}
}
@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}
}
@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,
bdsk-url-1 = {http://www.w3.org/TR/owl-semantics/}
}
@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}
}
@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/},
bdsk-url-2 = {download/2004/LiHo04a.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}
}
@article{Horrocks00n,
author = {S. Decker and F. van Harmelen and J. Broekstra and M.
Erdmann and D. Fensel and I. Horrocks and M. Klein and S.
Melnik},
date-modified = {2008-06-20 18:59:22 +0100},
journal = {IEEE Internet Computing},
number = 5,
pages = {63--74},
title = {The Semantic Web: The Roles of {XML} and {RDF}},
url = {download/2000/Horrocks00n.pdf},
volume = 4,
year = 2000,
bdsk-url-1 = {http://www.computer.org/internet/},
bdsk-url-2 = {download/2000/Horrocks00n.pdf}
}
@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}
}
@article{CHMP+08,
author = {Bernardo {Cuenca Grau} and Ian Horrocks and Boris Motik
and Bijan Parsia and Peter Patel-Schneider and Ulrike
Sattler},
date-added = {2008-10-20 10:54:05 +0100},
date-modified = {2008-11-23 09:22:54 +0000},
doi = {10.1016/j.websem.2008.05.001},
journal = {J.\ of Web Semantics},
month = {November},
number = {4},
pages = {309--322},
title = {{OWL 2}: The next step for {OWL}},
url = {download/2008/CHMP+08.pdf},
volume = {6},
year = {2008},
bdsk-url-1 = {download/2008/CHMP+08.pdf},
bdsk-url-2 = {http://dx.doi.org/10.1016/j.websem.2008.05.001}
}
@inproceedings{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}
}
@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{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{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{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}
}
@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},
bdsk-url-2 = {http://dx.doi.org/10.1007/s10817-007-9079-9}
}
@misc{owl2-ssfs-w3c,
date-added = {2009-08-10 13:39:23 +0100},
date-modified = {2014-08-08 18:03:22 +0000},
editor = {Boris Motik and Peter F. Patel-Schneider and Bijan
Parsia},
howpublished = {{W3C} {R}ecommendation},
institution = {World Wide Web Consortium},
key = {OWL 2 Syntax},
month = {27 October},
note = {Available at \url{http://www.w3.org/TR/owl2-syntax/}},
title = {{OWL} 2 {W}eb {O}ntology {L}anguage {S}tructural
{S}pecification and {F}unctional-Style {S}yntax},
url = {http://www.w3.org/TR/owl2-syntax/},
year = 2009,
bdsk-url-1 = {http://www.w3.org/TR/owl2-syntax/}
}
@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}
}
@article{HoST00,
annote = {AKA: Horrocks99m},
author = {Ian Horrocks and Ulrike Sattler and Stephan Tobies},
date-modified = {2008-04-25 20:09:57 +0100},
journal = {Logic Journal of the {IGPL}},
number = 3,
pages = {239--264},
title = {Practical Reasoning for Very Expressive Description
Logics},
url = {download/2000/HoST00.pdf},
volume = 8,
year = 2000,
bdsk-url-1 = {http://www3.oup.co.uk/igpl/Volume_08/Issue_03/ps/horrocks1.ps.gz},
bdsk-url-2 = {download/2000/HoST00.pdf}
}
@inproceedings{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}
}
@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},
bdsk-url-2 = {download/1998/Horr98b.pdf}
}
@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}
}
@incollection{BaHS07a,
author = {Franz Baader and Ian Horrocks and Ulrike Sattler},
booktitle = {Handbook of Knowledge Representation},
chapter = {3},
date-added = {2007-07-25 18:14:15 +0100},
date-modified = {2011-09-01 20:15:01 +0100},
editor = {Frank {van Harmelen} and Vladimir Lifschitz and Bruce
Porter},
pages = {135--180},
publisher = {Elsevier},
title = {{D}escription {L}ogics},
url = {download/2007/BaHS07a.pdf},
year = {2008},
bdsk-url-1 = {download/2007/BaHS07a.pdf}
}
@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{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},
bdsk-url-2 = {download/1997/RBGH97.pdf}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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{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}
}
@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{LHHHM00,
author = {Ora Lassila and Frank {van Harmelen} and Ian Horrocks and
Jim Hendler and Deborah Mc{G}uinness},
date-added = {2012-01-19 12:28:58 +0000},
date-modified = {2012-01-19 12:34:01 +0000},
journal = {{IEEE} Intelligent Systems},
number = {6},
pages = {67--73},
title = {The semantic web and its languages},
url = {download/2000/faqs-on-oil.pdf},
volume = {15},
year = {2000},
bdsk-url-1 = {download/2000/faqs-on-oil.pdf}
}
@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}
}
@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{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}
}
@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}
}
This file was generated by bibtex2html 1.96.