| Complete, | Selected, | Recent, | Most-cited |
Selected Publications
|
Markus Krötzsch, Frantisek Simancík, and Ian Horrocks.
A Description Logic Primer.
CoRR, abs/1201.4089, 2012. [ bib | http ] |
|
|
Bernardo Cuenca Grau, Boris Motik, Giorgos Stoilos, and Ian Horrocks.
Completeness Guarantees for Incomplete Ontology Reasoners:
Theory and Practice.
J. of Artificial Intelligence Research, 43:419-476, March
2012. [ bib | .pdf ] |
|
|
Birte Glimm, Ian Horrocks, Boris Motik, Rob Shearer, and Giorgos Stoilos.
A Novel Approach to Ontology Classification.
J. of Web Semantics, 14:84-101, 2012. [ bib | .pdf ] |
|
|
Ian Horrocks and Peter F. Patel-Schneider.
KR and Reasoning on the Semantic Web: OWL.
In John Domingue, Dieter Fensel, and James A. Hendler, editors,
Handbook of Semantic Web Technologies, chapter 9, pages 365-398. Springer,
2011. [ bib | .pdf ] |
|
|
Boris Motik, Ian Horrocks, and Ulrike Sattler.
Bridging the Gap Between OWL and Relational Databases.
J. of Web Semantics, 7(2):74-89, April 2009. [ bib | .pdf ] |
|
|
Boris Motik, Rob Shearer, and Ian Horrocks.
Hypertableau Reasoning for Description Logics.
J. of Artificial Intelligence Research, 36:165-228, 2009. [ 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, chapter 3, pages
135-180. Elsevier, 2008. [ 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.