!!Ian Horrocks - Publications
\\
More than 200 publications (refereed conference and journal papers; book chapters). H-Index: 74  and more than 26,000 citations overall according to Google Citations (May 1, 2012). Microsoft Academic Search "Top authors in Computer Science" list:  `Most cited computer science authors' list: number 59. Highly cited works according to Google Citations: OWL web ontology language reference cited 2,133 times; From SHIQ and RDF to OWL: The making of a web ontology language cited 1,216 times; Practical reasoning for expressive description logics cited 541 times.\\
\\
10 selected publications from the last 5 years (2007 to 2012), with citation counts from Google Citations:\\
\\
#Ian Horrocks and Ulrike Sattler. A tableau decision procedure for SHOIQ. J. of Automated Reasoning, 39(3):249–276, 2007. (349 citations) \\
# 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. (54 citations)\\
#B. Glimm, I. Horrocks, C. Lutz, and U. Sattler. Conjunctive Query Answering for the Description Logic SHIQ. J. Artif. Intell. Res., 31:151–198, 2008. (147 citations)\\
#Bernardo Cuenca Grau, Ian Horrocks, Yevgeny Kazakov, and Ulrike Sattler. Modular Reuse of Ontologies: Theory and Practice. J. of Artificial Intelligence Research, 31:273-318, 2008. (158 citations)\\
#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, 2008. (205 citations)\\
#Ian Horrocks. Ontologies and the semantic web. Communications of the ACM, 51(12):58–67, 2008. (88 citations)\\
#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. (15 citations)\\
#Boris Motik, Ian Horrocks, and Ulrike Sattler. Bridging the Gap Between OWL and Relational Databases. J. of Web Semantics, 7(2):74-89, 2009. (126 citations)\\
#Boris Motik, Rob Shearer, and Ian Horrocks. Hypertableau Reasoning for Description Logics. J. of Artificial Intelligence Research, 36:165-228, 2009. (97 citations)\\
#B. Cuenca Grau, B. Motik, G. Stoilos, and I. Horrocks. Completeness guarantees for incomplete ontology reasoners: Theory and practice. J. of Artificial Intelligence Research, 2011.