Из Википедии, бесплатной энциклопедии
Перейти к навигации Перейти к поиску
Чтобы узнать о пилоте вертолета британских Королевских ВВС, см. Яна Хоррокса (офицера Королевских ВВС) .

Ян Хоррокс

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

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

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

Образование [ править ]

Horrocks закончил бакалавр наук (КБС), магистр наук (MSc) [12] и доктор [13] градусы в Департаменте компьютерных наук в Университете Манчестера .

Исследования и карьера [ править ]

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

Хоррокс совместно отвечал за разработку языков онтологий OIL и DAML + OIL и играл центральную роль в разработке языка веб-онтологий (OWL). Эти языки и связанные с ними инструменты использовались Консорциумом открытых биомедицинских онтологий (OBO) [19] , Национальным институтом рака (NCI) в Америке, Продовольственной и сельскохозяйственной организацией Объединенных Наций (ООН) (ФАО), Консорциумом World Wide Web ( W3C) [20], а также ряд крупных корпораций и государственных учреждений. [5]

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

Horrocks является текущим редактором главным из журнала Web семантики [22] и служил в качестве программы стула для Международной конференции веб - семантической (ISWC). [ необходима цитата ]

Награды и награды [ править ]

Хоррокс был избран членом Королевского общества (FRS) в 2011 году [5] и выиграл Needham премии Роджера из Британского компьютерного общества (BCS) в 2005 году [3]

Ссылки [ править ]

  1. ^ Анон (2014). «Хоррокс, профессор Ян Роберт» . Кто есть кто . ukwhoswho.com (онлайн-издание через издательство Oxford University Press  ). A&C Black, отпечаток Bloomsbury Publishing plc. DOI : 10.1093 / ww / 9780199540884.013.U250633 . ( требуется подписка или членство в публичной библиотеке Великобритании ) (требуется подписка)
  2. ^ Grosof, BN; Хоррокс, I .; Volz, R .; Деккер, С. (2003). «Описание логических программ». Материалы двенадцатой международной конференции по всемирной паутине - WWW '03 . п. 48. DOI : 10,1145 / 775152,775160 . ISBN 978-1581136807.
  3. ^ a b Профессор Ян Хоррокс, лауреат премии Роджера Нидхэма , через Британское компьютерное общество
  4. ^ a b Публикации Иэна Хоррокса, проиндексированные Google Scholar
  5. ^ a b 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 . DOI : 10.1016 / j.websem.2003.07.001 .  
  9. ^ Ян Хоррокс публикации индексированных Scopus библиографической базы данных. (требуется подписка)
  10. ^ Ян Хоррокс странице профиля автора в ACM Digital Library
  11. ^ Atzenbeck, C. (2009). «Интервью с Яном Хорроксом». Информационный бюллетень ACM SIGWEB : 1–4. DOI : 10.1145 / 1592394.1592396 .
  12. ^ Хоррокс, Ян Роберт (1995). Сравнение двух систем представления терминологических знаний (магистерская диссертация). Манчестерский университет. Архивировано из оригинального 23 декабря 2012 года.
  13. ^ Хоррокс, Ян Роберт (1997). Оптимизация процедур принятия решений в таблицах для логики описания (PDF) (кандидатская диссертация). Манчестерский университет. OCLC 644109415 . Copac 36615243 .   
  14. ^ Царьков, Д .; Хоррокс, И. (2006). «FaCT ++ Description Logic Reasoner: Описание системы» (PDF) . Автоматизированное рассуждение . Конспект лекций по информатике. 4130 . С. 292–297. CiteSeerX 10.1.1.65.2672 . DOI : 10.1007 / 11814771_26 . ISBN   978-3-540-37187-8.
  15. ^ "HermiT Reasoner: Дом" . Проверено 2 июля 2011 года .
  16. ^ Б. Мотик, Р. Ширер и И. Хоррокс (2009). "Гипертаблицы для логики описания" (PDF) . Журнал исследований искусственного интеллекта . 36 : 165–228. DOI : 10.1613 / jair.2811 .
  17. ^ Motik, B .; Cuenca Grau, B .; Саттлер, У. (2008). «Структурированные объекты в сове: представление и рассуждения» (PDF) . Материалы 17-й международной конференции по всемирной паутине - WWW '08 . п. 555. DOI : 10,1145 / 1367497,1367573 . ISBN  9781605580852.
  18. ^ Сирин, E .; Parsia, B .; Грау, Британская Колумбия; Kalyanpur, A .; Кац, Ю. (2007). «Пеллет: практичный аргумент OWL-DL» (PDF) . Веб-семантика: наука, услуги и агенты во всемирной паутине . 5 (2): 51–53. DOI : 10.1016 / j.websem.2007.03.004 . Архивировано из оригинального (PDF) 27 июня 2007 года.
  19. ^ Golbreich, C .; Horridge, M .; Хоррокс, I .; Мотик, Б .; Ширер, Р. (2007). «OBO и OWL: Использование технологий семантической паутины для наук о жизни» (PDF) . Семантическая сеть . Конспект лекций по информатике. 4825 . С. 169–182. DOI : 10.1007 / 978-3-540-76298-0_13 . ISBN  978-3-540-76297-3.
  20. ^ Введение Ян Хоррокс в списке рассылки WWW-webont-Wg в World Wide Web Consortium (W3C)
  21. ^ Гранты правительства Великобритании на исследования присуждены Яну Хорроксу через Research Councils UK
  22. ↑ Ян Хоррокс назначен главным редактором журнала Web Semantics , 1 июля 2012 г.