| Complete, | Selected, | Recent, | Most-cited |
Most Cited Publications (according to Google Scholar)
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 ]
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 ]
Dmitry Tsarkov and Ian Horrocks. FaCT++ Description Logic Reasoner: System Description. In Proc. of the Int. Joint Conf. on Automated Reasoning (IJCAR 2006), volume 4130 of Lecture Notes in Artificial Intelligence, pages 292-297. Springer, 2006. [ bib | .pdf ]
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 ]
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 ]
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 ]
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 ]
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 ]
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 ]
Bernardo Cuenca Grau, Ian Horrocks, Boris Motik, Bijan Parsia, Peter Patel-Schneider, and Ulrike Sattler. OWL 2: The next step for OWL. J. of Web Semantics, 6(4):309-322, November 2008. [ bib | DOI | .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 ]
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 ]
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 ]
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 ]
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 ]
Ian Horrocks and Ulrike Sattler. A Tableau Decision Procedure for SHOIQ. J. of Automated Reasoning, 39(3):249-276, 2007. [ bib | DOI | .pdf ]
OWL 2 Web Ontology Language Structural Specification and Functional-Style Syntax. W3C Recommendation, 27 October 2009. Available at http://www.w3.org/TR/owl2-syntax/. [ bib | http ]
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. Practical Reasoning for Very Expressive Description Logics. Logic Journal of the IGPL, 8(3):239-264, 2000. [ 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. 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 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 ]
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 ]
Ian Horrocks and Peter F. Patel-Schneider. Reducing OWL Entailment to Description Logic Satisfiability. In Dieter Fensel, Katia Sycara, and John Mylopoulos, editors, Proc. of the 2nd International Semantic Web Conference (ISWC 2003), volume 2870 of Lecture Notes in Computer Science, pages 17-29. Springer, 2003. [ 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 ]
Dan Connolly, Frank van Harmelen, Ian Horrocks, Deborah L. McGuinness, Peter F. Patel-Schneider, and Lynn Andrea Stein. DAML+OIL (March 2001) Reference Description. W3C Note, 18 December 2001. Available at http://www.w3.org/TR/daml+oil-reference. [ bib | http ]
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 ]
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 ]
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. Optimising Tableaux Decision Procedures for Description Logics. PhD thesis, University of Manchester, 1997. [ 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 ]
Ora Lassila, Frank van Harmelen, Ian Horrocks, Jim Hendler, and Deborah McGuinness. The semantic web and its languages. IEEE Intelligent Systems, 15(6):67-73, 2000. [ 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 ]
J. Broekstra, M. Klein, S. Decker, D. Fensel, F. van Harmelen, and I. Horrocks. Enabling knowledge representation on the Web by Extending RDF Schema. Computer Networks, 39(5):609-634, 2002. [ bib | .pdf ]
Ian Horrocks, Peter F. Patel-Schneider, Sean Bechhofer, and Dmitry Tsarkov. OWL Rules: A Proposal and Prototype Implementation. J. of Web Semantics, 3(1):23-40, 2005. [ bib | .pdf ]
Ian Horrocks, Dieter Fensel, Jeen Broekstra, Stefan Decker, Michael Erdmann, Carole Goble, Frank van Harmelen, Michel Klein, Steffen Staab, Rudi Studer, and Enrico Motta. OIL: The Ontology Inference Layer. Technical Report IR-479, Vrije Universiteit Amsterdam, Faculty of Sciences, September 2000. See http://www.ontoknowledge.org/oil/. [ bib | .pdf ]
This file has been generated using bibtex2html 1.75
Back to Ian Horrocks's home page.