Ulrike Sattler
{{Infobox scientist
| name = Ulrike Sattler
| image = Ulrike Sattler P1010617 (13870428215).jpg
| honorific_suffix = {{post-nominals|country=GBR|MAE|size=100}}
| image_size =
| alt =
| caption =
| birth_date =
| birth_place =
| death_date =
| death_place =
| resting_place =
| resting_place_coordinates =
| residence =
| citizenship =
| nationality = German
| fields = {{Plainlist|
| workplaces = {{Plainlist|
- University of Manchester
- University of Oslo
- Dresden University of Technology
- Rice University
- RWTH Aachen University}}
| alma_mater =
| thesis_title = Technological Knowledge Representation Systems in a Chemical Engineering Application
| thesis_url = http://lat.inf.tu-dresden.de/research/phd/Sattler-diss.ps.gz
| thesis_year = 1998
| doctoral_advisor = Franz Baader
| academic_advisors =
| doctoral_students =
| notable_students =
| known_for = Web Ontology Language (OWL)
| influences =
| influenced =
| awards = {{Plainlist|
- Member of the Academia Europaea (2014)
- SWSA Ten Year Award (2018)}}
| signature =
| signature_alt =
| website = {{Plainlist|
- {{URL|www.cs.man.ac.uk/~sattler}}
- {{URL|http://www.manchester.ac.uk/research/uli.sattler}}}}
| footnotes =
| spouse =
}}
Ulrike M. Sattler {{post-nominals|country=GBR|MAE}} is a professor of computer science in the information management group of the Department of Computer Science at the University of Manchester{{cite web |url=http://www.manchester.ac.uk/research/Ulrike.sattler/ |title=Prof Ulrike Sattler, research profile|publisher=University of Manchester |archive-url=https://web.archive.org/web/20140416181432/http://www.manchester.ac.uk/research/Ulrike.sattler/|archive-date=2014-04-16}}{{cite web|archive-url=https://web.archive.org/web/20141214130922/http://www.cs.man.ac.uk/~sattler/|archive-date=2014-12-14|title=Uli Sattler homepage|publisher=University of Manchester|url=http://www.cs.man.ac.uk/~sattler}} and a visiting professor at the University of Oslo.
Education
Sattler completed her PhD in 1998 under the supervision of Franz Baader{{MathGenealogy}} at RWTH Aachen University in Germany.
Career and research
Sattler moved to the University of Manchester as senior lecturer in 2003, was promoted to reader in 2006 and then to professor in 2007. Sattler's research{{Google scholar id}}{{DBLP}}{{Scopus id}} focuses on logic to support knowledge representation including description logic,{{Cite book | last1 = Horrocks | first1 = I. | author-link1 = Ian Horrocks| last2 = Sattler | first2 = U. | author-link2 = Ulrike Sattler| last3 = Tobies | first3 = S. | doi = 10.1007/3-540-48242-3_11 | chapter = Practical Reasoning for Expressive Description Logics | title = Logic for Programming and Automated Reasoning | series = Lecture Notes in Computer Science | volume = 1705 | pages = 161 | year = 1999 | isbn = 978-3-540-66492-5 | arxiv = cs/0005014 | s2cid = 1599841 }}{{Cite journal | last1 = Baader | first1 = F. | author-link1 = Franz Baader| last2 = Sattler | first2 = U. |title=An Overview of Tableau Algorithms for Description Logics| author-link2 = Ulrike Sattler| journal = Studia Logica | volume = 69 | pages = 5–40 | year = 2001 | doi = 10.1023/A:1013882326814 | s2cid = 2707416 }} 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){{Cite journal | last1 = Grau | first1 = B. C. | last2 = Horrocks | first2 = I. | author-link2 = Ian Horrocks| last3 = Motik | first3 = B. | last4 = Parsia | first4 = B. | last5 = Patel-Schneider | first5 = P. F. | last6 = Sattler | first6 = U. | author-link6 = Ulrike Sattler| doi = 10.1016/j.websem.2008.05.001 | title = OWL 2: The next step for OWL | journal = Web Semantics: Science, Services and Agents on the World Wide Web | volume = 6 | issue = 4 | pages = 309–322 | year = 2008 | url = http://www.cs.ox.ac.uk/boris.motik/pubs/ghmppss08next-steps.pdf}} and its use in bioinformatics and molecular biology.{{Cite book | last1 = Goncalves | first1 = R. S. | last2 = Parsia | first2 = B. | last3 = Sattler | first3 = U. | author-link3 = Ulrike Sattler| doi = 10.1109/CBMS.2011.5999163 | chapter = Analysing the evolution of the NCI Thesaurus | title = 2011 24th International Symposium on Computer-Based Medical Systems (CBMS) | pages = 1 | year = 2011 | isbn = 978-1-4577-1189-3 | s2cid = 24617819 }}{{cite thesis|degree=PhD|publisher=University of Manchester|url=https://www.research.manchester.ac.uk/portal/en/theses/justification-based-explanation-in-ontologies(7a9d7700-e12f-43be-93b3-c79966f3a521).html|title=Justification based explanation in ontologies|first= Matthew|last=Horridge|date=2011|id={{EThOS|uk.bl.ethos.553297}}|website=Manchester.ac.uk|oclc=840679574}}{{Cite journal
| last1 = Aranguren | first1 = M.
| last2 = Bechhofer | first2 = S.
| last3 = Lord | first3 = P.
| last4 = Sattler | first4 = U.
| author-link4 = Ulrike Sattler
| last5 = Stevens | first5 = R.
| author-link5 = Robert David Stevens
| title = Understanding and using the meaning of statements in a bio-ontology: Recasting the Gene Ontology in OWL
| journal = BMC Bioinformatics
| volume = 8
| pages = 57
| doi = 10.1186/1471-2105-8-57
| year = 2007
| pmid = 17311682
| pmc =1819394
| doi-access = free
}}
Sattler's research has been funded by the Engineering and Physical Sciences Research Council (EPSRC).{{cite web|archive-url=https://web.archive.org/web/20140808152447/http://gtr.rcuk.ac.uk/person/398D67FA-6AC1-4C94-8AE1-DACCDE3F8601|url=http://gtr.rcuk.ac.uk/person/398D67FA-6AC1-4C94-8AE1-DACCDE3F8601|title=UK Government grants awarded to Ulrike Sattler|publisher=Research Councils UK|archive-date=2014-08-08}} She is the co-author of the textbook An Introduction to Description Logic with Ian Horrocks, Franz Baader and Carsten Lutz.{{cite book|last1=Baader|first1=Franz|last2=Horrocks|first2=Ian|last3=Lutz|first3=Carsten|last4=Sattler|first4=Uli|year=2017|doi=10.1017/9781139025355|title=An Introduction to Description Logic|publisher=Cambridge University Press|location=Cambridge|isbn=9781139025355|oclc=990330256}}
= Academic service =
Sattler serves as Editor-in-Chief of the Transactions on Graph Data and Knowledge, as editor of the Journal of Logic and Computation, and on the editorial board of the Journal of Automated Reasoning. Moreover, she has been the chair for various conferences including the International Joint Conference on Automated Reasoning (IJCAR).{{cite web |archive-url=https://web.archive.org/web/20131004055043/http://www.ijcar.org/SteeringCommittee.html|url=http://www.ijcar.org/SteeringCommittee.html|archive-date=2013-10-04|title=IJCAR Steering Committee}}
= Awards and honours=
Sattler was elected a member of the Academia Europaea (MAE) in 2014.{{cite web|archive-url=https://web.archive.org/web/20140417014837/http://www.ae-info.org/ae/User/Sattler_Ulrike|url=http://www.ae-info.org/ae/User/Sattler_Ulrike|archive-date=2014-04-17|title=Ulrike Sattler at the Academy of Europe|publisher=ae-info.org}} She was co-recipient with {{ill|Bijan Parsia|qid=Q30234563|reasonator=1}} and Matthew Horridge of the best paper prize at the International Semantic Web Conference (ISWC) in 2008{{Cite book | last1 = Horridge | first1 = M. | last2 = Parsia | first2 = B. | last3 = Sattler | first3 = U. | author-link3 = Ulrike Sattler| doi = 10.1007/978-3-540-88564-1_21 | chapter = Laconic and Precise Justifications in OWL | title = The Semantic Web - ISWC 2008 | series = Lecture Notes in Computer Science | volume = 5318 | pages = 323–338 | year = 2008 | isbn = 978-3-540-88563-4 }}{{cite web|url=http://iswc2008.semanticweb.org/|title=The 7th International Semantic Web Conference (ISWC 2008)|website=Iswc2008.semanticweb.org|access-date=26 November 2018}} which subsequently won the {{ill|SWSA Ten Year award|qid= Q42307078|reasonator=1}} in 2018 for the highest impact paper from the ISWC proceedings ten years prior.{{cite web|url=http://swsa.semanticweb.org/content/swsa-ten-year-award|title=SWSA Ten-Year Award|website=Swsa.semanticweb.org|access-date=26 November 2018}}
References
{{Reflist}}
{{Authority control}}
{{DEFAULTSORT:Sattler, Ulrike}}
Category:Academics of the University of Manchester
Category:Members of Academia Europaea
Category:People associated with the Department of Computer Science, University of Manchester
Category:German computer scientists
Category:German women computer scientists
Category:20th-century German philosophers