АссистентНовый вопросИсторияОбласти знаний
Партнёрские проектыСпецпроектыСтать автором
Сменить язык
О РУВИКИ

Хоррокс, Ян

Ян Роберт Хоррокс (англ. Ian Robert Horrocks; Пустой шаблон {{ВД-Преамбула}}) — британский учёный в области информатики, профессор Оксфордского университета и член Ориел-колледжа. Известен исследованиями в области представления знаний, в частности языков онтологий, дескрипционной логики и оптимизированных табличных процедур принятия решений[3]. Член Лондонского королевского общества.

Общие сведения
Ян Хоррокс
англ. Ian Robert Horrocks
Имя при рождении Ян Роберт Хоррокс
Дата рождения 11.3.1958[1]
Место рождения Ливерпуль
Род деятельности
Награды и премии

Медаль Лавлейс (2020)

Премия Роджера Нидема (2005)[2]

Образование

Хоррокс получил степени бакалавра наук (BSc), магистра наук (MSc) и доктора философии (PhD)[4] на факультете информатики Манчестерского университета.

Исследования и карьера

После нескольких лет работы преподавателем, старшим преподавателем, ридером и профессором в Манчестере, в 2008 году Хоррокс перешёл в Оксфордский университет. Его работа над табличным выводом для выразительных дескрипционных логик легла в основу большинства современных систем вывода, включая Racer, FaCT++, HermiT и Pellet[5].

Хоррокс участвовал в разработке языков онтологий OIL и DAML+OIL, а также сыграл ключевую роль в создании Web Ontology Language (OWL). Эти языки и связанные с ними инструменты используются консорциумом Open Biomedical Ontologies (OBO), Национальным институтом онкологии (NCI) в США, Продовольственной и сельскохозяйственной организацией ООН (FAO), Консорциумом Всемирной паутины (W3C)[6], а также рядом крупных корпораций и правительственных учреждений.

Его исследования частично финансируются Советом по инженерным и физическим наукам (EPSRC).

Хоррокс занимал должность главного редактора журнала Journal of Web Semantics с 2012 года[7] до конца 2022 года. Вместе с другими главными редакторами он покинул свой пост в журнале издательства Elsevier и стал главным редактором недавно основанного журнала открытого доступа Transactions on Graph Data and Knowledge. Хоррокс также был председателем программы 1-й International Semantic Web Conference (ISWC) в 2002 году и генеральным председателем ISWC 2010[8].

В 2020 году Хоррокс был награждён медалью Лавлейс за значительный вклад в развитие систем вывода. В 2011 году он был избран членом Лондонского королевского общества (FRS), а в 2005 году получил премию Роджера Нидема от Британского компьютерного общества (BCS)[2].

В 2017 году Хоррокс вместе с коллегами Бернардо Куэнкой Грау и Борисом Мотиком стал соучредителем университетского спин-оффа Oxford Semantic Technologies Limited[9][10].

Примечания

  1. ↑ Anon. Horrocks, Prof. Ian Robert. — online edition via Oxford University Press. — 2014. — doi:10.1093/ww/9780199540884.013.U250633.
  2. ↑ 1 2 Professor Ian Horrocks, Roger Needham award winners, via the British Computer Society
  3. ↑ Хоррокс, Ян: публикации, проиндексированные библиографической базой данных Scopus.  (требуется подписка)
  4. ↑ Horrocks, Ian Robert (1997). Optimising tableaux decision procedures for description logics. manchester.ac.uk (PhD thesis). University of Manchester. OCLC 644109415. Дата обращения 2026-07-16.
  5. ↑ Pellet: A practical OWL-DL reasoner // Web Semantics: Science, Services and Agents on the World Wide Web. — 2007. — Т. 5, № 2. — С. 51–53. — doi:10.1016/j.websem.2007.03.004. Архивировано 27 июня 2007 года.
  6. ↑ Ian Horrocks introduction on the www-webont-wg mailing list at the World Wide Web Consortium (W3C)
  7. ↑ Ian Horrocks appointed editor in chief of the Journal of Web Semantics. blogspot.co.uk (2012). Дата обращения: 22 августа 2012. Архивировано из оригинала 10 августа 2014 года.
  8. ↑ International Semantic Web Conference 2010, Organization. Retrieved 4 May 2023.
  9. ↑ Oxford Semantic Technologies Limited. oxfordsemantic.tech. Дата обращения: 16 июля 2026.
  10. ↑ Anon. Oxford Semantic Technologies Limited. gov.uk. London: Companies House (2017). Дата обращения: 16 июля 2026. Архивировано 26 июля 2023 года.

Категории