Ulrike Sattler - Ulrike Sattler

Ulrike Sattler

MAE
Ulrike Sattler P1010617 (13870428215) .jpg
NárodnostNěmec
Známý jakoJazyk webové ontologie (SOVA)
Ocenění
Vědecká kariéra
Pole
Instituce
TezeSystémy reprezentace technologických znalostí v aplikaci chemického inženýrství  (1998)
Doktorský poradceFranz Baader[4]
webová stránka

Ulrike M. Sattler MAE je Profesor z Počítačová věda v správa informací skupina Ústav výpočetní techniky na University of Manchester[5][6] a hostující profesor na University of Oslo.[7]

Vzdělávání

Sattler ji dokončil PhD v roce 1998 pod dohledem Franz Baader[4] na RWTH Aachen University v Německu.

Kariéra a výzkum

Sattler se přestěhoval na University of Manchester as Docent v roce 2003 byl povýšen na čtenář v roce 2006 a poté profesorem v roce 2007.[1] Sattlerův výzkum[3][8][9] se zaměřuje na podporu logiky reprezentace znalostí počítaje v to logika popisu,[10][11] Dynamická logika a Modální logika. Vyšetřuje také odvození problémy, teorie složitosti a rozhodovací postupy spojené s reprezentací znalostí. Tento výzkum byl důležitý při vývoji Jazyk webové ontologie (SOVA)[12] a jeho použití v bioinformatika a molekulární biologie.[13][14][15]

Sattlerův výzkum byl financován z Rada pro výzkum ve strojírenství a fyzikálních vědách (EPSRC).[16] Je spoluautorkou učebnice Úvod do logiky popisu s Ian Horrocks, Franz Baader a Carsten Lutz.[7]

Akademická služba

Sattler slouží jako redaktor časopisu Journal of Logic and Computation, na redakční rada z Journal of Automated Reasoning a židle pro různé konference včetně Mezinárodní společná konference o automatizovaném uvažování (IJCAR).[17]

Ocenění a vyznamenání

Sattler byl zvolen členem Academia Europaea (MAE) v roce 2014.[1] Byla spolu příjemcem Bijan Parsia [Wikidata ] a Matthew Horridge z ceny nejlepšího papíru na Mezinárodní konference o sémantickém webu (ISWC) v roce 2008[18][19] který následně vyhrál Ocenění SWSA deset let [Wikidata ] v roce 2018 za dokument s nejvyšším dopadem z řízení ISWC před deseti lety[2]

Reference

  1. ^ A b C d „Ulrike Sattler na Akademii Evropy“. ae-info.org. Archivovány od originál dne 2014-04-17.
  2. ^ A b „Desetiletá cena SWSA“. Swsa.semanticweb.org. Citováno 26. listopadu 2018.
  3. ^ A b Ulrike Sattler publikace indexované podle Google Scholar Upravte to na Wikidata
  4. ^ A b Ulrike Sattler na Matematický genealogický projekt Upravte to na Wikidata
  5. ^ „Prof Ulrike Sattler, profil výzkumu“. University of Manchester. Archivovány od originál dne 2014-04-16.
  6. ^ „Domovská stránka Uli Sattler“. University of Manchester. Archivovány od originál dne 2014-12-14.
  7. ^ A b Baader, Franz; Horrocks, Iane; Lutz, Carsten; Sattler, Uli (2017). Úvod do logiky popisu. Cambridge: Cambridge University Press. doi:10.1017/9781139025355. ISBN  9781139025355. OCLC  990330256.
  8. ^ Ulrike Sattler na DBLP Bibliografický server Upravte to na Wikidata
  9. ^ Ulrike Sattler publikace indexované indexem Scopus bibliografická databáze. (vyžadováno předplatné)
  10. ^ Horrocks, já; Sattler, U.; Tobies, S. (1999). Msgstr "Praktické zdůvodnění logiky expresivního popisu". Logika pro programování a automatické uvažování. Přednášky z informatiky. 1705. str. 161. arXiv:cs / 0005014. doi:10.1007/3-540-48242-3_11. ISBN  978-3-540-66492-5. S2CID  1599841.
  11. ^ Baader, F.; Sattler, U. (2001). Msgstr "Přehled tabulkových algoritmů pro logiku popisu". Studia Logica. 69: 5–40. doi:10.1023 / A: 1013882326814. S2CID  2707416.
  12. ^ Grau, B. C .; Horrocks, já; Motik, B .; Parsia, B .; Patel-Schneider, P. F .; Sattler, U. (2008). „OWL 2: The next step for OWL“ (PDF). Sémantika webu: Věda, služby a agenti v síti WWW. 6 (4): 309–322. doi:10.1016 / j.websem.2008.05.001.
  13. ^ Goncalves, R. S .; Parsia, B .; Sattler, U. (2011). "Analýza vývoje tezauru NCI". 24. mezinárodní sympozium 2011 o počítačových lékařských systémech (CBMS). str. 1. doi:10.1109 / CBMS.2011.5999163. ISBN  978-1-4577-1189-3. S2CID  24617819.
  14. ^ Horridge, Matthew (2011). Vysvětlení založené na odůvodnění v ontologiích. Manchester.ac.uk (Disertační práce). University of Manchester. OCLC  840679574. EThOS  uk.bl.ethos.553297.
  15. ^ Aranguren, M .; Bechhofer, S .; Lord, P .; Sattler, U.; Stevens, R. (2007). „Pochopení a využití významu výroků v biotologii: Přepracování genové ontologie v OWL“. BMC bioinformatika. 8: 57. doi:10.1186/1471-2105-8-57. PMC  1819394. PMID  17311682.
  16. ^ „Vládní granty Spojeného království byly uděleny Ulrike Sattlerové“. Research Councils UK. Archivovány od originál dne 8. 8. 2014.
  17. ^ „Řídící výbor IJCAR“. Archivovány od originál dne 04.10.2013.
  18. ^ Horridge, M .; Parsia, B .; Sattler, U. (2008). "Laconické a přesné odůvodnění v OWL". Sémantický web - ISWC 2008. Přednášky z informatiky. 5318. str. 323. doi:10.1007/978-3-540-88564-1_21. ISBN  978-3-540-88563-4.
  19. ^ „7. mezinárodní konference o sémantickém webu (ISWC 2008)“. Iswc2008.semanticweb.org. Citováno 26. listopadu 2018.