Ulrike Sattler

From Wikipedia, the free encyclopedia
Professor Ulrike Sattler
Nationality German
Institutions
Thesis Technological Knowledge Representation Systems in a Chemical Engineering Application (1998)
Doctoral advisor Franz Baader[1]
Doctoral students
Notable awards
Website
www.cs.man.ac.uk/~sattler
www.manchester.ac.uk/research/ulrike.sattler

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 [13] where she is Director of Postgraduate studies.

Education

Sattler completed her PhD in 1998 under the supervision of Franz Baader[1] at RWTH Aachen University. She moved to the University of Manchester as lecturer in 2002.

Research

Her research[14][15][16][17][18] focuses on logic to support knowledge representation including Description logic,[19][20] 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)[21] and its use in Bioinformatics and Molecular biology.[5][22]

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

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.[24]

References

  1. ↑ 1.0 1.1 Ulrike Sattler at the Mathematics Genealogy Project
  2. ↑ Bail, Samantha Patricia (2013). The Justificatory Structure of OWL Ontologies (PhD thesis). University of Manchester. 
  3. ↑ Bail, S.; Horridge, M.; Parsia, B.; Sattler, U. (2011). "The Justificatory Structure of the NCBO BioPortal Ontologies". The Semantic Web – ISWC 2011. Lecture Notes in Computer Science 7031. p. 67. doi:10.1007/978-3-642-25073-6_5. ISBN 978-3-642-25072-9. 
  4. ↑ 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. 
  5. ↑ 5.0 5.1 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. 
  6. ↑ Horridge, Matthew (2011). Justification Based Explanation in Ontologies (PhD thesis). University of Manchester. 
  7. ↑ 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. 
  8. ↑ Klinov, Pavel (2011). Practical Reasoning in Probabilistic Description Logic (PhD thesis). University of Manchester. 
  9. ↑ Ke, Peihong (2011). Nonmonotonic reasoning with description logics (PhD thesis). University of Manchester. 
  10. ↑ Glimm, Birte (2007). Querying description logic knowledge bases (PhD thesis). University of Manchester. 
  11. ↑ 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. 
  12. ↑ http://iswc2008.semanticweb.org/ ISWC 2008, Karlsruhe
  13. ↑ "Prof Ulrike Sattler, research profile - personal details (The University of Manchester)". Retrieved 2012-06-09. 
  14. ↑ List of publications from Microsoft Academic Search
  15. ↑ List of publications from Google Scholar
  16. ↑ List of publications from the DBLP Bibliography Server
  17. ↑ Ulrike Sattler from the Scopus bibliographic database
  18. ↑ Ulrike Sattler from the ACM Portal
  19. ↑ 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. 
  20. ↑ Baader, F.; Sattler, U. (2001). Studia Logica 69: 5. doi:10.1023/A:1013882326814. 
  21. ↑ Grau, B. C.; Horrocks, I.; Motik, B.; Parsia, B.; Patel-Schneider, P. F.; Sattler, U. (2008). "OWL 2: The next step for OWL". Web Semantics: Science, Services and Agents on the World Wide Web 6 (4): 309–322. doi:10.1016/j.websem.2008.05.001. 
  22. ↑ 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. 
  23. ↑ http://gow.epsrc.ac.uk/NGBOViewPerson.aspx?PersonId=110304 Grants awarded to Ulrike Sattler by the EPSRC
  24. ↑ "IJCAR:The International Joint Conference on Automated Reasoning". Retrieved 2012-06-26. 
Authority control
This article is issued from Wikipedia. The text is available under the Creative Commons Attribution/Share Alike; additional terms may apply for the media files.