Ulrike Sattler

Ulrike Sattler
Nationality German
Fields
Institutions
Thesis Technological Knowledge Representation Systems in a Chemical Engineering Application (1998)
Doctoral advisor Franz Baader[3]
Doctoral students
  • Tahani Alsubait[4]
  • Samantha Bail[5][6]
  • Chiara Del Vescovo[7][8]
  • Rafael Gonçalves[9][10]
  • Matthew Horridge[11][12]
  • Pavel Klinov[13]
  • Peihong Ke[14]
  • Jared Leo
  • Nicolas Matentzoglu
  • Birte Glimm[15]
  • Viachaslau Sazonau
Known for Web Ontology Language (OWL)
Notable awards

Website

Ulrike M. Sattler is a professor of computer science in the information management group of the School of Computer Science at the University of Manchester [18] where she is director of postgraduate studies.[19]

Education

Sattler completed her PhD in 1998 under the supervision of Franz Baader[3] at RWTH Aachen University. She moved to the University of Manchester as Lecturer in 2002, was promoted senior lecturer in 2003, reader in 2006 and then a professor in 2007.[2]

Research

Sattler's research[1][20][21][22][23] focuses on logic to support knowledge representation including description logic,[24][25] Dynamic logic and Modal logic. She is also investigating the inference problems, complexity theory and decision procedures associated with knowledge representation. This research has been important in the development of the Web Ontology Language (OWL)[26] and its use in bioinformatics and molecular biology.[10][27]

Sattler's research has been partly funded by the Engineering and Physical Sciences Research Council.[28]

Academic Service

Sattler is an editor of the Journal of Logic and Computation, on the editorial board of the Journal of Automated Reasoning, and a chair for various conferences including the International Joint Conference on Automated Reasoning.[29]

Awards

Sattler was elected a member of the Academia Europaea (MAE) in 2014.[2] She was co-recipient of the best paper prize at the International Semantic Web Conference in 2008.[16]

References

  1. 1 2 Ulrike Sattler's publications indexed by Google Scholar
  2. 1 2 3 4 "Ulrike Sattler at the Academy of Europe". ae-info.org. Archived from the original on 2014-04-17.
  3. 1 2 Ulrike Sattler at the Mathematics Genealogy Project
  4. ↑ Alsubait, T.; Parsia, B.; Sattler, U. (2014). "Measuring Similarity in Ontologies: A New Family of Measures". Knowledge Engineering and Knowledge Management. Lecture Notes in Computer Science. 8876. p. 13. doi:10.1007/978-3-319-13704-9_2. ISBN 978-3-319-13703-2.
  5. ↑ Bail, Samantha Patricia (2013). The Justificatory Structure of OWL Ontologies (PhD thesis). University of Manchester. OCLC 872687441.
  6. ↑ Bail, S.; Horridge, M.; Parsia, B.; Sattler, U. (2011). "The Justificatory Structure of the NCBO BioPortal Ontologies". The Semantic Web – ISWC 2011 (PDF). Lecture Notes in Computer Science. 7031. p. 67. doi:10.1007/978-3-642-25073-6_5. ISBN 978-3-642-25072-9.
  7. ↑ Del Vescovo, Chiara (2011). The modular structure of an ontology : atomic decomposition and its applications (PhD thesis). University of Manchester. OCLC 855699180.
  8. ↑ Vescovo, C.; Parsia, B.; Sattler, U.; Schneider, T. (2011). "The Modular Structure of an Ontology: Atomic Decomposition and Module Count". Frontiers in Artificial Intelligence and Applications. 230. doi:10.3233/978-1-60750-799-4-25. ISBN 978-1-60750-798-7.
  9. ↑ Goncalves, Joao Rafael Landeiro De sousa (2014). Impact analysis in description logic ontologies (PhD thesis). University of Manchester. OCLC 883436095.
  10. 1 2 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). p. 1. doi:10.1109/CBMS.2011.5999163. ISBN 978-1-4577-1189-3.
  11. ↑ Horridge, Matthew (2011). Justification Based Explanation in Ontologies (PhD thesis). University of Manchester. OCLC 840679574.
  12. ↑ Horridge, M.; Bail, S.; Parsia, B.; Sattler, U. (2011). "The Cognitive Complexity of OWL Justifications". The Semantic Web – ISWC 2011. Lecture Notes in Computer Science. 7031. p. 241. doi:10.1007/978-3-642-25073-6_16. ISBN 978-3-642-25072-9.
  13. ↑ Klinov, Pavel (2011). Practical Reasoning in Probabilistic Description Logic (PhD thesis). University of Manchester. OCLC 768070439.
  14. ↑ Ke, Peihong (2011). Nonmonotonic reasoning with description logics (PhD thesis). University of Manchester.
  15. ↑ Glimm, Birte (2007). Querying description logic knowledge bases (PDF) (PhD thesis). University of Manchester.
  16. 1 2 Horridge, M.; Parsia, B.; Sattler, U. (2008). "Laconic and Precise Justifications in OWL". The Semantic Web - ISWC 2008. Lecture Notes in Computer Science. 5318. p. 323. doi:10.1007/978-3-540-88564-1_21. ISBN 978-3-540-88563-4.
  17. ↑ http://iswc2008.semanticweb.org/ ISWC 2008, Karlsruhe
  18. ↑ "Prof Ulrike Sattler, research profile". University of Manchester. Archived from the original on 2014-04-16.
  19. ↑ "Uli Sattler homepage". University of Manchester. Archived from the original on 2014-12-14.
  20. ↑ List of publications from Microsoft Academic Search
  21. ↑ Ulrike Sattler at DBLP Bibliography Server
  22. ↑ Ulrike Sattler's publications indexed by the Scopus bibliographic database, a service provided by Elsevier. (subscription required)
  23. ↑ Ulrike Sattler from the ACM Digital Library
  24. ↑ 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. p. 161. doi:10.1007/3-540-48242-3_11. ISBN 978-3-540-66492-5.
  25. ↑ Baader, F.; Sattler, U. (2001). "An Overview of Tableau Algorithms for Description Logics". Studia Logica. 69: 5. doi:10.1023/A:1013882326814.
  26. ↑ 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.
  27. ↑ 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 1819394Freely accessible. PMID 17311682.
  28. ↑ "UK Government grants awarded to Ulrike Sattler". Research Councils UK. Archived from the original on 2014-08-08.
  29. ↑ "IJCAR Steering Committee". Archived from the original on 2013-10-04.
This article is issued from Wikipedia - version of the 11/5/2016. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.