Ulrike Sattler - Ulrike Sattler

Ulrike Sattler

MAE
Ulrike Sattler P1010617 (13870428215) .jpg
MillatiNemis
Ma'lumVeb-ontologiya tili (OWL)
Mukofotlar
Ilmiy martaba
Maydonlar
Institutlar
TezisKimyoviy muhandislik dasturida texnologik bilimlarni namoyish etish tizimlari  (1998)
Doktor doktoriFrants Baader[4]
Veb-sayt

Ulrike M. Sattler MAE a Professor ning Kompyuter fanlari ichida axborotni boshqarish guruhi Kompyuter fanlari kafedrasi da Manchester universiteti[5][6] va tashrif buyurgan professor Oslo universiteti.[7]

Ta'lim

Sattler uni yakunladi PhD nazorati ostida 1998 yilda Frants Baader[4] da Axen universiteti Germaniyada.

Ishga qabul qilish va tadqiqot

Sattler Manchester Universitetiga ko'chib o'tdi Katta o'qituvchi 2003 yilda ko'tarilgan o'quvchi 2006 yilda, keyin esa 2007 yilda professorgacha.[1] Sattlerning tadqiqotlari[3][8][9] qo'llab-quvvatlash uchun mantiqqa e'tibor qaratadi bilimlarni namoyish etish shu jumladan tavsiflash mantiqi,[10][11] Dinamik mantiq va Modal mantiq. U shuningdek tergov olib bormoqda xulosa muammolar, murakkablik nazariyasi va qaror tartiblari bilimlarni namoyish qilish bilan bog'liq. Ushbu tadqiqotlar rivojlanishida muhim ahamiyatga ega Veb-ontologiya tili (OWL)[12] va undan foydalanish bioinformatika va molekulyar biologiya.[13][14][15]

Sattler tadqiqotlari tomonidan moliyalashtirildi Muhandislik va fizika fanlari tadqiqot kengashi (EPSRC).[16] U darslikning hammuallifi Ta'rif mantig'iga kirish bilan Yan Horrocks, Frants Baader va Karsten Lyuts.[7]

Akademik xizmat

Sattler muharriri sifatida ishlaydi Mantiq va hisoblash jurnali, ustida tahririyat kengashi ning Avtomatlashtirilgan fikrlash jurnali va a kafedra turli konferentsiyalar uchun, shu jumladan Avtomatlashtirilgan fikrlash bo'yicha xalqaro qo'shma konferentsiya (IJCAR).[17]

Mukofotlar va sharaflar

Sattler a'zosi etib saylandi Academia Europaea (MAE) 2014 yilda.[1] U bilan birgalikda qabul qiluvchi bo'lgan Bijan Parsiya [Vikidata ] va Metyu Xorrij eng yaxshi qog'oz mukofoti Xalqaro semantik veb-konferentsiya (ISWC) 2008 yilda[18][19] keyinchalik g'olib bo'lgan SWSA o'n yillik mukofoti [Vikidata ] o'n yil oldin ISWC protseduralaridan olingan eng yuqori ta'sirli qog'oz uchun 2018 yilda.[2]

Adabiyotlar

  1. ^ a b v d "Evropa akademiyasida Ulrike Sattler". ae-info.org. Arxivlandi asl nusxasi 2014-04-17.
  2. ^ a b "SWSA o'n yillik mukofoti". Swsa.semanticweb.org. Olingan 26 noyabr 2018.
  3. ^ a b Ulrike Sattler tomonidan indekslangan nashrlar Google Scholar Buni Vikidatada tahrirlash
  4. ^ a b Ulrike Sattler da Matematikaning nasabnomasi loyihasi Buni Vikidatada tahrirlash
  5. ^ "Prof Ulrike Sattler, tadqiqot profili". Manchester universiteti. Arxivlandi asl nusxasi 2014-04-16.
  6. ^ "Uli Sattlerning bosh sahifasi". Manchester universiteti. Arxivlandi asl nusxasi 2014-12-14 kunlari.
  7. ^ a b Baader, Frants; Horrocks, Ian; Lyuts, Karsten; Sattler, Uli (2017). Ta'rif mantig'iga kirish. Kembrij: Kembrij universiteti matbuoti. doi:10.1017/9781139025355. ISBN  9781139025355. OCLC  990330256.
  8. ^ Ulrike Sattler da DBLP Bibliografiya serveri Buni Vikidatada tahrirlash
  9. ^ Ulrike Sattler tomonidan indekslangan nashrlar Scopus bibliografik ma'lumotlar bazasi. (obuna kerak)
  10. ^ Horrocks, I.; Sattler, U.; Tobies, S. (1999). "Ekspresif tavsiflash mantiqlari uchun amaliy fikrlash". Dasturlash va avtomatlashtirilgan fikrlash uchun mantiq. Kompyuter fanidan ma'ruza matnlari. 1705. p. 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). "Ta'rif mantiqiy jadval jadvalining algoritmlariga umumiy nuqtai". Studiya Logica. 69: 5–40. doi:10.1023 / A: 1013882326814. S2CID  2707416.
  12. ^ Grau, B. C .; Horrocks, I.; Motik, B .; Parsiya, B.; Patel-Shnayder, P. F.; Sattler, U. (2008). "OWL 2: OWL uchun keyingi qadam" (PDF). Veb semantikasi: Butunjahon tarmog'idagi fan, xizmatlar va agentlar. 6 (4): 309–322. doi:10.1016 / j.websem.2008.05.001.
  13. ^ Gonsalves, R. S .; Parsiya, B.; Sattler, U. (2011). "NCI Thesaurus evolyutsiyasini tahlil qilish". 2011 yil 24-Xalqaro kompyuter tizimidagi tibbiy tizimlar simpoziumi (CBMS). p. 1. doi:10.1109 / CBMS.2011.5999163. ISBN  978-1-4577-1189-3. S2CID  24617819.
  14. ^ Horridge, Metyu (2011). Ontologiyalarda asoslashga asoslangan tushuntirish. Manchester.ac.uk (Doktorlik dissertatsiyasi). Manchester universiteti. OCLC  840679574. EThOS  uk.bl.ethos.553297.
  15. ^ Aranguren, M .; Bechhofer, S .; Lord, P.; Sattler, U.; Stivens, R. (2007). "Bio-ontologiyada bayonlarning ma'nosini tushunish va ulardan foydalanish: OWL-da gen ontologiyasini qayta tiklash". BMC Bioinformatika. 8: 57. doi:10.1186/1471-2105-8-57. PMC  1819394. PMID  17311682.
  16. ^ "Ulrike Sattlerga Buyuk Britaniya hukumatining grantlari berildi". Buyuk Britaniya tadqiqot kengashlari. Arxivlandi asl nusxasi 2014-08-08 da.
  17. ^ "IJCAR Boshqaruv qo'mitasi". Arxivlandi asl nusxasi 2013-10-04 kunlari.
  18. ^ Xorridj, M .; Parsiya, B.; Sattler, U. (2008). "OWL-da lakonik va aniq asoslar". Semantik veb - ISWC 2008 yil. Kompyuter fanidan ma'ruza matnlari. 5318. p. 323. doi:10.1007/978-3-540-88564-1_21. ISBN  978-3-540-88563-4.
  19. ^ "7-xalqaro semantik veb-konferentsiya (ISWC 2008)". Iswc2008.semanticweb.org. Olingan 26 noyabr 2018.