Ulrike Sattler

From Wikipedia, the free encyclopedia

This is an old revision of this page, as edited by AnomieBOT (talk | contribs) at 11:44, 25 March 2014 (Dating maintenance tags: {{Fact}}). The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.

Ulrike Sattler
NationalityGerman
Known forWeb Ontology Language (OWL)
Awards
Scientific career
Fields
Institutions
ThesisTechnological Knowledge Representation Systems in a Chemical Engineering Application (1998)
Doctoral advisorFranz Baader[4]
Doctoral students
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 [14] where she is Director of Postgraduate studies.

Education

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

Research

Sattler's research[15][3][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.[9][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. ^ Attention: This template ({{cite doi}}) is deprecated. To cite the publication identified by doi:10.1007/978-3-540-88564-1_21, please use {{cite journal}} (if it was published in a bona fide academic journal, otherwise {{cite report}} with |doi=10.1007/978-3-540-88564-1_21 instead.
  2. ^ http://iswc2008.semanticweb.org/ ISWC 2008, Karlsruhe
  3. ^ a b Ulrike Sattler publications indexed by Google Scholar
  4. ^ a b Ulrike Sattler at the Mathematics Genealogy Project
  5. ^ Bail, Samantha Patricia (2013). The Justificatory Structure of OWL Ontologies (PhD thesis). University of Manchester.
  6. ^ Attention: This template ({{cite doi}}) is deprecated. To cite the publication identified by doi:10.1007/978-3-642-25073-6_5, please use {{cite journal}} (if it was published in a bona fide academic journal, otherwise {{cite report}} with |doi=10.1007/978-3-642-25073-6_5 instead.
  7. ^ a b Horridge, Matthew (2011). The modular structure of an ontology : atomic decomposition and its applications (PhD thesis). University of Manchester. Cite error: The named reference "horridgephd" was defined multiple times with different content (see the help page).
  8. ^ Attention: This template ({{cite doi}}) is deprecated. To cite the publication identified by doi:10.3233/978-1-60750-799-4-25, please use {{cite journal}} (if it was published in a bona fide academic journal, otherwise {{cite report}} with |doi=10.3233/978-1-60750-799-4-25 instead.
  9. ^ a b Attention: This template ({{cite doi}}) is deprecated. To cite the publication identified by doi:10.1109/CBMS.2011.5999163, please use {{cite journal}} (if it was published in a bona fide academic journal, otherwise {{cite report}} with |doi=10.1109/CBMS.2011.5999163 instead.
  10. ^ Attention: This template ({{cite doi}}) is deprecated. To cite the publication identified by doi:10.1007/978-3-642-25073-6_16, please use {{cite journal}} (if it was published in a bona fide academic journal, otherwise {{cite report}} with |doi=10.1007/978-3-642-25073-6_16 instead.
  11. ^ Klinov, Pavel (2011). Practical Reasoning in Probabilistic Description Logic (PhD thesis). University of Manchester.
  12. ^ Ke, Peihong (2011). Nonmonotonic reasoning with description logics (PhD thesis). University of Manchester.
  13. ^ Glimm, Birte (2007). Querying description logic knowledge bases (PDF) (PhD thesis). University of Manchester.
  14. ^ "Prof Ulrike Sattler, research profile - personal details (The University of Manchester)". Retrieved 2012-06-09. {{cite web}}: no-break space character in |title= at position 5 (help)
  15. ^ Ulrike Sattler publications indexed by Microsoft Academic
  16. ^ Ulrike Sattler at DBLP Bibliography Server Edit this at Wikidata
  17. ^ Ulrike Sattler's publications indexed by the Scopus bibliographic database. (subscription required)
  18. ^ Ulrike Sattler author profile page at the ACM Digital Library
  19. ^ Attention: This template ({{cite doi}}) is deprecated. To cite the publication identified by doi:10.1007/3-540-48242-3_11, please use {{cite journal}} (if it was published in a bona fide academic journal, otherwise {{cite report}} with |doi=10.1007/3-540-48242-3_11 instead.
  20. ^ Attention: This template ({{cite doi}}) is deprecated. To cite the publication identified by doi:10.1023/A:1013882326814, please use {{cite journal}} (if it was published in a bona fide academic journal, otherwise {{cite report}} with |doi=10.1023/A:1013882326814 instead.
  21. ^ Attention: This template ({{cite doi}}) is deprecated. To cite the publication identified by doi:10.1016/j.websem.2008.05.001, please use {{cite journal}} (if it was published in a bona fide academic journal, otherwise {{cite report}} with |doi=10.1016/j.websem.2008.05.001 instead.
  22. ^ Attention: This template ({{cite pmid}}) is deprecated. To cite the publication identified by PMID 17311682, please use {{cite journal}} with |pmid= 17311682 instead.
  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.

Template:Persondata

Retrieved from "https://en.wikipedia.org/w/index.php?title=Ulrike_Sattler&oldid=601178779"