Ian Horrocks's Publications
Selected
|
|
Boris Motik, Rob Shearer, and Ian Horrocks.
Hypertableau Reasoning for Description Logics.
J. of Artificial Intelligence Research, 2009.
To appear.
[ bib |
.pdf ]
|
|
|
Boris Motik, Bernardo Cuenca Grau, Ian Horrocks, and Ulrike Sattler.
Representing Ontologies Using Description Logics, Description
Graphs, and Rules.
Artificial Intelligence, 173(14):1275-1309, 2009.
[ bib |
.pdf ]
|
|
|
Ian Horrocks.
Ontologies and the semantic web.
Communications of the ACM, 51(12):58-67, December 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, 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 ]
|
|
|
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.
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.
|
|
