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