|
تضامنًا مع حق الشعب الفلسطيني |
أولريكه ساتلر
| أولريكه ساتلر | |
|---|---|
| معلومات شخصية | |
تعديل مصدري - تعديل  |
أولريكه ساتلر (بالإنجليزية: Ulrike M. Sattler) هي أستاذة في علم الحاسوب في مجموعة إدارة المعلومات في كلية علوم الحاسوب جامعة مانشستر[1] وهي تعمل مديرة الدراسات العليا.[2]
تعليمها
أكملت ساتلر شهادة الدكتوراه في عام 1998 تحت إشراف فرانز بادر[3] في الجامعة التقنية الراينية الفستفالية RWTH. انتقلت إلى جامعة مانشستر كمحاضرة في عام 2002، ثم ارتقت إلى مرتبة أعلى في المحاضرات في عام 2003 وأصبحت استاذة في عام 2007.[4]
أبحاثها
ركزت أولريكه ساتلر في أبحاثها[5][6][7][8] على المنطق لدعم تمثيل المعرفة بما في ذلك منطق الوصف والمنطق الديناميكي[9][10] ومنطق الموجهات. كما أنها تحقق في مشاكل الاستنتاج، ونظرية التعقيد الحسابي وإجراءات اتخاذ القرار المرتبطة بتمثيل المعرفة. كان هذا البحث مهمًا في تطوير لغة علم الوجود على الإنترنت (OWL) واستخدامه في المعلوماتية الحيوية وعلم الأحياء الجزيئي.[11][12]
تم تمويل أبحاث ساتلر جزئياً من قبل مجلس أبحاث العلوم والهندسة الفيزيائية.[13][14][15]
الخدمة الأكاديمية
حررت ساتلير في مجلة المنطق والحساب، في هيئة تحرير مجلة المنطق الآلي، وكانت رئيس مجلس الإدارة لمؤتمرات مختلفة بما في ذلك المؤتمر الدولي المشترك حول التفكير الآلي.[16]
الجوائز التي حصلت عليها
تم انتخاب ساتلير عضوا في أكاديميا يوروبا (MAE) في عام 2014. كما شاركت في الحصول على أفضل جائزة ورقية في مؤتمر الويب الدلالي الدولي في عام 2008.[17][4]
مراجع
- ^ "Prof Ulrike Sattler, research profile". University of Manchester. مؤرشف من الأصل في 2014-04-16.
- ^ "Uli Sattler homepage". University of Manchester. مؤرشف من الأصل في 2014-12-14.
- ^ أولريكه ساتلر في شجرة علماء الرياضيات
- ^ أ ب "Ulrike Sattler at the Academy of Europe". ae-info.org. مؤرشف من الأصل في 2014-04-17.
- ^ List of publications from Microsoft Academic Search
- ^ {{DBLP}} template missing ID and not present in Wikidata.
- ^ منشورات أولريكه ساتلر مُفهرسة بواسطة قاعدة سكوبس الببليوغرافية، وهي خدمة مقدمة من إلزيفير. (الاشتراك مطلوب)
- ^ قالب:ACMPortal
- ^ Horrocks، I.؛ Sattler، U.؛ Tobies، S. (1999). "Practical Reasoning for Expressive Description Logics". Logic for Programming and Automated Reasoning. Lecture Notes in Computer Science. ج. 1705. ص. 161. DOI:10.1007/3-540-48242-3_11. ISBN:978-3-540-66492-5.
- ^ Baader، F.؛ Sattler، U. (2001). "An Overview of Tableau Algorithms for Description Logics". Studia Logica. ج. 69: 5. DOI:10.1023/A:1013882326814.
- ^ {{قالب:معرف جوجل سكولار}} template missing ID and not present in Wikidata.
- ^ Grau، B. C.؛ Horrocks، I.؛ Motik، B.؛ Parsia، B.؛ Patel-Schneider، P. F.؛ Sattler، U. (2008). "OWL 2: The next step for OWL" (PDF). Web Semantics: Science, Services and Agents on the World Wide Web. ج. 6 ع. 4: 309–322. DOI:10.1016/j.websem.2008.05.001. مؤرشف من الأصل (PDF) في 2017-08-09.
- ^ Goncalves، R. S.؛ Parsia، B.؛ Sattler، U. (2011). "Analysing the evolution of the NCI Thesaurus". 2011 24th International Symposium on Computer-Based Medical Systems (CBMS). ص. 1. DOI:10.1109/CBMS.2011.5999163. ISBN:978-1-4577-1189-3.
- ^ Aranguren، M.؛ Bechhofer، S.؛ Lord، P.؛ Sattler، U.؛ Stevens، R. (2007). "Understanding and using the meaning of statements in a bio-ontology: Recasting the Gene Ontology in OWL". BMC Bioinformatics. ج. 8: 57. DOI:10.1186/1471-2105-8-57. PMC:1819394. PMID:17311682.
- ^ "UK Government grants awarded to Ulrike Sattler". Research Councils UK. مؤرشف من الأصل في 2014-08-08.
- ^ "IJCAR Steering Committee". مؤرشف من الأصل في 2013-10-04.
- ^ Horridge، M.؛ Parsia، B.؛ Sattler، U. (2008). "Laconic and Precise Justifications in OWL". The Semantic Web - ISWC 2008. Lecture Notes in Computer Science. ج. 5318. ص. 323. DOI:10.1007/978-3-540-88564-1_21. ISBN:978-3-540-88563-4.
