University of Oxford Logo University of OxfordDepartment of Computer Science - Home
On Facebook
Facebook
Follow us on twitter
Twitter
Linked in
Linked in
Flickr
Flickr
Google plus
Google plus
Digg
Digg
Pinterest
Pinterest
Stumble Upon
Stumble Upon
           Complete Selected Recent Most-cited           

Selected Publications


Markus Krötzsch, František Simančík, and Ian Horrocks. A Description Logic Primer. CoRR, abs/1201.4089, 2012. [ bib | http ]

Ian Horrocks, Martin Giese, Evgeny Kharlamov, and Arild Waaler. Using Semantic Technology to Tame the Data Variety Challenge. IEEE Internet Computing, 20:62-66, 2016. [ bib | DOI ]

Robert Piro, Yavor Nenov, Boris Motik, Ian Horrocks, Peter Hendler, Scott Kimberly, and Michael Rossman. Semantic Technologies for Data Analysis in Health Care. In Proc. of the 15th International Semantic Web Conference (ISWC 2016), Lecture Notes in Computer Science. Springer, 2016. [ bib | .pdf ]

Anthony Potter, Boris Motik, Yavor Nenov, and Ian Horrocks. Distributed RDF Query Answering with Dynamic Data Exchange. In Proc. of the 15th International Semantic Web Conference (ISWC 2016), Lecture Notes in Computer Science. Springer, 2016. [ bib | .pdf ]

Yavor Nenov, Robert Piro, Boris Motik, Ian Horrocks, Zhe Wu, and Jay Banerjee. RDFox: A Highly-Scalable RDF Store. In Proc. of the 14th International Semantic Web Conference (ISWC 2015), Lecture Notes in Computer Science. Springer, 2015. [ bib | .pdf ]

Evgeny Kharlamov, Dag Hovland, Ernesto Jiménez-Ruiz, Davide Lanti, Christoph Pinkel, Martin Rezk, Martin G. Skjæveland, Evgenij Thorstensen, Guohui Xiao, Dmitriy Zheleznyakov, Eldar Bjørge, and Ian Horrocks. Ontology Based Access to Exploration Data at Statoil. In Proc. of the 14th International Semantic Web Conference (ISWC 2015), volume 9367 of Lecture Notes in Computer Science, pages 93-112. Springer, 2015. [ bib | .pdf ]

František Simančík, Boris Motik, and Ian Horrocks. Consequence-Based and Fixed-Parameter Tractable Reasoning in Description Logics. Artificial Intelligence, 209:29-77, 2014. [ bib | DOI | .pdf ]

Yujiao Zhou, Yavor Nenov, Bernardo Cuenca Grau, and Ian Horrocks. Pay-as-you-go OWL Query Answering Using a Triple Store. In Proc. of the 28th Nat. Conf. on Artificial Intelligence (AAAI 14), pages 1142-1148. AAAI Press, 2014. [ bib | .pdf ]

Boris Motik, Yavor Nenov, Robert Piro, Ian Horrocks, and Dan Olteanu. Parallel Materialisation of Datalog Programs in Centralised, Main-Memory RDF Systems. In Proc. of the 28th Nat. Conf. on Artificial Intelligence (AAAI 14), pages 129-137. AAAI Press, 2014. [ bib | .pdf ]

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 | DOI | .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 | DOI | .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 | DOI | .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 | DOI | .pdf ]

Ian Horrocks and Ulrike Sattler. A Tableau Decision Procedure for SHOIQ. J. of Automated Reasoning, 39(3):249-276, 2007. [ bib | DOI | .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's home page.