Майкл Грюнингер
Майкл Грюнингер | |
---|---|
Рожденный | Маграт, Альберта, Канада |
Национальность | Канадский |
Альма-матер | Университет Альберты , Университет Торонто |
Известный | Язык спецификации процесса Общая логика БУКСИРОВКА вопросы компетентности верхние онтологии |
Научная карьера | |
Поля | Прикладная онтология , представление знаний |
Учреждения | Университет Торонто , Национальный институт стандартов и технологий |
Докторантура | Раймонд Рейтер |
Майкл Грунингер — канадский ученый-компьютерщик и профессор промышленной инженерии Университета Торонто , известный своими работами по онтологиям в информатике. [1] [2] в частности, с языком спецификации процессов , а также в моделировании предприятия в рамках проекта TOVE с Марком С. Фоксом .
Биография
[ редактировать ]Грюнингер изучал информатику и получил степень бакалавра в 1987 году в Университете Альберты и степень магистра в 1989 году. [3] в университете , где в 2000 году он также получил докторскую степень, защитив диссертацию на тему «Логические основы распознавания объектов на основе формы».
В 1993 году Грюнингер начал свою карьеру в качестве исследователя в Лаборатории интеграции предприятий Университета Торонто, факультет машиностроения и промышленной инженерии. С 2000 по 2005 год он был научным сотрудником Института системных исследований Университета Мэриленда в Колледж-Парке и приглашенным исследователем в отделе интеграции производственных систем Национального института стандартов и технологий (NIST). С 2005 годаон был профессором промышленной инженерии в Университете Торонто , где возглавлял лабораторию семантических технологий.
Исследовательские интересы Грюнингера лежат в области «разработки и формальной характеристики теорий математической логики и их применения к проблемам производства и проектирования предприятий». [4]
Грюнингер — президент Международной ассоциации онтологии и ее приложений (IAOA) и главный редактор журнала Applied Ontology Journal.
Публикации
[ редактировать ]Грюнингер является автором и соавтором множества публикаций в своей области знаний. [5] [6] Выбор:
- Грюнингер, Майкл и Марк С. Фокс . «Методология проектирования и оценки онтологий». (1995).
- Ушольд, Майк и Майкл Грюнингер. «Онтологии: принципы, методы и приложения». Обзор инженерии знаний 11.2 (1996): 93-136.
- Фокс, Марк С. и Майкл Грюнингер. «Моделирование предприятия». Журнал АИ 19.3 (1998): 109.
- Грюнингер, Майкл и Джинтэ Ли. «ОНТОЛОГИЯ». Сообщения ACM 45.2 (2002): 39.
- Ушольд, Майкл и Майкл Грюнингер. «Онтологии и семантика для бесшовной связи». Запись ACM SIGMod 33.4 (2004): 58-64.
Ссылки
[ редактировать ]- ^ Вулдридж, Майкл. Введение в мультиагентные системы. Уайли. ком, 2008.
- ^ Гуарино, Никола, изд. Формальная онтология в информационных системах: материалы Первой международной конференции (FOIS'98), 6–8 июня, Тренто, Италия. Том. 46. ИОС пресс, 1998.
- ^ AAAI 96 Тринадцатой национальной конференции по искусственному интеллекту , 1996 г. По состоянию на 10 октября 2013 г. Брошюра
- ^ Майкл Грюнингер из лаборатории семантических технологий. По состоянию на 10 октября 2013 г.
- ^ Михаэль Грюнингер на DBLP библиографическом сервере
- ^ Публикации Майкла Грюнингера, проиндексированные Google Scholar.
Внешние ссылки
[ редактировать ]- Майкл Грюнингер из лаборатории семантических технологий.