Ulrike M. Sattler is a

professor Professor (commonly abbreviated as Prof.) is an Academy, academic rank at university, universities and other tertiary education, post-secondary education and research institutions in most countries. Literally, ''professor'' derives from Latin ...

computer science Computer science is the study of computation, information, and automation. Computer science spans Theoretical computer science, theoretical disciplines (such as algorithms, theory of computation, and information theory) to Applied science, ...

in the

information management Information management (IM) is the appropriate and optimized capture, storage, retrieval, and use of information. It may be personal information management or organizational. Information management for organizations concerns a cycle of organiz ...

group of the

Department of Computer Science Computer science is the study of computation, information, and automation. Computer science spans theoretical disciplines (such as algorithms, theory of computation, and information theory) to applied disciplines (including the design and ...

at the

University of Manchester The University of Manchester is a public university, public research university in Manchester, England. The main campus is south of Manchester city centre, Manchester City Centre on Wilmslow Road, Oxford Road. The University of Manchester is c ...

and a visiting professor at the

University of Oslo The University of Oslo (; ) is a public university, public research university located in Oslo, Norway. It is the List of oldest universities in continuous operation#Europe, oldest university in Norway. Originally named the Royal Frederick Univ ...

Education

Sattler completed her

PhD A Doctor of Philosophy (PhD, DPhil; or ) is a terminal degree that usually denotes the highest level of academic achievement in a given discipline and is awarded following a course of graduate study and original research. The name of the deg ...

in 1998 under the supervision of

Franz Baader Franz Baader (15 June 1959, Spalt) is a German computer scientist at Dresden University of Technology. He received his PhD in Computer Science in 1989 from the University of Erlangen-Nuremberg, Germany, where he was a teaching and research assi ...

RWTH Aachen University RWTH Aachen University (), in German ''Rheinisch-Westfälische Technische Hochschule Aachen'', is a German public research university located in Aachen, North Rhine-Westphalia, Germany. With more than 47,000 students enrolled in 144 study prog ...

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 focuses on logic to support

knowledge representation Knowledge representation (KR) aims to model information in a structured manner to formally represent it as knowledge in knowledge-based systems whereas knowledge representation and reasoning (KRR, KR&R, or KR²) also aims to understand, reason, and ...

including

description logic Description logics (DL) are a family of formal knowledge representation languages. Many DLs are more expressive than propositional logic but less expressive than first-order logic. In contrast to the latter, the core reasoning problems for DLs are ...

, Dynamic logic and

Modal logic Modal logic is a kind of logic used to represent statements about Modality (natural language), necessity and possibility. In philosophy and related fields it is used as a tool for understanding concepts such as knowledge, obligation, and causality ...

. She is also investigating the

inference Inferences are steps in logical reasoning, moving from premises to logical consequences; etymologically, the word '' infer'' means to "carry forward". Inference is theoretically traditionally divided into deduction and induction, a distinct ...

problems, complexity theory and decision procedures associated with knowledge representation. This research has been important in the development of the

Web Ontology Language The Web Ontology Language (OWL) is a family of Knowledge representation and reasoning, knowledge representation languages for authoring Ontology (information science), ontologies. Ontologies are a formal way to describe Taxonomy, taxonomies and ...

(OWL) and its use in

bioinformatics Bioinformatics () is an interdisciplinary field of science that develops methods and Bioinformatics software, software tools for understanding biological data, especially when the data sets are large and complex. Bioinformatics uses biology, ...

and

molecular biology Molecular biology is a branch of biology that seeks to understand the molecule, molecular basis of biological activity in and between Cell (biology), cells, including biomolecule, biomolecular synthesis, modification, mechanisms, and interactio ...

. Sattler's research has been funded by the

Engineering and Physical Sciences Research Council The Engineering and Physical Sciences Research Council (EPSRC) is a British UK Research Councils, Research Council that provides government funding for grants to undertake research and postgraduate degrees in engineering and the physical scienc ...

(EPSRC). She is the co-author of the textbook ''An Introduction to Description Logic'' with

Ian Horrocks Ian Robert Horrocks One or more of the preceding sentences incorporates text from the royalsociety.org website where: is a professor of computer science at the University of Oxford in the UK and a Fellow of Oriel College, Oxford. His research ...

and Carsten Lutz.

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 A journal, from the Old French ''journal'' (meaning "daily"), may refer to: *Bullet journal, a method of personal organization *Diary, a record of personal secretive thoughts and as open book to personal therapy or used to feel connected to onesel ...

'', and on the

editorial board The editorial board is a group of editors, writers, and other people who are charged with implementing a publication's approach to editorials and other opinion pieces. The editorials published normally represent the views or goals of the publicat ...

of the ''

Journal of Automated Reasoning The ''Journal of Automated Reasoning'' was established in 1983 by Larry Wos, who was its editor in chief until 1992. It covers research and advances in automated reasoning, mechanical verification of theorems, and other deductions in classical and ...

''. Moreover, she has been the

chair A chair is a type of seat, typically designed for one person and consisting of one or more legs, a flat or slightly angled seat and a back-rest. It may be made of wood, metal, or synthetic materials, and may be padded or upholstered in vario ...

for various conferences including the

International Joint Conference on Automated Reasoning The International Joint Conference on Automated Reasoning (IJCAR) is a series of conferences on the topics of automated reasoning, automated deduction, and related fields. It is organized semi-regularly as a merger of other meetings. IJCAR repl ...

(IJCAR).

Awards and honours

Sattler was elected a member of the

Academia Europaea The Academia Europaea is a pan-European Academy of humanities, letters, law, and sciences. The Academia was founded in 1988 as a functioning Europe-wide Academy that encompasses all fields of scholarly inquiry. It acts as co-ordinator of Europe ...

(MAE) in 2014. She was co-recipient with and Matthew Horridge of the best paper prize at the

International Semantic Web Conference The International Semantic Web Conference (ISWC) is a series of academic conferences and the premier international forum for the Semantic Web, Linked Data and Knowledge Graph Community. Here, scientists, industry specialists, and practitioners m ...

(ISWC) in 2008 which subsequently won the in 2018 for the highest impact paper from the ISWC proceedings ten years prior.

References

{{DEFAULTSORT:Sattler, Ulrike Academics of the University of Manchester Members of Academia Europaea People associated with the Department of Computer Science, University of Manchester Living people German computer scientists German women computer scientists German logicians 20th-century German philosophers 21st-century German philosophers Semantic Web people Year of birth missing (living people)