Ian Horrocks

{{for|the British Royal Air Force helicopter pilot|Ian Horrocks (RAF officer)}}

{{Infobox scientist

| name = Ian Horrocks

| birth_name = Ian Robert Horrocks

| honorific_suffix = {{post-nominals|country=GBR|FRS|size=100%}}

| image = Ian Horrocks mg 7439.jpg

| image_size =

| alt =

| caption = Ian Horrocks

| birth_date = {{Birth date and age|df=yes|1958|3|11}}{{Who's Who | title=Horrocks, Prof. Ian Robert | id = U250633 | author=Anon|year = 2014 | doi=10.1093/ww/9780199540884.013.U250633 |edition = online edition via Oxford University Press}}

| birth_place = Liverpool

| death_date =

| death_place =

| residence =

| citizenship =

| nationality = British

| fields = {{Plainlist|

| workplaces = {{Plainlist|

| alma_mater = University of Manchester (BSc, MSc, PhD)

| thesis_title = Optimising tableaux decision procedures for description logics

| thesis_url = http://www.cs.ox.ac.uk/ian.horrocks/Publications/download/1997/phd.pdf

| thesis_year = 1997

| doctoral_advisor =

| academic_advisors =

| doctoral_students =

| notable_students =

| known_for = {{Plainlist|

Description Logic{{Cite book | doi = 10.1145/775152.775160| chapter = Description logic programs| title = Proceedings of the twelfth international conference on World Wide Web – WWW '03| pages = 48| year = 2003| last1 = Grosof | first1 = B. N. | last2 = Horrocks | first2 = I. | last3 = Volz | first3 = R. | last4 = Decker | first4 = S. | isbn = 978-1581136807| s2cid = 6381308}}
Web Ontology Language}}

| influences =

| influenced =

| awards = BCS Lovelace Medal (2020).{{cite web|title=BCS Lovelace Medal 2020: Reasoning Systems {{!}} BCS|url=https://www.bcs.org/articles-opinion-and-research/bcs-lovelace-medal-2020-reasoning-systems/|access-date=2021-10-01|website=bcs.org|language=en}}

Roger Needham Award (2005)[http://academy.bcs.org/content/roger-needham-lecture Professor Ian Horrocks, Roger Needham award winners], via the British Computer Society

| signature =

| signature_alt =

| footnotes =

| spouse =

| website = {{Official URL}}

}}

Ian Robert Horrocks {{post-nominals|country=GBR|FRS|size=100%}}{{cite web|url=http://royalsociety.org/people/ian-horrocks/|title=Professor Ian Horrocks|publisher= Royal Society|website=royalsociety.org|author=Anon|year=2011}} One or more of the preceding sentences incorporates text from the royalsociety.org website where: {{blockquote|“All text published under the heading 'Biography' on Fellow profile pages is available under Creative Commons Attribution 4.0 International License.” --{{Webarchive|url=https://web.archive.org/web/20161111170346/https://royalsociety.org/about-us/terms-conditions-policies/|title=Royal Society Terms, conditions and policies|date=2016-11-11}}}} is a professor of computer science at the University of Oxford in the UK and a Fellow of Oriel College, Oxford.{{Official URL}} His research{{Google scholar id}}{{EuropePMC}}{{DBLP}} focuses on knowledge representation and reasoning, particularly ontology languages,{{Cite journal | last1 = Horrocks | first1 = I. | author-link1 = Ian Horrocks| last2 = Patel-Schneider | first2 = Peter| last3 = van Harmelen | first3 = Frank| author-link3 = Frank van Harmelen| doi = 10.1016/j.websem.2003.07.001 | url = http://www.comlab.ox.ac.uk/people/ian.horrocks/Publications/download/2003/HoPH03a.pdf| title = From SHIQ and RDF to OWL: The making of a Web Ontology Language | journal = Web Semantics: Science, Services and Agents on the World Wide Web | volume = 1 | pages = 7–26 | year = 2003 | citeseerx = 10.1.1.2.7039 | s2cid = 8277015 }} description logic and optimised tableaux decision procedures.{{Scopus id}}{{ACMPortal|id=81100468025}}{{Cite journal | doi = 10.1145/1592394.1592396| title = Interview with Ian Horrocks| journal = ACM SIGWEB Newsletter| pages = 1–4| year = 2009| last1 = Atzenbeck | first1 = C. | volume = 2009| s2cid = 7868854}}

Education

Horrocks completed his Bachelor of Science (BSc), Master of Science (MSc){{cite thesis|degree=MSc|first=Ian Robert |last=Horrocks|title=A comparison of two terminological knowledge representation systems|publisher=University of Manchester|year=1995|url=http://catalogue.library.manchester.ac.uk/items/886189|archive-url=https://archive.today/20121223065628/http://catalogue.library.manchester.ac.uk/items/886189|url-status=dead|archive-date=2012-12-23}} and PhD{{cite thesis|degree=PhD|first=Ian Robert |last=Horrocks|title=Optimising tableaux decision procedures for description logics|year=1997|oclc=644109415|url=https://www.librarysearch.manchester.ac.uk/permalink/44MAN_INST/1r887gn/alma992983072901101631|publisher=University of Manchester|website=manchester.ac.uk}} degrees in the Department of Computer Science at the University of Manchester.

Research and career

After several years as a lecturer, senior lecturer, reader then Professor in Manchester, Horrocks moved to the University of Oxford in 2008. His work on tableau reasoning for very expressive description logics has formed the basis of most description logic reasoning systems in use today, including Racer, FaCT++,{{Cite book | last1 = Tsarkov | first1 = D. | last2 = Horrocks | first2 = I. | chapter = FaCT++ Description Logic Reasoner: System Description | doi = 10.1007/11814771_26 | chapter-url = http://www.cs.ox.ac.uk/ian.horrocks/Publications/download/2006/TsHo06a.pdf| title = Automated Reasoning | series = Lecture Notes in Computer Science | volume = 4130 | pages = 292–297 | year = 2006 | isbn = 978-3-540-37187-8 | citeseerx = 10.1.1.65.2672 }} HermiT{{cite web |url=http://hermit-reasoner.com/ |title=HermiT Reasoner: Home |access-date=2 July 2011}}{{cite journal | author = B. Motik, R. Shearer and I. Horrocks | year = 2009 | title = Hypertableau Reasoning for Description Logics | journal = Journal of Artificial Intelligence Research | volume = 36 | pages = 165–228 | doi = 10.1613/jair.2811 | s2cid = 190609 | url = http://www.hermit-reasoner.com/publications/msh08hypertableau-journal.pdf | doi-access = free }}{{Cite book | last1 = Motik | first1 = B. | last2 = Cuenca Grau | first2 = B. | last3 = Sattler | first3 = U. | author-link3 = Ulrike Sattler| doi = 10.1145/1367497.1367573 | chapter = Structured objects in owl: representation and reasoning | title = Proceedings of the 17th international conference on World Wide Web – WWW '08 | pages = 555 | year = 2008 | isbn = 9781605580852 | s2cid = 11221528 | chapter-url = http://www2008.org/papers/pdf/p555-motikA.pdf}} and Pellet.{{Cite journal|last1=Sirin |first1=E. |last2=Parsia |first2=B. |last3=Grau |first3=B. C. |last4=Kalyanpur |first4=A. |last5=Katz |first5=Y. |title=Pellet: A practical OWL-DL reasoner |url=http://pellet.owldl.com/papers/sirin05pellet.pdf |doi=10.1016/j.websem.2007.03.004 |journal=Web Semantics: Science, Services and Agents on the World Wide Web |volume=5 |issue=2 |pages=51–53 |year=2007 |s2cid=101226 |url-status=dead |archive-url=https://web.archive.org/web/20070627202215/http://pellet.owldl.com/papers/sirin05pellet.pdf |archive-date=27 June 2007 }}

Horrocks was jointly responsible for development of the OIL and DAML+OIL ontology languages, and he played a central role in the development of the Web Ontology Language (OWL). These languages and associated tools have been used by Open Biomedical Ontologies (OBO){{Cite book | last1 = Golbreich | first1 = C. | last2 = Horridge | first2 = M. | last3 = Horrocks | first3 = I. | last4 = Motik | first4 = B. | last5 = Shearer | first5 = R. | chapter = OBO and OWL: Leveraging Semantic Web Technologies for the Life Sciences | doi = 10.1007/978-3-540-76298-0_13 | title = The Semantic Web | series = Lecture Notes in Computer Science | volume = 4825 | pages = 169–182 | year = 2007 | chapter-url = http://www.cs.ox.ac.uk/people/ian.horrocks/Publications/download/2007/GHHMS07.pdf| isbn = 978-3-540-76297-3 }} Consortium, the National Cancer Institute (NCI) in America, the United Nations (UN) Food and Agriculture Organization (FAO), the World Wide Web Consortium (W3C) [http://lists.w3.org/Archives/Public/www-webont-wg/2001Nov/0024.html Ian Horrocks introduction on the www-webont-wg mailing list] at the World Wide Web Consortium (W3C) and a range of major corporations and government agencies.

His research is partly funded by the Engineering and Physical Sciences Research Council (EPSRC).[http://gtr.rcuk.ac.uk/person/0691CF8B-41DC-4885-8525-A7C3A2EC64C6 UK Government research grants awarded to Ian Horrocks] {{Webarchive|url=https://web.archive.org/web/20140808054135/http://gtr.rcuk.ac.uk/person/0691CF8B-41DC-4885-8525-A7C3A2EC64C6 |date=8 August 2014 }}, via Research Councils UK

Horrocks served as editor-in-chief of Journal of Web Semantics from 2012{{cite web|url=http://journalofwebsemantics.blogspot.co.uk/2012/07/ian-horrocks-appointed-editor-in-chief.html|website=blogspot.co.uk|title= Ian Horrocks appointed editor in chief of the Journal of Web Semantics|year= 2012}} until late 2022. Together with the other editors-in-chief at the time, he resigned from his position at the Elsevier journal, and became editor-in-chief of the newly founded diamond open access journal Transactions on Graph Data and Knowledge.{{cite journal |last1=Hogan |first1=Aidan |last2=Horrocks |first2=Ian |last3=Hotho |first3=Andreas |last4=Kagal |first4=Lalana |title=Transactions on Graph Data and Knowledge |journal=Trans. Graph Data Knowl. |date=December 2023 |volume=1 |issue=1 |pages=1:1–1:4 |doi=10.4230/TGDK.1.1.1|doi-access= free}} Horrocks also served as program chair of the 1st International Semantic Web Conference (ISWC) in 2002{{cite book | editor-last1 = Horrocks | editor-first1 = Ian | editor-link1=Ian Horrocks | editor-last2 = Hendler | editor-first2 = James | editor-link2=James Hendler| doi = 10.1007/3-540-48005-6 | chapter = Front Matter | title = Proceedings of the 1st International Semantic Web Conference – ISWC '02 | year = 2002 | isbn = 3-540-43760-6 | chapter-url = https://link.springer.com/content/pdf/bfm:978-3-540-48005-1/1?pdf=chapter%20toc | publisher = Springer | series= Lecture Notes in Computer Science | volume=2342| s2cid = 27631564 }} and as the general chair of ISWC 2010.[http://iswc2010.semanticweb.org/node/5.html International Semantic Web Conference 2010, Organization]. Retrieved 4 May 2023.

=Awards and honours=

In 2020 Horrocks was awarded the BCS Lovelace Medal in recognition of his significant contribution to the advancement of reasoning systems.

Horrocks was elected a Fellow of the Royal Society (FRS) in 2011 and won the Roger Needham Award of the British Computer Society (BCS) in 2005.

=Oxford Semantic Technologies=

In 2017 Horrocks co-founded the University spin-off Oxford Semantic Technologies Limited{{cite web|url=https://www.oxfordsemantic.tech|website=oxfordsemantic.tech|title=Oxford Semantic Technologies Limited}} with two of his colleagues; Bernardo Cuenca Grau and Boris Motik.{{cite web|url=https://find-and-update.company-information.service.gov.uk/company/10531895|website=gov.uk|publisher=Companies House|location=London|author=Anon|year=2017|title=Oxford Semantic Technologies Limited|archiveurl=https://web.archive.org/web/20230726122100/https://find-and-update.company-information.service.gov.uk/company/10531895|archivedate=2023-07-26}}

References

Category:British artificial intelligence researchers

Category:Living people

Category:Alumni of the Victoria University of Manchester

Category:Members of the Department of Computer Science, University of Oxford

Category:Fellows of Oriel College, Oxford

Category:Fellows of the British Computer Society

Category:Fellows of the Royal Society

Category:1958 births

Category:People associated with the Department of Computer Science, University of Manchester

Category:Semantic Web people