الرئيسيةعريقبحث

أولريك ساتلر

☰ جدول المحتويات

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

أولريك ساتلر
(بالألمانية: Ulrike Sattler)‏ 
Ulrike Sattler P1010617 (13870428215).jpg
 
معلومات شخصية
الميلاد سنة 1966 (العمر 53–54 سنة)[1] 
مواطنة Flag of Germany.svg ألمانيا 
عضوة في الأكاديمية الأوروبية[2] 
الحياة العملية
مشرف الدكتوراه فرانز بادر 
المهنة عَالِمَة حاسوب،  وأستاذة جامعية 
موظفة في جامعة مانشستر 

تعليمها

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

أبحاثها

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

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

الخدمة الأكاديمية

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

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

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

مراجع

  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. "Prof Ulrike Sattler, research profile". University of Manchester. مؤرشف من الأصل في 16 أبريل 2014.
  4. "Uli Sattler homepage". University of Manchester. مؤرشف من الأصل في 14 ديسمبر 2014.
  5. أولريك ساتلر في شجرة علماء الرياضيات
  6. "Ulrike Sattler at the Academy of Europe". ae-info.org. مؤرشف من الأصل في 17 أبريل 2014.
  7. List of publications from Microsoft Academic Search
  8. Ulrike Sattler at الببليوغرافيا الرقمية ومشروع المكتبة Bibliography Server
  9. منشورات أولريك ساتلر مُفهرسة بواسطة قاعدة سكوبس الببليوغرافية، وهي خدمة مقدمة من إلزيفير. (الاشتراك مطلوب)
  11. 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.  .
  12. Baader, F.; Sattler, U. (2001). "An Overview of Tableau Algorithms for Description Logics". Studia Logica. 69: 5. doi:10.1023/A:1013882326814.
  13. أولريك ساتلر منشورات مفهرسة من قبل جوجل سكولار 
  14. 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.
  15. 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.  .
  16. 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 . PMID 17311682.
  17. "UK Government grants awarded to Ulrike Sattler". Research Councils UK. مؤرشف من الأصل في 08 أغسطس 2014.
  18. "IJCAR Steering Committee". مؤرشف من الأصل في 04 أكتوبر 2013.
  19. 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.  .

موسوعات ذات صلة :