Ian Horrocks: Difference between revisions

Edit links
From Wikipedia, the free encyclopedia
Browse history interactively
← Previous editNext edit →
Content deleted Content added
VisualWikitext
m rewording opening sentence
Line 16: Line 16:
| alma_mater = [[University of Manchester]]
| alma_mater = [[University of Manchester]]
| doctoral_advisor =
| doctoral_advisor =
| academic_advisors =
| academic_advisors = [[Alan Rector]]
| doctoral_students = Birte Glimm,<br> Despoina Magka, <br>Hector Perez-Urbina, <br>Rob Shearer,<br> Frantisek Simancik
| doctoral_students =
| notable_students =
| notable_students = Matthew Horridge
| known_for = [[Knowledge representation]], [[automated reasoning]], [[Description Logic]], [[Web Ontology Language|Ontology languages]]
| known_for = [[Knowledge representation]], [[automated reasoning]], [[Description Logic]], [[Web Ontology Language|Ontology languages]]
| author_abbrev_bot =
| author_abbrev_bot =
Line 24: Line 24:
| influences =
| influences =
| influenced =
| influenced =
| awards = [[British Computer Society]] [[Roger Needham]] award<ref>http://www.bcs.org/content/conWebDoc/2689 Professor Ian Horrocks, Roger Needham award winners</ref>
| awards = [[British Computer Society]] [[Roger Needham]] award<ref>http://www.bcs.org/content/conWebDoc/2689 Professor Ian Horrocks, Roger Needham award winners</ref>, Fellow of the [[Royal Society]], FRS
| signature = <!--(filename only)-->
| signature = <!--(filename only)-->
| signature_alt =
| signature_alt =
Line 30: Line 30:
| spouse =
| spouse =
}}
}}
Professor '''Ian Horrocks''' is a [[Computer Science|Computer Scientist]] at the [[University of Oxford]] in the UK and a [[Oxbridge Fellow|Fellow]] of [[Oriel College, Oxford]] <ref>http://web.comlab.ox.ac.uk/oucl/work/ian.horrocks/ Ian Horrocks homepage at the University of Oxford</ref>. His research focuses on [[knowledge representation]], particularly [[ontology language (computer science)|ontology languages]] <ref>{{cite doi|10.1016/j.websem.2003.07.001}}</ref>, [[description logics]], and optimised reasoning [[algorithm]]s.
'''Ian Horrocks''' [[Royal Society|FRS]]<ref>http://royalsociety.org/people/ian-horrocks/ Professor Ian Horrocks FRS at the Royal Society</ref> is a Professor of [[Computer Science]] at the [[University of Oxford]] in the UK and a [[Oxbridge Fellow|Fellow]] of [[Oriel College, Oxford]] <ref>http://web.comlab.ox.ac.uk/oucl/work/ian.horrocks/ Ian Horrocks homepage at the University of Oxford</ref>. His research focuses on [[knowledge representation]], particularly [[ontology language (computer science)|ontology languages]] <ref>{{cite doi|10.1016/j.websem.2003.07.001}}</ref>, [[description logics]], and optimised reasoning [[algorithm]]s.


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 system|Racer]], [http://owl.man.ac.uk/factplusplus FaCT++] and [http://pellet.owldl.com/ Pellet].
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, [http://owl.man.ac.uk/factplusplus FaCT++] and [http://pellet.owldl.com/ Pellet].


Professor 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.
Professor 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 have been used by the [[Open Biomedical Ontologies]]<ref>{{cite doi|10.1007/978-3-540-76298-0_13}}</ref> Consortium, the [[National Cancer Institute]] in America, the [[United Nations]] [[Food and Agriculture Organization]] the [[World Wide Web Consortium]], and a range of major corporations and government agencies{{citation-needed}}.


==References==
==References==
Line 54: Line 54:
[[Category:Fellows of Oriel College, Oxford]]
[[Category:Fellows of Oriel College, Oxford]]
[[Category:Fellows of the British Computer Society]]
[[Category:Fellows of the British Computer Society]]
[[Category:Fellows of the Royal Society]]
[[Category:Year of birth missing (living people)]]
[[Category:Year of birth missing (living people)]]


Revision as of 15:37, 16 June 2011

Professor Ian Horrocks
Ian Horrocks
Nationality (legal)British
Alma materUniversity of Manchester
Known forKnowledge representation, automated reasoning, Description Logic, Ontology languages
AwardsBritish Computer Society Roger Needham award[1], Fellow of the Royal Society, FRS
Scientific career
InstitutionsUniversity of Oxford
Academic advisorsAlan Rector
Doctoral studentsBirte Glimm,
Despoina Magka,
Hector Perez-Urbina,
Rob Shearer,
Frantisek Simancik
Other notable studentsMatthew Horridge

Ian Horrocks FRS[2] is a Professor of Computer Science at the University of Oxford in the UK and a Fellow of Oriel College, Oxford [3]. His research focuses on knowledge representation, particularly ontology languages [4], description logics, and optimised reasoning algorithms.

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++ and Pellet.

Professor 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 have been used by the Open Biomedical Ontologies[5] Consortium, the National Cancer Institute in America, the United Nations Food and Agriculture Organization the World Wide Web Consortium, and a range of major corporations and government agencies[citation needed].

References

  1. ^ http://www.bcs.org/content/conWebDoc/2689 Professor Ian Horrocks, Roger Needham award winners
  2. ^ http://royalsociety.org/people/ian-horrocks/ Professor Ian Horrocks FRS at the Royal Society
  3. ^ http://web.comlab.ox.ac.uk/oucl/work/ian.horrocks/ Ian Horrocks homepage at the University of Oxford
  4. ^ Attention: This template ({{cite doi}}) is deprecated. To cite the publication identified by doi:10.1016/j.websem.2003.07.001, please use {{cite journal}} (if it was published in a bona fide academic journal, otherwise {{cite report}} with |doi=10.1016/j.websem.2003.07.001 instead.
  5. ^ Attention: This template ({{cite doi}}) is deprecated. To cite the publication identified by doi:10.1007/978-3-540-76298-0_13, please use {{cite journal}} (if it was published in a bona fide academic journal, otherwise {{cite report}} with |doi=10.1007/978-3-540-76298-0_13 instead.

External links

Stub icon

This biography article of a United Kingdom academic is a stub. You can help Wikipedia by expanding it.

Retrieved from "https://en.wikipedia.org/w/index.php?title=Ian_Horrocks&oldid=434602083"