Франк ван Хармелен - Frank van Harmelen
 | Этот биография живого человека слишком полагается на Рекомендации к основные источники. (Сентябрь 2013) (Узнайте, как и когда удалить этот шаблон сообщения) |
Франк ван Хармелен | |
|---|---|
 | |
| Родившийся | 1960 (59–60 лет) |
| Альма-матер | Эдинбургский университет |
| Научная карьера | |
| Поля | Семантическая сеть[1] |
| Учреждения | Vrije Universiteit, Амстердам |
| Тезис | Об эффективности рассуждений на мета-уровне (1989) |
| Академические консультанты | Алан Банди[2] |
| Интернет сайт | www твиттер |
Франк ван Хармелен (1960 г.р.) голландец специалист в области информатики и профессор в представлении знаний и рассуждении в AI отдел в Vrije Universiteit Amsterdam. В настоящее время является научным руководителем проекта LarKC,[3] "с целью разработки Large Knowledge Collider, платформы для очень крупномасштабных семантическая сеть рассуждения ".[4][5][6]
биография
После изучения математики и информатики в Амстердаме Ван Хармелен перешел на факультет искусственного интеллекта Эдинбургский университет, где в 1989 г. он получил докторскую степень за исследования рассуждение на мета-уровне. Находясь в Эдинбурге, он «участвовал в разработке набора инструментов на основе логики для экспертных систем и работал с Алан Банди о планировании доказательства для индуктивного доказательства теорем ».[2][4]
После докторской диссертации он вернулся в Амстердам где работал с 1990 по 1995 год на кафедре SWI под руководством профессора Боб Вилинга, об использовании отражения в экспертные системы, на формальных основах методологии CommonKADS для систем, основанных на знаниях. В 1995 году он присоединился к исследовательской группе ИИ в Vrije Universiteit Amsterdam, где он был одним из руководителей проекта On-To-Knowledge, одного из первых проектов Semantic Web. Он был назначен профессором в 2002 году и возглавляет Группу представления знаний и рассуждений. В настоящее время он является научным руководителем проекта LarKC, нацеленного на разработку Large Knowledge Collider, платформы для очень больших масштабов. семантическая сеть рассуждения.[4]
Ван Хармелен был избран членом Королевская Нидерландская академия искусств и наук в 2017 году.[7][8]
Работа
Научные интересы Ван Хармелена включают: искусственный интеллект, представление знаний и семантическая сеть, примерные рассуждения и медицинские протоколы. Он был одним из соавторов проекта Язык веб-онтологий (OWL) и Уровень вывода онтологии (OIL) и опубликовал книги по метауровневому выводу, системам, основанным на знаниях, и семантической сети.
Публикации
Ван Хармелен опубликовал несколько книг и более 100 научных работ,[6] Книги:
- 1989. Представление знаний на основе логики. С П. Джексоном и Х. Райхгельтом. MIT Press, Кембридж, Массачусетс, 1989. ISBN 0-262-10038-X.
- 1991. Системы метауровневого вывода Ф. ван Хармелен. Заметки об исследованиях в области ИИ. Питманн, Морган Кауфманн, Лондон, Сан-Матео, Калифорния, 1991. ISBN 1-55860-196-1
- 2003. Навстречу семантической сети: управление знаниями на основе онтологий Совместно с Джоном Дэвисом и Дитером Фенселем (редакторы) John Wiley & Sons, 2002 г., ISBN 0-470-84867-7
- 2004. Учебник по семантической паутине (совместные информационные системы). С Григорисом Антониу. MIT Press. ISBN 0-262-01210-3
- 2004. Обмен информацией в семантической сети. С Хайнером Штукеншмидтом. Springer. ISBN 3-540-20594-2
- 2008. Справочник по представлению знаний. Совместно с В. Лифшицем и Б. Портером, Elsevier, 2008 г. ISBN 978-0-444-52211-5.
Статьи, подборка:
- Винк, Дж .; Koppens, P. C. J. M .; Van Harmelen, F.A .; Ван Воортуйсен, В. Э. (1981). «Гибкая обработка данных для рутинных количественных анализов с использованием газового хроматографа-масс-спектрометра под управлением компьютера». Журнал автоматической химии. 3 (2): 85–88. Дои:10.1155 / S1463924681000242. ЧВК 2547295. PMID 18927785.
- Renardel De Lavalette, G.R .; Groenboom, R .; Роттердам, Э .; Van Harmelen, F .; Ten Teije, A .; Де Геус, Ф. (1997). «Формализация поддержки принятия решений в анестезиологии». Искусственный интеллект в медицине. 11 (3): 189–214. CiteSeerX 10.1.1.78.2673. Дои:10.1016 / S0933-3657 (97) 00031-6. PMID 9413606.
- Vollebregt, A .; Ten Teije, A .; Van Harmelen, F .; Van Der Lei, J .; Моссевельд, М. (1999). «Исследование PROforma, методологии разработки клинических процедур». Искусственный интеллект в медицине. 17 (2): 195–221. CiteSeerX 10.1.1.27.2892. Дои:10.1016 / S0933-3657 (99) 00016-0. PMID 10518051.
- Короткий, М .; Middelburg, R .; Dekker, H .; Van Harmelen, F .; Ланкельма, Дж. (2004). «Инструмент для поиска PubMed на основе экспрессии генов путем объединения источников данных». Биоинформатика. 20 (12): 1980–1982. Дои:10.1093 / биоинформатика / bth183. PMID 15044238.
- Balser, M .; Coltell, O .; Van Croonenborg, J .; Duelli, C .; Van Harmelen, F .; Jovell, A .; Lucas, P .; Marcos, M .; Miksch, S .; Reif, W .; Rosenbrand, K .; Seyfang, A .; Тен Тейже, А. (2004). «Protocure: Поддержка разработки медицинских протоколов с помощью формальных методов». Исследования в области технологий здравоохранения и информатики. 101: 103–107. PMID 15537209.
- Ten Teije, A .; Marcos, M .; Balser, M .; Van Croonenborg, J .; Duelli, C .; Van Harmelen, F .; Lucas, P .; Miksch, S .; Reif, W .; Rosenbrand, K .; Сейфанг, А. (2006). «Улучшение медицинских протоколов формальными методами». Искусственный интеллект в медицине. 36 (3): 193–209. CiteSeerX 10.1.1.71.3147. Дои:10.1016 / j.artmed.2005.10.006. PMID 16376061.
- Serban, R .; Ten Teije, A .; Van Harmelen, F .; Marcos, M .; Поло-Конде, К. (2007). «Извлечение и использование лингвистических шаблонов для моделирования медицинских руководств». Искусственный интеллект в медицине. 39 (2): 137–149. Дои:10.1016 / j.artmed.2006.07.012. PMID 16963241.
- Groot, P .; Hommersom, A .; Лукас, П. Дж. Ф .; Merk, R.J .; Ten Teije, A .; Van Harmelen, F .; Сербан Р. (2009). «Использование проверки модели для критики на основе клинических руководств». Искусственный интеллект в медицине. 46 (1): 19–36. Дои:10.1016 / j.artmed.2008.07.007. PMID 18824335.
Рекомендации
- ^ Хоррокс, И.; Патель-Шнайдер, Питер; ван Хармелен, Франк (2003). «От SHIQ и RDF к OWL: создание языка веб-онтологий» (PDF). Веб-семантика: наука, услуги и агенты во всемирной паутине. 1: 7–26. CiteSeerX 10.1.1.2.7039. Дои:10.1016 / j.websem.2003.07.001.
- ^ а б Франк ван Хармелен на Проект "Математическая генеалогия"
- ^ Проект LarKC
- ^ а б c Домашняя страница Франка ван Хармелена в Vrije Universiteit Amsterdam. Проверено 6 октября 2008 года.
- ^ Франк ван Хармелен публикации, проиндексированные Google ученый
- ^ а б Франк ван Хармелен в DBLP Сервер библиографии
- ^ "KNAW kiest 26 nieuwe leden" (на голландском). Королевская Нидерландская академия искусств и наук. 10 мая 2017. Получено 14 мая 2017.
- ^ "Франк ван Хармелен". Королевская Нидерландская академия искусств и наук. Архивировано из оригинал 14 мая 2017 г.
