هذه المقالة يتيمة. ساعد بإضافة وصلة إليها في مقالة متعلقة بها

أولريك ساتلر

من ويكيبيديا، الموسوعة الحرة
اذهب إلى التنقل اذهب إلى البحث
أولريك ساتلر
(بالألمانية: Ulrike Sattler)‏  تعديل قيمة خاصية (P1559) في ويكي بيانات
Ulrike Sattler P1010617 (13870428215).jpg
 

معلومات شخصية
الميلاد سنة 1966 (العمر 54–55 سنة)[1]  تعديل قيمة خاصية (P569) في ويكي بيانات
مواطنة Flag of Germany.svg ألمانيا  تعديل قيمة خاصية (P27) في ويكي بيانات
عضوة في الأكاديمية الأوروبية[2]  تعديل قيمة خاصية (P463) في ويكي بيانات
الحياة العملية
المدرسة الأم الجامعة التقنية الراينية الفستفالية  تعديل قيمة خاصية (P69) في ويكي بيانات
مشرف الدكتوراه فرانز بادر  تعديل قيمة خاصية (P184) في ويكي بيانات
المهنة عَالِمَة حاسوب،  وأستاذة جامعية  تعديل قيمة خاصية (P106) في ويكي بيانات
اللغات الألمانية  تعديل قيمة خاصية (P1412) في ويكي بيانات
موظفة في جامعة مانشستر  تعديل قيمة خاصية (P108) في ويكي بيانات
المواقع
الموقع الموقع الرسمي[3]  تعديل قيمة خاصية (P856) في ويكي بيانات

أولريك ساتلر (بالإنجليزية: Ulrike M. Sattler)‏ هي أستاذة في علم الحاسوب في مجموعة إدارة المعلومات في كلية علوم الحاسوب جامعة مانشستر[4] وهي تعمل مديرة الدراسات العليا.[5]

تعليمها[عدل]

أكملت ساتلر شهادة الدكتوراه في عام 1998 تحت إشراف فرانز بادر[6] في الجامعة التقنية الراينية الفستفالية RWTH. انتقلت إلى جامعة مانشستر كمحاضرة في عام 2002، ثم ارتقت إلى مرتبة أعلى في المحاضرات في عام 2003 وأصبحت استاذة في عام 2007.[7]

أبحاثها[عدل]

ركزت أولريك ساتلر في أبحاثها[8][9][10][11] على المنطق لدعم تمثيل المعرفة بما في ذلك منطق الوصف والمنطق الديناميكي[12][13] ومنطق الموجهات. كما أنها تحقق في مشاكل الاستنتاج، ونظرية التعقيد الحسابي وإجراءات اتخاذ القرار المرتبطة بتمثيل المعرفة. كان هذا البحث مهمًا في تطوير لغة علم الوجود على الإنترنت (OWL) واستخدامه في المعلوماتية الحيوية وعلم الأحياء الجزيئي.[14][15]

تم تمويل أبحاث ساتلر جزئياً من قبل مجلس أبحاث العلوم والهندسة الفيزيائية.[16][17][18]

الخدمة الأكاديمية[عدل]

حررت ساتلير في مجلة المنطق والحساب، في هيئة تحرير مجلة المنطق الآلي، وكانت رئيس مجلس الإدارة لمؤتمرات مختلفة بما في ذلك المؤتمر الدولي المشترك حول التفكير الآلي.[19]

الجوائز التي حصلت عليها[عدل]

تم انتخاب ساتلير عضوا في أكاديميا يوروبا (MAE) في عام 2014. كما شاركت في الحصول على أفضل جائزة ورقية في مؤتمر الويب الدلالي الدولي في عام 2008.[20][7]

مراجع[عدل]

  1. ^ المُعرِّف الاستناديُّ الافتراضيُّ الدَّوليُّ (VIAF): https://viaf.org/viaf/197806482/ — تاريخ الاطلاع: 25 مايو 2018 — المؤلف: مركز المكتبة الرقمية على الإنترنت — الناشر: مركز المكتبة الرقمية على الإنترنت — الرخصة: Open Data Commons Attribution License
  2. ^ https://www.ae-info.org/ae/User/Sattler_Ulrike
  3. ^ https://pub.orcid.org/v3.0_rc1/0000-0003-4103-3389/researcher-urls/2218678 — تاريخ الاطلاع: 10 يناير 2021 — https://dx.doi.org/10.23640/07243.13066970.V1 — الرخصة: CC0
  4. ^ "Prof Ulrike Sattler, research profile". University of Manchester. مؤرشف من الأصل في 16 أبريل 2014. الوسيط |CitationClass= تم تجاهله (مساعدة)
  5. ^ "Uli Sattler homepage". University of Manchester. مؤرشف من الأصل في 14 ديسمبر 2014. الوسيط |CitationClass= تم تجاهله (مساعدة)
  6. ^ أولريك ساتلر في شجرة علماء الرياضيات
  7. أ ب "Ulrike Sattler at the Academy of Europe". ae-info.org. مؤرشف من الأصل في 17 أبريل 2014. الوسيط |CitationClass= تم تجاهله (مساعدة)
  8. ^ List of publications from Microsoft Academic Search
  9. ^ Ulrike Sattler at الببليوغرافيا الرقمية ومشروع المكتبة Bibliography Server
  10. ^ منشورات أولريك ساتلر مُفهرسة بواسطة قاعدة سكوبس الببليوغرافية، وهي خدمة مقدمة من إلزيفير. (الاشتراك مطلوب)
  11. ^ قالب:ACMPortal
  12. ^ Horrocks, I.; Sattler, U.; Tobies, S. (1999). "Practical Reasoning for Expressive Description Logics". Logic for Programming and Automated Reasoning. 1705. صفحة 161. doi:10.1007/3-540-48242-3_11. ISBN 978-3-540-66492-5. الوسيط |CitationClass= تم تجاهله (مساعدة)
  13. ^ Baader, F.; Sattler, U. (2001). "An Overview of Tableau Algorithms for Description Logics". Studia Logica. 69: 5. doi:10.1023/A:1013882326814. الوسيط |CitationClass= تم تجاهله (مساعدة)
  14. ^ أولريك ساتلر منشورات مفهرسة من قبل جوجل سكولار  تعديل قيمة خاصية (P1960) في ويكي بيانات
  15. ^ 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) في 9 أغسطس 2017. الوسيط |CitationClass= تم تجاهله (مساعدة)
  16. ^ 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. الوسيط |CitationClass= تم تجاهله (مساعدة)
  17. ^ 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. الوسيط |CitationClass= تم تجاهله (مساعدة)
  18. ^ "UK Government grants awarded to Ulrike Sattler". Research Councils UK. مؤرشف من الأصل في 08 أغسطس 2014. الوسيط |CitationClass= تم تجاهله (مساعدة)
  19. ^ "IJCAR Steering Committee". مؤرشف من الأصل في 04 أكتوبر 2013. الوسيط |CitationClass= تم تجاهله (مساعدة)
  20. ^ Horridge, M.; Parsia, B.; Sattler, U. (2008). "Laconic and Precise Justifications in OWL". The Semantic Web - ISWC 2008. 5318. صفحة 323. doi:10.1007/978-3-540-88564-1_21. ISBN 978-3-540-88563-4. الوسيط |CitationClass= تم تجاهله (مساعدة)


Flag of Germany.svg
هذه بذرة مقالة عن عالم حاسوب ألماني بحاجة للتوسيع. شارك في تحريرها.
Flag of Germany.svg
هذه بذرة مقالة عن أستاذ جامعي ألماني بحاجة للتوسيع. شارك في تحريرها.