@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}
}
@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}
}
@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
}
@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
}
@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/}
}
@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{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}
}
@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
}
@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}
}
@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{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}
}
@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{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{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}
}
@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{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}
}
@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}
}
@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{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{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}
}
@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{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{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}
}
@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{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}
}
@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}
}
@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{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}
}
@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}
}
This file has been generated by
bibtex2html 1.75
|
|
