Loading article…
ウルリケ・サトラー | |
|---|---|
.jpg/500px-Ulrike_Sattler_P1010617_(13870428215).jpg) | |
| 国籍 | ドイツ語 |
| 知られている | ウェブオントロジー言語(OWL) |
| 受賞歴 |
|
| 科学者としてのキャリア | |
| フィールド | |
| 機関 | |
| 論文 | 化学工学アプリケーションにおける技術的知識表現システム (1998) |
| 博士課程の指導教員 | フランツ・バーダー[4] |
| Webサイト |
|
ウルリケ・M・サトラー ・MAEはマンチェスター大学コンピュータサイエンス学部情報管理グループのコンピュータサイエンス教授であり[5] [6] 、オスロ大学の客員教授でもある。[7]
教育
サトラーは1998年にドイツのアーヘン工科大学でフランツ・バーダー[4]の指導の下、博士号を取得しました。
キャリアと研究
サトラーは2003年にマンチェスター大学の上級講師に就任し、2006年に講師に昇進、2007年に教授に昇進した。 [1]サトラーの研究[3] [8] [9]は、記述論理[10] [11]、動的論理、様相論理などの知識表現をサポートする論理に焦点を当てている。彼女はまた、知識表現に関連する推論問題、複雑性理論、意思決定手順についても調査している。この研究は、 Webオントロジー言語（OWL）[12]の開発と、バイオインフォマティクスおよび分子生物学でのその使用において重要であった。[13] [14] [15]
サトラーの研究は工学物理科学研究会議（EPSRC）の資金提供を受けている。[16]彼女はイアン・ホロックス、フランツ・バーダー、カーステン・ルッツと共著で教科書「An Introduction to Description Logic」を執筆している。[7]
学術サービス
サトラー氏はJournal of Logic and Computationの編集者、Journal of Automated Reasoningの編集委員を務めており、国際自動推論合同会議（IJCAR）を含むさまざまな会議の議長も務めている。 [17]
受賞と栄誉
サトラーは2014年にヨーロッパ学術協会（MAE）の会員に選出された。[1]彼女は2008年に国際セマンティックウェブ会議（ISWC）で最優秀論文賞をビジャン・パルシア[18] [19]その後、10年前のISWC会議で最も影響力のある論文に対して2018年にSWSA 10年賞[2]
参考文献
- ^ abcd 「Ulrike Sattler at the Academy of Europe」。ae-info.org。2014年4月17日時点のオリジナルよりアーカイブ。
- ^ ab 「SWSA Ten-Year Award」。Swsa.semanticweb.org 。2018年11月26日閲覧。
- ^ ab Ulrike Sattler の出版物はGoogle Scholarにインデックスされています
- ^ ab 数学系譜プロジェクトのウルリケ・サトラー
- ^ 「Prof Ulrike Sattler、研究プロフィール」マンチェスター大学。2014年4月16日時点のオリジナルよりアーカイブ。
- ^ 「Uli Sattler ホームページ」マンチェスター大学。2014 年 12 月 14 日時点のオリジナルよりアーカイブ。
- ^ ab Baader, Franz; Horrocks, Ian; Lutz, Carsten; Sattler, Uli (2017).記述論理入門. ケンブリッジ:ケンブリッジ大学出版局. doi :10.1017/9781139025355. ISBN 9781139025355. OCLC 990330256.
- ^ DBLP書誌サーバーの Ulrike Sattler
- ^ Scopus書誌データベースに索引付けされた Ulrike Sattler の出版物。(サブスクリプションが必要)
- ^ Horrocks, I. ; Sattler, U.; Tobies, S. (1999). 「表現記述ロジックの実践的推論」.プログラミングと自動推論のためのロジック. コンピュータサイエンスの講義ノート. 第 1705 巻. p. 161. arXiv : cs/0005014 . doi :10.1007/3-540-48242-3_11. ISBN 978-3-540-66492-5. S2CID 1599841。
- ^ Baader, F. ; Sattler, U. (2001). 「記述ロジックのための Tableau アルゴリズムの概要」. Studia Logica . 69 : 5–40. doi :10.1023/A:1013882326814. S2CID 2707416.
- ^ Grau, BC; Horrocks, I. ; Motik, B.; Parsia, B.; Patel-Schneider, PF; Sattler, U. (2008). 「OWL 2: OWL の次のステップ」(PDF) . Web セマンティクス: World Wide Web 上の科学、サービス、エージェント. 6 (4): 309–322. doi :10.1016/j.websem.2008.05.001.
- ^ Goncalves, RS; Parsia, B.; Sattler, U. (2011). 「NCIシソーラスの進化の分析」2011 第24回コンピュータベース医療システム国際シンポジウム (CBMS) p. 1. doi :10.1109/CBMS.2011.5999163. ISBN 978-1-4577-1189-3. S2CID 24617819。
- ^ Horridge, Matthew (2011). オントロジーにおける正当化に基づく説明。Manchester.ac.uk (博士論文)。マンチェスター大学。OCLC 840679574。EThOS uk.bl.ethos.553297 。
- ^ Aranguren, M.; Bechhofer, S.; Lord, P.; Sattler, U.; Stevens, R. (2007). 「バイオオントロジーにおけるステートメントの意味の理解と使用: OWL での遺伝子オントロジーの再構築」BMC Bioinformatics . 8:57 . doi : 10.1186/1471-2105-8-57 . PMC 1819394 . PMID 17311682.
- ^ 「英国政府、ウルリケ・サトラー氏に助成金を授与」。Research Councils UK。2014年8月8日時点のオリジナルよりアーカイブ。
- ^ 「IJCAR 運営委員会」。2013年10月4日時点のオリジナルよりアーカイブ。
- ^ Horridge, M.; Parsia, B.; Sattler, U. (2008). 「OWL における簡潔で正確な正当化」。セマンティック ウェブ - ISWC 2008。コンピュータ サイエンスの講義ノート。第 5318 巻。pp. 323–338。doi : 10.1007/ 978-3-540-88564-1_21。ISBN 978-3-540-88563-4。
- ^ 「第7回国際セマンティックウェブ会議（ISWC 2008）」Iswc2008.semanticweb.org 。 2018年11月26日閲覧。