| Complete, | Selected, | Recent, | Most-cited |
Selected Publications
Pan Hu, Boris Motik, and Ian Horrocks. Modular materialisation of Datalog programs. Artificial Intelligence, 308:103726, 2022. [ bib | DOI | .pdf ]
Alessandro Ronca, Mark Kaminski, Bernardo Cuenca Grau, and Ian Horrocks. The delay and window size problems in rule-based stream reasoning. Artificial Intelligence, 306:103668, 2022. [ bib | .pdf ]
Mark Kaminski, Egor V. Kostylev, Bernardo Cuenca Grau, Boris Motik, and Ian Horrocks. The Complexity and Expressive Power of Limit Datalog. J. of the ACM, 69(1):6:1-6:83, 2022. [ bib | DOI | .pdf ]
Franz Baader, Ian Horrocks, Carsten Lutz, and Uli Sattler. An Introduction to Description Logic. Cambridge University Press, 2017. [ bib | http ]
Markus Krötzsch, František Simančík, and Ian Horrocks. A Description Logic Primer. CoRR, abs/1201.4089, 2012. [ bib | http ]
David Tena Cucala, Bernardo Cuenca Grau, and Ian Horrocks. Pay-as-you-go consequence-based reasoning for the description logic SROIQ. Artificial Intelligence, 298:103518, 2021. [ bib | .pdf ]
Jiaoyan Chen, Pan Hu, Ernesto Jiménez-Ruiz, Ole Magnus Holter, Denvar Antonyrajah, and Ian Horrocks. OWL2Vec*: embedding of OWL ontologies. Mach. Learn., 110(7):1813-1845, 2021. [ bib | DOI | http ]
Boris Motik, Yavor Nenov, Robert Piro, and Ian Horrocks. Maintenance of datalog materialisations revisited. Artificial Intelligence, 269:76-136, 2019. [ bib | DOI | .pdf ]
Charalampos Nikolaou, Egor V. Kostylev, George Konstantinidis, Mark Kaminski, Bernardo Cuenca Grau, and Ian Horrocks. Foundations of ontology-based data access under bag semantics. Artificial Intelligence, 274:91-132, 2019. [ bib | DOI | .pdf ]
Andrew Bate, Boris Motik, Bernardo Cuenca Grau, David Tena Cucala, František Simančík, and Ian Horrocks. Consequence-Based Reasoning for Description Logics with Disjunctions and Number Restrictions. J. of Artificial Intelligence Research, 63:625-690, 2018. [ bib | http ]
Anthony Potter, Boris Motik, Yavor Nenov, and Ian Horrocks. Dynamic Data Exchange in Distributed RDF Stores. IEEE Trans. on Knowledge and Data Engineering, 30(12):2312-2325, 2018. [ bib | DOI | .pdf ]
Mark Kaminski, Bernardo Cuenca Grau, Egor V. Kostylev, Boris Motik, and Ian Horrocks. Foundations of Declarative Data Analysis Using Limit Datalog Programs. In Carles Sierra, editor, Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, IJCAI 2017, Melbourne, Australia, August 19-25, 2017, pages 1123-1130. ijcai.org, 2017. [ bib | DOI | 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.