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

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

## تعليمها

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

## أبحاثها

ركزت أولريكه ساتلر في أبحاثها على المنطق لدعم تمثيل المعرفة بما في ذلك منطق الوصف والمنطق الديناميكي ومنطق الموجهات. كما أنها تحقق في مشاكل الاستنتاج، ونظرية التعقيد الحسابي وإجراءات اتخاذ القرار المرتبطة بتمثيل المعرفة. كان هذا البحث مهمًا في تطوير لغة علم الوجود على الإنترنت (OWL) واستخدامه في المعلوماتية الحيوية وعلم الأحياء الجزيئي.
تم تمويل أبحاث ساتلر جزئياً من قبل مجلس أبحاث العلوم والهندسة الفيزيائية.

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

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

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

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

## مراجع

* ↑ ملف استنادي دولي افتراضي (باللغات المتعددة), دبلن: Q190593, OCLC:609410106, QID:Q54919
* ↑ https://lat.inf.tu-dresden.de/research/theses/1998/Sattler-diss.pdf. {{استشهاد ويب}}: |url= بحاجة لعنوان (مساعدة) والوسيط |title= غير موجود أو فارغ (من ويكي بيانات) (مساعدة)
* ↑ https://www.ae-info.org/ae/User/Sattler_Ulrike. {{استشهاد ويب}}: |url= بحاجة لعنوان (مساعدة) والوسيط |title= غير موجود أو فارغ (من ويكي بيانات) (مساعدة)
* ↑ Angel Montenegro (27 Sep 2023), ORCID Public Data File 2023 (بالإنجليزية), DOI:10.23640/07243.24204912.V1, QID:Q123508386
* ↑ ORCID Public Data File 2020 (بالإنجليزية), 13 Oct 2020, DOI:10.23640/07243.13066970.V1, QID:Q104707600
* ↑ "Prof Ulrike Sattler, research profile". University of Manchester. مؤرشف من الأصل في 2014-04-16.
* ↑ "Uli Sattler homepage". University of Manchester. مؤرشف من الأصل في 2014-12-14.
* ↑ أولريكه ساتلر في شجرة علماء الرياضيات
* 1 2 "Ulrike Sattler at the Academy of Europe". ae-info.org. مؤرشف من الأصل في 2014-04-17.
* ↑ قائمة النشرات من البحث الأكاديمي في مايكروسوفت $^{[الإنجليزية]}$
* ↑ Ulrike Sattler at الببليوغرافيا الرقمية ومشروع المكتبة Bibliography Server
* ↑ منشورات أولريكه ساتلر مُفهرسة بواسطة قاعدة سكوبس الببليوغرافية، وهي خدمة مقدمة من إلزيفير. (الاشتراك مطلوب)
* ↑ قالب: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.
* ↑ أولريكه ساتلر منشورات مفهرسة من قبل جوجل سكولار
* ↑ 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.{{استشهاد بدورية محكمة}}: صيانة الاستشهاد: دوي مجاني غير معلم (link)
* ↑ "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.
* بوابة أعلام
* بوابة ألمانيا
* بوابة المرأة
* بوابة علم الحاسوب
* بوابة فلسفة
* هذه بذرة مقالة عن عالم حاسوب ألماني بحاجة للتوسيع. فضلًا شارك في تحريرها.
* هذه بذرة مقالة عن أستاذ جامعي ألماني بحاجة للتوسيع. فضلًا شارك في تحريرها.