Ян Хоррокс
Ян Хоррокс | |
---|---|
Рожденный | Йен Роберт Хоррокс 11 марта 1958 г. [4] |
Национальность | Британский |
Альма-матер | Манчестерский университет (бакалавр, магистр, доктор философии) |
Известный | |
Награды | Медаль БКС Лавлейс (2020). [1] Премия Роджера Нидэма (2005) [2] |
Научная карьера | |
Поля | |
Учреждения | |
Тезис | Оптимизация процедур принятия решений в таблицах для логики описания (1997) |
Веб-сайт | www |
Ян Роберт Хоррокс, ФРС [6] — профессор информатики Оксфордского университета в Великобритании и член Ориэл -колледжа в Оксфорде . [7] Его исследования [3] [8] [9] фокусируется на представлении знаний и рассуждениях , особенно на языках онтологий , [10] логика описания и оптимизированные в виде таблиц процедуры принятия решений . [11] [12] [13]
Образование [ править ]
Хоррокс получил степень бакалавра наук (BSc), магистра наук (MSc). [14] и доктор философии [15] степени на факультете компьютерных наук университета Манчестерского . [4]
и карьера Исследования
После нескольких лет работы в качестве лектора , старшего преподавателя, доцента , а затем профессора в Манчестере, Хоррокс перешёл в Оксфордский университет в 2008 году. включая Racer, FaCT++, [16] ГермиТ [17] [18] [19] и Пелле. [20]
Хоррокс совместно отвечал за разработку языков онтологии OIL и DAML+OIL , а также сыграл центральную роль в разработке языка веб-онтологии (OWL). Эти языки и связанные с ними инструменты использовались Открытыми биомедицинскими онтологиями (OBO). [21] Консорциум, Национальный институт рака (NCI) в Америке, ООН ( Продовольственная и сельскохозяйственная организация ФАО), Консорциум Всемирной паутины (W3C) [22] а также ряд крупных корпораций и государственных учреждений. [6]
Его исследования частично финансируются Исследовательским советом по инженерным и физическим наукам (EPSRC). [23]
Хоррокс занимал должность главного редактора Journal of Web Semantics с 2012 года. [24] до конца 2022 года. Вместе с другими главными редакторами того времени он ушел со своей должности в журнале Elsevier и стал главным редактором недавно основанного с открытым доступом алмазного журнала Transactions on Graph Data and Knowledge . [25] Хоррокс также был программным руководителем 1-й Международной конференции по семантической сети (ISWC) в 2002 году. [26] и в качестве генерального председателя ISWC 2010. [27]
Награды и почести [ править ]
В 2020 году Хоррокс был награжден медалью BCS Lovelace в знак признания его значительного вклада в развитие систем мышления . [1]
Хоррокс был избран членом Королевского общества (FRS) в 2011 году. [6] и выиграл премию Роджера Нидхэма Британского компьютерного общества (BCS) в 2005 году. [2]
семантические технологии Оксфордские
В 2017 году Хоррокс стал соучредителем дочерней компании университета Oxford Semantic Technologies Limited. [28] с двумя его коллегами; Бернардо Куэнка Грау и Борис Мотик. [29]
Ссылки [ править ]
- ^ Перейти обратно: а б «Медаль BCS Lovelace 2020: Системы рассуждения | BCS» . bcs.org . Проверено 1 октября 2021 г.
- ^ Перейти обратно: а б Профессор Ян Хоррокс, лауреат премии Роджера Нидэма , через Британское компьютерное общество.
- ^ Перейти обратно: а б Публикации Яна Хоррокса, проиндексированные Google Scholar
- ^ Перейти обратно: а б Анон (2014). «Хоррокс, профессор Ян Роберт» . Кто есть кто (интернет-издание под ред. Oxford University Press ). А&С Черный. дои : 10.1093/ww/9780199540884.013.U250633 . (Требуется подписка или членство в публичной библиотеке Великобритании .)
- ^ Грософ, Б.Н.; Хоррокс, И.; Волц, Р.; Декер, С. (2003). «Описание логических программ». Материалы двенадцатой международной конференции по Всемирной паутине – WWW '03 . п. 48. дои : 10.1145/775152.775160 . ISBN 978-1581136807 . S2CID 6381308 .
- ^ Перейти обратно: а б с Анон (2011). «Профессор Ян Хоррокс» . royalsociety.org . Королевское общество . Одно или несколько предыдущих предложений включают текст с веб-сайта royalsociety.org, где:
«Весь текст, опубликованный под заголовком «Биография» на страницах профиля стипендиата, доступен по международной лицензии Creative Commons Attribution 4.0 ». - Условия и правила Королевского общества на Wayback Machine (архивировано 11 ноября 2016 г.)
- ^ www
.cs .ox .и .Великобритания /люди / Ян .horrocks - ^ Публикации Яна Хоррокса из Europe PubMed Central
- ^ Ян Хоррокс на DBLP библиографическом сервере
- ^ Хоррокс, И .; Патель-Шнайдер, Питер; ван Хармелен, Франк (2003). «От SHIQ и RDF до OWL: создание языка веб-онтологий» (PDF) . Веб-семантика: наука, сервисы и агенты во Всемирной паутине . 1 :7–26. CiteSeerX 10.1.1.2.7039 . дои : 10.1016/j.websem.2003.07.001 . S2CID 8277015 .
- ^ Публикации Яна Хоррокса, индексируемые библиографической базой данных Scopus . (требуется подписка)
- ^ Яна Хоррокса Страница профиля автора ACM. в цифровой библиотеке
- ^ Аценбек, К. (2009). «Интервью с Яном Хорроксом». Информационный бюллетень ACM SIGWEB . 2009 : 1–4. дои : 10.1145/1592394.1592396 . S2CID 7868854 .
- ^ Хоррокс, Ян Роберт (1995). Сравнение двух систем представления терминологических знаний (магистерская диссертация). Университет Манчестера. Архивировано из оригинала 23 декабря 2012 года.
- ^ Хоррокс, Ян Роберт (1997). Оптимизация процедур принятия решений по таблицам для логики описания . manchester.ac.uk (докторская диссертация). Университет Манчестера. OCLC 644109415 .
- ^ Царьков Д.; Хоррокс, И. (2006). «Описание FaCT++ Логическое обоснование: Описание системы» (PDF) . Автоматизированное рассуждение . Конспекты лекций по информатике. Том. 4130. стр. 292–297. CiteSeerX 10.1.1.65.2672 . дои : 10.1007/11814771_26 . ISBN 978-3-540-37187-8 .
- ^ «HermiT Reasoner: Домой» . Проверено 2 июля 2011 г.
- ^ Б. Мотик, Р. Ширер и И. Хоррокс (2009). «Рассуждения о гипертаблицах для логики описания» (PDF) . Журнал исследований искусственного интеллекта . 36 : 165–228. дои : 10.1613/jair.2811 . S2CID 190609 .
- ^ Мотик, Б.; Куэнка Грау, Б.; Саттлер, У. (2008). «Структурированные объекты в сове: представление и рассуждение» (PDF) . Материалы 17-й международной конференции по Всемирной паутине – WWW '08 . п. 555. дои : 10.1145/1367497.1367573 . ISBN 9781605580852 . S2CID 11221528 .
- ^ Сирин, Э.; Парсия, Б.; Грау, Британская Колумбия; Калянпур, А.; Кац, Ю. (2007). «Пеллет: практическое рассуждение OWL-DL» (PDF) . Веб-семантика: наука, сервисы и агенты во Всемирной паутине . 5 (2): 51–53. дои : 10.1016/j.websem.2007.03.004 . S2CID 101226 . Архивировано из оригинала (PDF) 27 июня 2007 года.
- ^ Гольбрайх, К.; Хорридж, М.; Хоррокс, И.; Мотик, Б.; Ширер, Р. (2007). «OBO и OWL: использование технологий семантической сети для наук о жизни» (PDF) . Семантическая сеть . Конспекты лекций по информатике. Том. 4825. стр. 169–182. дои : 10.1007/978-3-540-76298-0_13 . ISBN 978-3-540-76297-3 .
- ^ Введение Яна Хоррокса в списке рассылки www-webont-wg Консорциума Всемирной паутины (W3C)
- ↑ Гранты правительства Великобритании на исследования, присужденные Яну Хорроксу. Архивировано 8 августа 2014 г. в Wayback Machine , через Исследовательские советы Великобритании.
- ^ «Иэн Хоррокс назначен главным редактором журнала Web Semantics» . blogspot.co.uk . 2012.
- ^ «Транзакции с графовыми данными и знаниями (ТГДК), редколлегия» . tgdk.org . . Проверено 4 мая 2023 г.
- ^ Хоррокс, Ян ; Хендлер, Джеймс , ред. (2002). «Авангардная материя» . Материалы 1-й Международной конференции по семантической сети – ISWC '02 . Конспекты лекций по информатике. Том. 2342. Спрингер. дои : 10.1007/3-540-48005-6 . ISBN 3-540-43760-6 . S2CID 27631564 .
- ^ Международная конференция семантической сети 2010, Организация . Проверено 4 мая 2023 г.
- ^ «Оксфорд Семантик Технологии Лимитед» . oxfordsemantic.tech .
- ^ Анон (2017). «Оксфорд Семантик Технологии Лимитед» . gov.uk. Лондон: Дом компаний . Архивировано из оригинала 26 июля 2023 года.
- Британские исследователи искусственного интеллекта
- Живые люди
- Выпускники Манчестерского университета Виктории
- Члены кафедры компьютерных наук Оксфордского университета
- Стипендиаты Ориэл-колледжа, Оксфорд
- Члены Британского компьютерного общества
- Члены Королевского общества
- 1958 рождений
- Люди, связанные с факультетом компьютерных наук Манчестерского университета
- Люди семантической сети