|
|
Ian Horrocks's Publications
Selected
|
|
Birte Glimm, Ian Horrocks, Carsten Lutz, and Uli Sattler.
Conjunctive Query Answering for the Description Logic
SHIQ.
J. of Artificial Intelligence Research, 31:157-204, 2008.
[ bib |
.pdf ]
|
|
|
Bernardo Cuenca Grau, Ian Horrocks, Yevgeny Kazakov, and Ulrike Sattler.
Modular Reuse of Ontologies: Theory and Practice.
J. of Artificial Intelligence Research, 31:273-318, 2008.
[ bib |
.pdf ]
|
|
|
Boris Motik, Rob Shearer, and Ian Horrocks.
Optimized Reasoning in Description Logics using Hypertableaux.
In Proc. of the 21st Int. Conf. on Automated Deduction
(CADE-21), volume 4603 of Lecture Notes in Artificial Intelligence,
pages 67-83. Springer, 2007.
[ bib |
.pdf ]
|
|
|
Franz Baader, Ian Horrocks, and Ulrike Sattler.
Description Logics.
In Frank van Harmelen, Vladimir Lifschitz, and Bruce Porter,
editors, Handbook of Knowledge Representation. Elsevier, 2007.
[ bib |
.pdf ]
|
|
|
Dmitry Tsarkov, Ian Horrocks, and Peter F. Patel-Schneider.
Optimizing Terminological Reasoning for Expressive Description
Logics.
J. of Automated Reasoning, 39(3):277-316, 2007.
[ bib |
.pdf ]
|
|
|
Ian Horrocks and Ulrike Sattler.
A Tableau Decision Procedure for SHOIQ.
J. of Automated Reasoning, 39(3):249-276, 2007.
[ bib |
.pdf ]
|
|
|
Ian Horrocks, Oliver Kutz, and Ulrike Sattler.
The Even More Irresistible SROIQ.
In Proc. of the 10th Int. Conf. on Principles of Knowledge
Representation and Reasoning (KR 2006), pages 57-67. AAAI Press, 2006.
[ bib |
.pdf ]
|
|
|
Ian Horrocks and Peter Patel-Schneider.
Reducing OWL entailment to description logic satisfiability.
J. of Web Semantics, 1(4):345-357, 2004.
[ bib |
.pdf ]
|
|
|
Ian Horrocks and Ulrike Sattler.
Decidability of SHIQ with Complex Role Inclusion
Axioms.
Artificial Intelligence, 160(1-2):79-104, December 2004.
[ bib |
.pdf ]
|
|
|
Ian Horrocks, Peter F. Patel-Schneider, Harold Boley, Said Tabet, Benjamin
Grosof, and Mike Dean.
SWRL: A Semantic Web Rule Language Combining OWL and RuleML.
W3C Member Submission, 21 May 2004.
Available at http://www.w3.org/Submission/SWRL/.
[ bib |
http ]
|
|
|
Ian Horrocks, Peter F. Patel-Schneider, and Frank van Harmelen.
From SHIQ and RDF to OWL: The Making of a Web
Ontology Language.
J. of Web Semantics, 1(1):7-26, 2003.
[ bib |
.pdf ]
|
|
|
Benjamin N. Grosof, Ian Horrocks, Raphael Volz, and Stefan Decker.
Description Logic Programs: Combining Logic Programs with
Description Logic.
In Proc. of the Twelfth International World Wide Web Conference
(WWW 2003), pages 48-57. ACM, 2003.
[ bib |
.pdf ]
|
|
|
Ian Horrocks and Peter F. Patel-Schneider.
Three Theses of Representation in the Semantic Web.
In Proc. of the Twelfth International World Wide Web Conference
(WWW 2003), pages 39-47. ACM, 2003.
[ bib |
.pdf ]
|
|
|
I. Horrocks and P. F. Patel-Schneider.
Evaluating Optimised Decision Procedures for Propositional Modal
K(m) Satisfiability.
J. of Automated Reasoning, 28(2):173-204, February 2002.
[ bib |
.pdf ]
|
|
|
Ian Horrocks, Peter F. Patel-Schneider, and Frank van Harmelen.
Reviewing the Design of DAML+OIL: An Ontology Language for the
Semantic Web.
In Proc. of the 18th Nat. Conf. on Artificial Intelligence
(AAAI 2002), pages 792-797. AAAI Press, 2002.
[ bib |
.pdf ]
|
|
|
D. Fensel, F. van Harmelen, I. Horrocks, D. McGuinness, and P. F.
Patel-Schneider.
OIL: An Ontology Infrastructure for the Semantic Web.
IEEE Intelligent Systems, 16(2):38-45, 2001.
[ bib |
.pdf ]
|
|
|
Ian Horrocks and Ulrike Sattler.
Ontology Reasoning in the SHOQ(D) Description
Logic.
In Proc. of the 17th Int. Joint Conf. on Artificial
Intelligence (IJCAI 2001), pages 199-204. Morgan Kaufmann, Los Altos, 2001.
[ bib |
.pdf ]
|
|
|
Ian Horrocks, Ulrike Sattler, and Stephan Tobies.
Reasoning with Individuals for the Description Logic
SHIQ.
In David McAllester, editor, Proc. of the 17th Int. Conf. on
Automated Deduction (CADE 2000), volume 1831 of Lecture Notes in
Computer Science, pages 482-496. Springer, 2000.
[ bib |
.pdf ]
|
|
|
I. Horrocks and S. Tobies.
Reasoning with Axioms: Theory and Practice.
In Proc. of the 7th Int. Conf. on Principles of Knowledge
Representation and Reasoning (KR 2000), pages 285-296, 2000.
[ bib |
.pdf ]
|
|
|
I. Horrocks, U. Sattler, and S. Tobies.
Practical Reasoning for Expressive Description Logics.
In H. Ganzinger, D. McAllester, and A. Voronkov, editors, Proc. of the 6th Int. Conf. on Logic for Programming and Automated Reasoning
(LPAR'99), number 1705 in Lecture Notes in Artificial Intelligence, pages
161-180. Springer, 1999.
[ bib |
.pdf ]
|
|
|
Ian Horrocks and Ulrike Sattler.
A Description Logic with Transitive and Inverse Roles and Role
Hierarchies.
J. of Logic and Computation, 9(3):385-410, 1999.
[ bib |
.pdf ]
|
|
|
Ian Horrocks and Peter F. Patel-Schneider.
Optimizing Description Logic Subsumption.
J. of Logic and Computation, 9(3):267-293, 1999.
[ bib |
.pdf ]
|
|
|
Ian Horrocks.
Using an Expressive Description Logic: FaCT or Fiction?
In Proc. of the 6th Int. Conf. on Principles of Knowledge
Representation and Reasoning (KR'98), pages 636-647, 1998.
[ bib |
.pdf ]
|
This file has been generated using
bibtex2html 1.75
Back to
Ian Horrocks' home page.
|
|
|
|
