انتقل إلى المحتوى

أولريكه ساتلر

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

معلومات شخصية
الميلاد سنة 1966 (العمر 57–58 سنة)[1]  تعديل قيمة خاصية (P569) في ويكي بيانات
ميونخ[2]  تعديل قيمة خاصية (P19) في ويكي بيانات
مواطنة ألمانيا  تعديل قيمة خاصية (P27) في ويكي بيانات
عضوة في أكاديمية أوروبيا[3]  تعديل قيمة خاصية (P463) في ويكي بيانات
الحياة العملية
المدرسة الأم الجامعة التقنية الراينية الفستفالية  تعديل قيمة خاصية (P69) في ويكي بيانات
مشرف الدكتوراه فرانز بادر  تعديل قيمة خاصية (P184) في ويكي بيانات
المهنة عَالِمَة حاسوب،  وأستاذة جامعية،  وعالم معلومات  تعديل قيمة خاصية (P106) في ويكي بيانات
اللغات الألمانية،  والإنجليزية  تعديل قيمة خاصية (P1412) في ويكي بيانات
مجال العمل ذكاء صناعي،  وإدارة المعلومات،  ومعلوماتية  تعديل قيمة خاصية (P101) في ويكي بيانات
موظفة في جامعة مانشستر[4]  تعديل قيمة خاصية (P108) في ويكي بيانات
المواقع
الموقع الموقع الرسمي[5]  تعديل قيمة خاصية (P856) في ويكي بيانات

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

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

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

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

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

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

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

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

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

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

مراجع[عدل]

  1. ^ ملف استنادي دولي افتراضي (باللغات المتعددة), دبلن: Q190593, OCLC:609410106, QID:Q54919
  2. ^ https://lat.inf.tu-dresden.de/research/theses/1998/Sattler-diss.pdf. {{استشهاد ويب}}: |url= بحاجة لعنوان (مساعدة) والوسيط |title= غير موجود أو فارغ (من ويكي بيانات) (مساعدة)
  3. ^ https://www.ae-info.org/ae/User/Sattler_Ulrike. {{استشهاد ويب}}: |url= بحاجة لعنوان (مساعدة) والوسيط |title= غير موجود أو فارغ (من ويكي بيانات) (مساعدة)
  4. ^ Angel Montenegro (27 Sep 2023), ORCID Public Data File 2023 (بالإنجليزية), DOI:10.23640/07243.24204912.V1, QID:Q123508386
  5. ^ ORCID Public Data File 2020 (بالإنجليزية), 13 Oct 2020, DOI:10.23640/07243.13066970.V1, QID:Q104707600
  6. ^ "Prof Ulrike Sattler, research profile". University of Manchester. مؤرشف من الأصل في 2014-04-16.
  7. ^ "Uli Sattler homepage". University of Manchester. مؤرشف من الأصل في 2014-12-14.
  8. ^ أولريكه ساتلر في شجرة علماء الرياضيات
  9. ^ أ ب "Ulrike Sattler at the Academy of Europe". ae-info.org. مؤرشف من الأصل في 2014-04-17.
  10. ^ قائمة النشرات من البحث الأكاديمي في مايكروسوفت [الإنجليزية]
  11. ^ Ulrike Sattler at الببليوغرافيا الرقمية ومشروع المكتبة Bibliography Server  تعديل قيمة خاصية (P2456) في ويكي بيانات
  12. ^ منشورات أولريكه ساتلر مُفهرسة بواسطة قاعدة سكوبس الببليوغرافية، وهي خدمة مقدمة من إلزيفير. (الاشتراك مطلوب)
  13. ^ قالب:ACMPortal
  14. ^ 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.
  15. ^ Baader، F.؛ Sattler، U. (2001). "An Overview of Tableau Algorithms for Description Logics". Studia Logica. ج. 69: 5. DOI:10.1023/A:1013882326814.
  16. ^ أولريكه ساتلر منشورات مفهرسة من قبل جوجل سكولار  تعديل قيمة خاصية (P1960) في ويكي بيانات
  17. ^ 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.
  18. ^ 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.
  19. ^ 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.{{استشهاد بدورية محكمة}}: صيانة الاستشهاد: دوي مجاني غير معلم (link)
  20. ^ "UK Government grants awarded to Ulrike Sattler". Research Councils UK. مؤرشف من الأصل في 2014-08-08.
  21. ^ "IJCAR Steering Committee". مؤرشف من الأصل في 2013-10-04.
  22. ^ 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.