|
|
Ian Horrocks's Publications
|
|
Ian Horrocks, Ulrike Sattler, and Stephan Tobies.
Practical Reasoning for Very Expressive Description Logics.
Logic Journal of the IGPL, 8(3):239-264, 2000.
[ 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 ]
|
|
|
Lei Li and Ian Horrocks.
A Software Framework for Matchmaking Based on Semantic Web
Technology.
Int. J. of Electronic Commerce, 8(4):39-60, 2004.
[ 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 ]
|
|
|
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 ]
|
|
|
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, 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 ]
|
|
|
Dieter Fensel, Ian Horrocks, Frank van Harmelen, Stefan Decker, Michael
Erdmann, and Michel Klein.
OIL in a Nutshell.
In R. Dieng, editor, Proc. of the 12th European Workshop on
Knowledge Acquisition, Modeling, and Management (EKAW 2000), number 1937 in
Lecture Notes in Artificial Intelligence, pages 1-16. Springer, 2000.
[ bib |
.pdf ]
|
|
|
S. Decker, F. van Harmelen, J. Broekstra, M. Erdmann, D. Fensel, I. Horrocks,
M. Klein, and S. Melnik.
The Semantic Web: The Roles of XML and RDF.
IEEE Internet Computing, 4(5):63-74, 2000.
[ bib |
.pdf ]
|
|
|
Sean Bechhofer, Ian Horrocks, Carole Goble, and Robert Stevens.
OilEd: A Reason-able Ontology Editor for the Semantic
Web.
In Proc. of the Joint German/Austrian Conf. on Artificial
Intelligence (KI 2001), number 2174 in Lecture Notes in Artificial
Intelligence, pages 396-408. Springer, 2001.
[ bib |
.pdf ]
|
|
|
Sean Bechhofer, Frank van Harmelen, Jim Hendler, Ian Horrocks, Deborah L.
McGuinness, Peter F. Patel-Schneider, and Lynn Andrea Stein.
OWL Web Ontology Language Reference.
W3C Recommendation, 10 February 2004.
Available at http://www.w3.org/TR/owl-ref/.
[ bib |
http ]
|
|
|
Peter F. Patel-Schneider, Patrick Hayes, and Ian Horrocks.
OWL Web Ontology Language Semantics and Abstract
Syntax.
W3C Recommendation, 10 February 2004.
Available at http://www.w3.org/TR/owl-semantics/.
[ bib |
http ]
|
|
|
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.
The FaCT System.
In Harrie de Swart, editor, Proc. of the 2nd Int. Conf. on
Analytic Tableaux and Related Methods (TABLEAUX'98), volume 1397 of
Lecture Notes in Artificial Intelligence, pages 307-312. Springer, 1998.
[ 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 ]
|
|
|
A. Rector, S. Bechhofer, C. A. Goble, I. Horrocks, W. A. Nowlan, and W. D.
Solomon.
The Grail Concept Modelling Language for Medical
Terminology.
Artificial Intelligence in Medicine, 9:139-171, 1997.
[ bib |
.pdf ]
|
|
|
Ian Horrocks.
FaCT and iFaCT.
In Proc. of the 1999 Description Logic Workshop (DL'99),
volume 22 of CEUR (http://ceur-ws.org/), pages 133-135, 1999.
[ bib |
.pdf ]
|
|
|
Ian Horrocks.
DAML+OIL: a Description Logic for the Semantic Web.
Bull. of the IEEE Computer Society Technical Committee on Data
Engineering, 25(1):4-9, March 2002.
[ 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 ]
|
|
|
Franz Baader, Ian Horrocks, and Ulrike Sattler.
Description Logics as Ontology Languages for the Semantic Web.
In Dieter Hutter and Werner Stephan, editors, Mechanizing
Mathematical Reasoning: Essays in Honor of Jörg Siekmann on the Occasion
of His 60th Birthday, number 2605 in Lecture Notes in Artificial
Intelligence, pages 228-248. Springer, 2005.
[ bib |
.pdf ]
|
|
|
Ian Horrocks and Peter F. Patel-Schneider.
A Proposal for an OWL Rules Language.
In Proc. of the Thirteenth International World Wide Web
Conference (WWW 2004), pages 723-731. ACM, 2004.
[ bib |
.pdf ]
|
|
|
Ian Horrocks.
Optimising Tableaux Decision Procedures for Description Logics.
PhD thesis, University of Manchester, 1997.
[ bib |
.pdf ]
|
|
|
Ian Horrocks.
DAML+OIL: a Reason-able Web Ontology Language.
In Proc. of EDBT 2002, number 2287 in Lecture Notes in
Computer Science, pages 2-13. Springer, March 2002.
[ bib |
.pdf ]
|
|
|
Richard Fikes, Patrick Hayes, and Ian Horrocks.
OWL-QL-a language for deductive query answering on the
Semantic Web.
J. of Web Semantics, 2(1):19-29, 2004.
[ bib |
.pdf ]
|
This file has been generated using
bibtex2html 1.75
Back to
Ian Horrocks' home page.
|
|
|
|
