Ульрика Саттлер

Ульрика Саттлер
ЕСТЬ
Ульрика Саттлер ЕСТЬ
Национальность	немецкий
Известный	Язык веб-онтологий (OWL)
Награды	Член Европейской академии (2014). ; Десятилетняя премия SWSA (2018) ;
	Научная карьера
Поля	Описание Логика ; Онтологическая инженерия ; Автоматизированное рассуждение ;
Учреждения	Манчестерский университет ; Университет Осло ; Дрезденский технологический университет ; Университет Райса ; RWTH Ахенский университет ;
Диссертация	Системы представления технологических знаний в приложениях химического машиностроения (1998)
Докторантура	Франц Баадер
Веб-сайт	www .cs .мужчина .и .uk /~sattler ; www .Манчестер .и .uk /исследовать / снова .sattler ;

Ульрика М. Саттлер MAE — профессор информатики . в управления информацией группе факультета компьютерных наук университета Манчестерского ^[5]^[6] и приглашенный профессор Университета Осло . ^[7]

Образование

Саттлер защитила докторскую диссертацию в 1998 году под руководством Франца Баадера. ^[4] в RWTH Ахенском университете в Германии.

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

Саттлер перешел в Манчестерский университет в качестве старшего преподавателя в 2003 году, получил звание читателя в 2006 году, а затем профессора в 2007 году. ^[1] Исследование Саттлера ^[3]^[8]^[9] фокусируется на логике для поддержки представления знаний, включая логику описания , ^[10]^[11] Динамическая логика и модальная логика . Она также исследует проблемы вывода , теорию сложности и процедуры принятия решений, связанные с представлением знаний. Это исследование сыграло важную роль в разработке языка веб-онтологии (OWL). ^[12] и его использование в биоинформатике и молекулярной биологии . ^[13]^[14]^[15]

Исследование Саттлера финансировалось Исследовательским советом инженерных и физических наук (EPSRC). ^[16] Она является соавтором учебника «Введение в описательную логику» совместно с Яном Хорроксом , Францем Баадером и Карстеном Лутцем. ^[7]

Академическая служба

Саттлер является редактором «Журнала логики и вычислений» , членом редакционной коллегии « Журнала автоматического рассуждения» и председателем различных конференций, включая Международную совместную конференцию по автоматизированному рассуждению (IJCAR). ^[17]

Награды и почести

Саттлер был избран членом Европейской академии (MAE) в 2014 году. ^[1] Вместе с Биджаном Парсией [ Викиданные ] и Мэтью Хорриджем она была лауреатом премии за лучшую работу на Международной конференции по семантической сети (ISWC) в 2008 году. ^[18]^[19] который впоследствии получил награду SWSA Ten Year Award [ Викиданные ] в 2018 году за самый влиятельный документ, опубликованный в ходе ISWC десятью годами ранее. ^[2]

Ссылки

^ Перейти обратно: ^а ^б ^с ^д «Ульрика Саттлер в Академии Европы» . ae-info.org. Архивировано из оригинала 17 апреля 2014 г.
^ Перейти обратно: ^а ^б «Десятилетняя премия SWSA» . Swsa.semanticweb.org . Проверено 26 ноября 2018 г.
^ Перейти обратно: ^а ^б Публикации Ульрики Саттлер , проиндексированные Google Scholar
^ Перейти обратно: ^а ^б Ульрика Саттлер в проекте «Математическая генеалогия»
^ «Профессор Ульрика Саттлер, профиль исследования» . Университет Манчестера. Архивировано из оригинала 16 апреля 2014 г.
^ «Домашняя страница Ули Саттлера» . Университет Манчестера. Архивировано из оригинала 14 декабря 2014 г.
^ Перейти обратно: ^а ^б Баадер, Франц; Хоррокс, Ян; Лутц, Карстен; Саттлер, Ули (2017). Введение в логику описания . Кембридж: Издательство Кембриджского университета . дои : 10.1017/9781139025355 . ISBN 9781139025355 . OCLC 990330256 .
^ Ульрика Саттлер на DBLP библиографическом сервере
^ Публикации Ульрики Саттлер , индексируемые библиографической базой данных Scopus . (требуется подписка)
^ Хоррокс, И .; Сэттлер, Ю. ; Тобис, С. (1999). «Практическое обоснование логики выразительного описания». Логика для программирования и автоматического рассуждения . Конспекты лекций по информатике. Том. 1705. с. 161. arXiv : cs/0005014 . дои : 10.1007/3-540-48242-3_11 . ISBN 978-3-540-66492-5 . S2CID 1599841 .
^ Баадер, Ф .; Саттлер, У. (2001). «Обзор табличных алгоритмов для логики описания». Студия Логика . 69 : 5–40. дои : 10.1023/А:1013882326814 . S2CID 2707416 .
^ Грау, Британская Колумбия; Хоррокс, И .; Мотик, Б.; Парсия, Б.; Патель-Шнайдер, П.Ф.; Саттлер, У. (2008). «OWL 2: Следующий шаг OWL» (PDF) . Веб-семантика: наука, сервисы и агенты во Всемирной паутине . 6 (4): 309–322. дои : 10.1016/j.websem.2008.05.001 .
^ Гонсалвес, РС; Парсия, Б.; Саттлер, У. (2011). «Анализ эволюции тезауруса NCI». 2011 24-й Международный симпозиум по компьютерным медицинским системам (CBMS) . п. 1. дои : 10.1109/CBMS.2011.5999163 . ISBN 978-1-4577-1189-3 . S2CID 24617819 .
^ Хорридж, Мэтью (2011). Объяснение на основе обоснования в онтологиях . Manchester.ac.uk (докторская диссертация). Университет Манчестера. OCLC 840679574 . EThOS uk.bl.ethos.553297 .
^ Арангурен, М.; Беххофер, С.; Лорд, П.; Сэттлер, Ю. ; Стивенс, Р. (2007). «Понимание и использование значения утверждений в биоонтологии: изменение онтологии генов в OWL» . БМК Биоинформатика . 8:57 . дои : 10.1186/1471-2105-8-57 . ПМК 1819394 . ПМИД 17311682 .
^ «Гранты правительства Великобритании предоставлены Ульрике Саттлер» . Исследовательские советы Великобритании . Архивировано из оригинала 8 августа 2014 г.
^ «Руководящий комитет IJCAR» . Архивировано из оригинала 4 октября 2013 г.
^ Хорридж, М.; Парсия, Б.; Саттлер, У. (2008). «Лаконичные и точные обоснования в OWL». Семантическая сеть - ISWC 2008 . Конспекты лекций по информатике. Том. 5318. стр. 323–338. дои : 10.1007/978-3-540-88564-1_21 . ISBN 978-3-540-88563-4 .
^ «7-я Международная конференция по семантической сети (ISWC 2008)» . Iswc2008.semanticweb.org . Проверено 26 ноября 2018 г.

[mae-1] Перейти обратно: ^а ^б ^с ^д «Ульрика Саттлер в Академии Европы» . ae-info.org. Архивировано из оригинала 17 апреля 2014 г.

[swsa-2] Перейти обратно: ^а ^б «Десятилетняя премия SWSA» . Swsa.semanticweb.org . Проверено 26 ноября 2018 г.

[googlescholar-3] Перейти обратно: ^а ^б Публикации Ульрики Саттлер , проиндексированные Google Scholar

[mathgene-4] Перейти обратно: ^а ^б Ульрика Саттлер в проекте «Математическая генеалогия»

[5] «Профессор Ульрика Саттлер, профиль исследования» . Университет Манчестера. Архивировано из оригинала 16 апреля 2014 г.

[sattleru-6] «Домашняя страница Ули Саттлера» . Университет Манчестера. Архивировано из оригинала 14 декабря 2014 г.

[dlbook-7] Перейти обратно: ^а ^б Баадер, Франц; Хоррокс, Ян; Лутц, Карстен; Саттлер, Ули (2017). Введение в логику описания . Кембридж: Издательство Кембриджского университета . дои : 10.1017/9781139025355 . ISBN 9781139025355 . OCLC 990330256 .

[dblp-8] Ульрика Саттлер на DBLP библиографическом сервере

[scopus-9] Публикации Ульрики Саттлер , индексируемые библиографической базой данных Scopus . (требуется подписка)

[10] Хоррокс, И .; Сэттлер, Ю. ; Тобис, С. (1999). «Практическое обоснование логики выразительного описания». Логика для программирования и автоматического рассуждения . Конспекты лекций по информатике. Том. 1705. с. 161. arXiv : cs/0005014 . дои : 10.1007/3-540-48242-3_11 . ISBN 978-3-540-66492-5 . S2CID 1599841 .

[11] Баадер, Ф .; Саттлер, У. (2001). «Обзор табличных алгоритмов для логики описания». Студия Логика . 69 : 5–40. дои : 10.1023/А:1013882326814 . S2CID 2707416 .

[12] Грау, Британская Колумбия; Хоррокс, И .; Мотик, Б.; Парсия, Б.; Патель-Шнайдер, П.Ф.; Саттлер, У. (2008). «OWL 2: Следующий шаг OWL» (PDF) . Веб-семантика: наука, сервисы и агенты во Всемирной паутине . 6 (4): 309–322. дои : 10.1016/j.websem.2008.05.001 .

[ncithes-13] Гонсалвес, РС; Парсия, Б.; Саттлер, У. (2011). «Анализ эволюции тезауруса NCI». 2011 24-й Международный симпозиум по компьютерным медицинским системам (CBMS) . п. 1. дои : 10.1109/CBMS.2011.5999163 . ISBN 978-1-4577-1189-3 . S2CID 24617819 .

[hphd-14] Хорридж, Мэтью (2011). Объяснение на основе обоснования в онтологиях . Manchester.ac.uk (докторская диссертация). Университет Манчестера. OCLC 840679574 . EThOS uk.bl.ethos.553297 .

[15] Арангурен, М.; Беххофер, С.; Лорд, П.; Сэттлер, Ю. ; Стивенс, Р. (2007). «Понимание и использование значения утверждений в биоонтологии: изменение онтологии генов в OWL» . БМК Биоинформатика . 8:57 . дои : 10.1186/1471-2105-8-57 . ПМК 1819394 . ПМИД 17311682 .

[16] «Гранты правительства Великобритании предоставлены Ульрике Саттлер» . Исследовательские советы Великобритании . Архивировано из оригинала 8 августа 2014 г.

[ijcar-17] «Руководящий комитет IJCAR» . Архивировано из оригинала 4 октября 2013 г.

[iswc2008-18] Хорридж, М.; Парсия, Б.; Саттлер, У. (2008). «Лаконичные и точные обоснования в OWL». Семантическая сеть - ISWC 2008 . Конспекты лекций по информатике. Том. 5318. стр. 323–338. дои : 10.1007/978-3-540-88564-1_21 . ISBN 978-3-540-88563-4 .

[iswc-19] «7-я Международная конференция по семантической сети (ISWC 2008)» . Iswc2008.semanticweb.org . Проверено 26 ноября 2018 г.

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

[10]

[11]

[12]

[13]

[14]

[15]

[16]

[17]

[18]

[19]

Базы данных авторитетного контроля
Международный	ЯВЛЯЮТСЯ ВИАФ WorldCat
Национальный	Германия Израиль Соединенные Штаты Чешская Республика
академики	Ассоциация вычислительной техники ДБЛП Google Академика MathSciNet Проект математической генеалогии ОРЦИД Скопус
Другой	ИдРеф