Ulrike Sattler

From Wikipedia, the free encyclopedia
Jump to: navigation, search
Ulrike Sattler
Ulrike Sattler P1010617 (13870428215).jpg
Nationality German
Thesis Technological Knowledge Representation Systems in a Chemical Engineering Application (1998)
Doctoral advisor Franz Baader[3]
Doctoral students
Known for Web Ontology Language (OWL)
Notable awards

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]


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]


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[edit]

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]


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]


  1. ^ a b Ulrike Sattler's publications indexed by Google Scholar, a service provided by Google
  2. ^ a b c d "Ulrike Sattler at the Academy of Europe". ae-info.org. Archived from the original on 2014-04-17. 
  3. ^ a b 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. ^ a b 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. ^ a b 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 Association for Computing Machinery (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 1819394. 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.