Ян Хоррокс - Ian Horrocks

Для пилота вертолета британских Королевских ВВС см. Ян Хоррокс (офицер Королевских ВВС).

Ян Хоррокс

ФРС
Ян Хоррокс, мг 7439.jpg
Ян Хоррокс
Родившийся
Ян Роберт Хоррокс

(1958-03-11) 11 марта 1958 года (62 года)[1]
Ливерпуль
НациональностьБританский
Альма-матерМанчестерский университет (Бакалавр, магистр, доктор философии)
Известен
НаградыПремия Роджера Нидхема (2005)[3]
Научная карьера
Поля
Учреждения
ТезисОптимизация процедур принятия решений по таблицам для логики описания  (1997)
Интернет сайтcs.ox.ac.Великобритания/ ian.horrocks

Ян Роберт Хоррокс ФРС[5] является профессором Информатика на Оксфордский университет в Великобритании и Парень из Oriel College, Оксфорд.[6] Его исследования[4][7] фокусируется на представление знаний и рассуждения, особенно онтологические языки,[8] логика описания и оптимизирован картины процедуры принятия решений.[9][10][11]

Образование

Хоррокс завершил свое Бакалавр (Бакалавр), Магистр естественных наук (Магистр)[12] и кандидат наук[13] степени в Департамент компьютерных наук на Манчестерский университет.

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

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

Horrocks совместно отвечал за разработку нефтедобывающих и ДАМЛ + НЕФТЬ онтологий, и он сыграл центральную роль в развитии Язык веб-онтологий (СОВА). Эти языки и связанные с ними инструменты использовались Открытые биомедицинские онтологии (OBO)[19] Консорциум, Национальный институт рака (NCI) в Америке Объединенные Нации (ООН) Продовольственная и сельскохозяйственная организация (ФАО), Консорциум World Wide Web (W3C) [20] а также ряд крупных корпораций и государственных учреждений.[5]

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

Хоррокс - это нынешний Главный редактор из Журнал веб-семантики[22] и был председателем программы для Международная конференция по семантической паутине (ISWC).[нужна цитата ]

Награды и награды

Хоррокс был избран Член Королевского общества (ФРС) в 2011 г.[5] и выиграл Премия Роджера Нидхема из Британское компьютерное общество (BCS) в 2005 году.[3]

Рекомендации

  1. ^ Анон (2014). "Хоррокс, профессор Ян Роберт". Кто есть кто. ukwhoswho.com (онлайн-издание через Oxford University Press ред.). A&C Black, отпечаток Bloomsbury Publishing plc. Дои:10.1093 / ww / 9780199540884.013.U250633. (подписка или Членство в публичной библиотеке Великобритании требуется) (требуется подписка)
  2. ^ Grosof, B.N .; Хоррокс, I .; Volz, R .; Деккер, С. (2003). «Описание логических программ». Материалы двенадцатой международной конференции по всемирной паутине - WWW '03. п. 48. Дои:10.1145/775152.775160. ISBN  978-1581136807.
  3. ^ а б Профессор Иэн Хоррокс, лауреаты премии Роджера Нидхема, через Британское компьютерное общество
  4. ^ а б Ян Хоррокс публикации, проиндексированные Google ученый Отредактируйте это в Викиданных
  5. ^ а б c Анон (2011). "Профессор Ян Хоррокс". royalsociety.org. Королевское общество. Одно или несколько предыдущих предложений включают текст с веб-сайта royalsociety.org, где:

    «Весь текст, опубликованный под заголовком« Биография »на страницах профиля участника, доступен в Международная лицензия Creative Commons Attribution 4.0.” --Положения, условия и политика Королевского общества на Wayback Machine (Архивировано 11 ноября 2016 г.)

  6. ^ http://www.cs.ox.ac.uk/people/ian.horrocks/ Домашняя страница Иэна Хоррокса в Оксфордском университете
  7. ^ Ян Хоррокс в DBLP Сервер библиографии Отредактируйте это в Викиданных
  8. ^ Хоррокс, И.; Патель-Шнайдер, Питер; ван Хармелен, Франк (2003). «От SHIQ и RDF к OWL: создание языка веб-онтологий» (PDF). Веб-семантика: наука, услуги и агенты во всемирной паутине. 1: 7–26. CiteSeerX  10.1.1.2.7039. Дои:10.1016 / j.websem.2003.07.001.
  9. ^ Ян Хоррокс публикации, проиндексированные Scopus библиографическая база данных. (требуется подписка)
  10. ^ Ян Хоррокс страница профиля автора на ACM Цифровая библиотека
  11. ^ Атценбек, К. (2009). «Интервью с Яном Хорроксом». Информационный бюллетень ACM SIGWEB: 1–4. Дои:10.1145/1592394.1592396.
  12. ^ Хоррокс, Ян Роберт (1995). Сравнение двух терминологических систем представления знаний (Магистерская диссертация). Манчестерский университет. Архивировано из оригинал 23 декабря 2012 г.
  13. ^ Хоррокс, Ян Роберт (1997). Оптимизация процедур принятия решений по таблицам для логики описания (PDF) (Кандидатская диссертация). Манчестерский университет. OCLC  644109415. Копак  36615243.
  14. ^ Царьков, Д .; Хоррокс, И. (2006). "FaCT ++ Описание Логический аргумент: Описание системы" (PDF). Автоматическое мышление. Конспект лекций по информатике. 4130. С. 292–297. CiteSeerX  10.1.1.65.2672. Дои:10.1007/11814771_26. ISBN  978-3-540-37187-8.
  15. ^ "HermiT Reasoner: Главная". Получено 2 июля 2011.
  16. ^ Б. Мотик, Р. Ширер и И. Хоррокс (2009). «Гипертаблицы для логики описания» (PDF). Журнал исследований искусственного интеллекта. 36: 165–228. Дои:10.1613 / jair.2811.
  17. ^ Мотик, Б .; Cuenca Grau, B .; Саттлер, У. (2008). «Структурированные объекты в сове: представление и рассуждение» (PDF). Материалы 17-й международной конференции по всемирной паутине - WWW '08. п. 555. Дои:10.1145/1367497.1367573. ISBN  9781605580852.
  18. ^ Сирин, Э .; Parsia, B .; Grau, B.C .; Kalyanpur, A .; Кац, Ю. (2007). «Пеллет: практичный аргумент в пользу OWL-DL» (PDF). Веб-семантика: наука, услуги и агенты во всемирной паутине. 5 (2): 51–53. Дои:10.1016 / j.websem.2007.03.004. Архивировано из оригинал (PDF) 27 июня 2007 г.
  19. ^ Golbreich, C .; Horridge, M .; Хоррокс, I .; Мотик, Б .; Ширер, Р. (2007). «OBO и OWL: Использование технологий семантической паутины для наук о жизни» (PDF). Семантическая сеть. Конспект лекций по информатике. 4825. С. 169–182. Дои:10.1007/978-3-540-76298-0_13. ISBN  978-3-540-76297-3.
  20. ^ Введение Иэна Хоррокса в список рассылки www-webont-wg на Консорциум World Wide Web (W3C)
  21. ^ Грант правительства Великобритании на исследования предоставлен Яну Хорроксу, через Исследовательские советы Великобритании
  22. ^ Ян Хоррокс назначен главным редактором журнала Web Semantics, 1 июля 2012 г.