Ian Horrocks

Ian Horrocks

Ian Horrocks is a Professor of Computer Science at the University of Oxford in the UK. His research focuses on knowledge representation, particularly ontology languages, 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, [http://owl.man.ac.uk/factplusplus FaCT++] and [http://pellet.owldl.com/ Pellet] .

Prof. 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.

=External links=
* [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)
* [http://web.comlab.ox.ac.uk/oucl/work/ian.horrocks/ Ian Horrocks homepage at the University of Oxford]
* [http://www.cs.man.ac.uk/~horrocks Ian Horrocks former homepage at the University of Manchester]
* [http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/h/Horrocks:Ian.html Peer reviewed publications by Ian Horrocks] from DBLP
* [http://gow.epsrc.ac.uk/ViewPerson.aspx?PersonId=71179 Grants awarded to Ian Horrocks] by the UK Engineering and Physical Sciences Research Council
* [http://ontoworld.org/wiki/Ian_Horrocks Ian Horrocks on Ontoworld.org]
* [http://www.bcs.org/server.php?show=conWebDoc.2689|Roger Needham Award winner]


Wikimedia Foundation. 2010.

Игры ⚽ Нужно сделать НИР?

Look at other dictionaries:

  • Ian Horrocks (RAF officer) — Air Commodore Ian Horrocks was a British Royal Air Force helecopter pilot, a senior Royal Air Force officer in the 1970s and 1980s and a Commandant Royal Observer Corps. [http://www.rafweb.org/Grp09.htm] Horrocks was the Station Commander of RAF… …   Wikipedia

  • Horrocks — may refer to the following people: * Jeremiah Horrocks (c. 1618–1641), English astronomer * John Horrocks (1768–1804), British cotton manufacturer * John Horrocks (1816 1881), British born resident in Weimar, army officer, author, inventor,… …   Wikipedia

  • Ian Bannen — est un acteur britannique né le 29 juin 1928 et décédé le 3 novembre 1999. Filmographie 1951 : Pool of London : Garage Pump Attendant. 1956 : Private s Progress : Pvt. Horrocks 1956 : The Long… …   Wikipédia en Français

  • Ian Dury — Infobox musical artist | Name = Ian Dury Img capt = Ian Dury, on the cover of Sex and Drugs and Rock and Roll Img size = 150px Landscape = Background = solo singer Birth name = Ian Robins Dury Alias = Born = birth date|1942|05|12|df=y Harrow,… …   Wikipedia

  • Jane Horrocks — Infobox actor name = Jane Horrocks birthdate = birth date and age|1964|1|18|df=y birthplace = Rawtenstall, Lancashire birthname = Barbara Jane Horrocks spouse = Nick VivianJane Horrocks (born 18 January 1964) is an English actress, musician, and… …   Wikipedia

  • Description logic — (DL) is a family of formal knowledge representation languages. It is more expressive than propositional logic but has more efficient decision problems than first order predicate logic. DL is used in artificial intelligence for formal reasoning on …   Wikipedia

  • Web Ontology Language — OWL Web Ontology Language Current Status Published Year Started 2002 Editors Mike Dean, Guus Schreiber Base Standards Resource Description Framework, RDFS Domain Semantic Web A …   Wikipedia

  • Ontology Inference Layer — OIL (Ontology Inference Layer or Ontology Interchange Language) can be regarded as an Ontology infrastructure for the Semantic Web.[1] OIL is based on concepts developed in Description Logic (DL) and frame based systems and is compatible with… …   Wikipedia

  • List of user interface literature — Incomplete list of literature about the design of user interfaces:*Soren Lauesen: User Interface Design, A Software Engineering Perspective , Addison Wesley, ISBN 0 321 18143 3 *Ben Shneiderman, Catherine Plaisant: Designing the User Interface:… …   Wikipedia

  • Patrick J. Hayes — Patrick John Hayes or Pat Hayes (21 August 1944) is a British computer scientist who lives and works in the United States. As of March 2006, he is a Senior Research Scientist at the Institute for Human and Machine Cognition in Pensacola,… …   Wikipedia

Share the article and excerpts

Direct link
… Do a right-click on the link above
and select “Copy Link”