Ulrike Sattler

Last updated
Ulrike Sattler
MAE
Ulrike Sattler P1010617 (13870428215).jpg
Nationality German
Known for Web Ontology Language (OWL)
Awards
Scientific career
Fields
Institutions
Thesis Technological Knowledge Representation Systems in a Chemical Engineering Application  (1998)
Doctoral advisor Franz Baader [4]
Website

Ulrike M. Sattler MAE is a professor of computer science in the information management group of the Department of Computer Science at the University of Manchester [5] [6] and a visiting professor at the University of Oslo. [7]

Contents

Education

Sattler completed her PhD in 1998 under the supervision of Franz Baader [4] 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. [1] Sattler's research [3] [8] [9] focuses on logic to support knowledge representation including description logic, [10] [11] 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) [12] and its use in bioinformatics and molecular biology. [13] [14] [15]

Sattler's research has been funded by the Engineering and Physical Sciences Research Council (EPSRC). [16] She is the co-author of the textbook An Introduction to Description Logic with Ian Horrocks, Franz Baader and Carsten Lutz. [7]

Academic service

Sattler serves as 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 (IJCAR). [17]

Awards and honours

Sattler was elected a member of the Academia Europaea (MAE) in 2014. [1] She was co-recipient with Bijan Parsia  [ Wikidata ] and Matthew Horridge of the best paper prize at the International Semantic Web Conference (ISWC) in 2008 [18] [19] which subsequently won the SWSA Ten Year award  [ Wikidata ] in 2018 for the highest impact paper from the ISWC proceedings ten years prior. [2]

Related Research Articles

Knowledge representation and reasoning is the field of artificial intelligence (AI) dedicated to representing information about the world in a form that a computer system can use to solve complex tasks such as diagnosing a medical condition or having a dialog in a natural language. Knowledge representation incorporates findings from psychology about how humans solve problems and represent knowledge, in order to design formalisms that will make complex systems easier to design and build. Knowledge representation and reasoning also incorporates findings from logic to automate various kinds of reasoning.

<span class="mw-page-title-main">Semantic Web</span> Extension of the Web to facilitate data exchange

The Semantic Web, sometimes known as Web 3.0, is an extension of the World Wide Web through standards set by the World Wide Web Consortium (W3C). The goal of the Semantic Web is to make Internet data machine-readable.

In information science, an ontology encompasses a representation, formal naming, and definitions of the categories, properties, and relations between the concepts, data, or entities that pertain to one, many, or all domains of discourse. More simply, an ontology is a way of showing the properties of a subject area and how they are related, by defining a set of terms and relational expressions that represent the entities in that subject area. The field which studies ontologies so conceived is sometimes referred to as applied ontology.

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 (usually) decidable, and efficient decision procedures have been designed and implemented for these problems. There are general, spatial, temporal, spatiotemporal, and fuzzy description logics, and each description logic features a different balance between expressive power and reasoning complexity by supporting different sets of mathematical constructors.

The Web Ontology Language (OWL) is a family of knowledge representation languages for authoring ontologies. Ontologies are a formal way to describe taxonomies and classification networks, essentially defining the structure of knowledge for various domains: the nouns representing classes of objects and the verbs representing relations between the objects.

E is a high-performance theorem prover for full first-order logic with equality. It is based on the equational superposition calculus and uses a purely equational paradigm. It has been integrated into other theorem provers and it has been among the best-placed systems in several theorem proving competitions. E is developed by Stephan Schulz, originally in the Automated Reasoning Group at TU Munich, now at Baden-Württemberg Cooperative State University Stuttgart.

Patrick John Hayes FAAAI is a British computer scientist who lives and works in the United States. As of March 2006, he is a senior research scientist at the Institute for Human and Machine Cognition in Pensacola, Florida.

<span class="mw-page-title-main">Deborah McGuinness</span>

Deborah Louise McGuinness is an American computer scientist and researcher at Rensselaer Polytechnic Institute (RPI). She is a professor of Computer, Cognitive and Web Sciences, Industrial and Systems Engineering, and an endowed chair in the Tetherless World Constellation, a multidisciplinary research institution within RPI that focuses on the study of theories, methods and applications of the World Wide Web. Her fields of expertise include interdisciplinary data integration, artificial intelligence, specifically in knowledge representation and reasoning, description logics, the semantic web, explanation, and trust.

Franz Baader is a German computer scientist at Dresden University of Technology.

The Semantic Web Rule Language (SWRL) is a proposed language for the Semantic Web that can be used to express rules as well as logic, combining OWL DL or OWL Lite with a subset of the Rule Markup Language.

<span class="mw-page-title-main">Ian Horrocks</span> British academic (b.1958)

Ian Robert Horrocks is a professor of computer science at the University of Oxford in the UK and a Fellow of Oriel College, Oxford. His research focuses on knowledge representation and reasoning, particularly ontology languages, description logic and optimised tableaux decision procedures.

<span class="mw-page-title-main">Alan Rector</span> British computer scientist

Alan L. Rector is a Professor of Medical Informatics in the Department of Computer Science at the University of Manchester in the UK.

Frames are an artificial intelligence data structure used to divide knowledge into substructures by representing "stereotyped situations". They were proposed by Marvin Minsky in his 1974 article "A Framework for Representing Knowledge". Frames are the primary data structure used in artificial intelligence frame languages; they are stored as ontologies of sets.

A semantic reasoner, reasoning engine, rules engine, or simply a reasoner, is a piece of software able to infer logical consequences from a set of asserted facts or axioms. The notion of a semantic reasoner generalizes that of an inference engine, by providing a richer set of mechanisms to work with. The inference rules are commonly specified by means of an ontology language, and often a description logic language. Many reasoners use first-order predicate logic to perform reasoning; inference commonly proceeds by forward chaining and backward chaining. There are also examples of probabilistic reasoners, including non-axiomatic reasoning systems, and probabilistic logic networks.

<span class="mw-page-title-main">Ontology engineering</span> Field that studies the methods and methodologies for building ontologies

In computer science, information science and systems engineering, ontology engineering is a field which studies the methods and methodologies for building ontologies, which encompasses a representation, formal naming and definition of the categories, properties and relations between the concepts, data and entities of a given domain of interest. In a broader sense, this field also includes a knowledge construction of the domain using formal ontology representations such as OWL/RDF. A large-scale representation of abstract concepts such as actions, time, physical objects and beliefs would be an example of ontological engineering. Ontology engineering is one of the areas of applied ontology, and can be seen as an application of philosophical ontology. Core ideas and objectives of ontology engineering are also central in conceptual modeling.

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 meet to discuss the future of practical, scalable, user-friendly, and game changing solutions. Its proceedings are published in the Lecture Notes in Computer Science by Springer-Verlag.

<span class="mw-page-title-main">Pascal Hitzler</span> German-American computer scientist

Pascal Hitzler is a German American computer scientist specializing in Semantic Web and Artificial Intelligence. He is endowed Lloyd T. Smith Creativity in Engineering Chair, one of the Directors of the Institute for Digital Agriculture and Advanced Analytics (ID3A) and Director of the Center for Artificial Intelligence and Data Science (CAIDS) at Kansas State University, and the founding Editor-in-Chief of the Semantic Web journal and the IOS Press book series Studies on the Semantic Web.

Sheila McIlraith is a Canadian computer scientist specializing in Artificial Intelligence (AI). She is a Professor in the Department of Computer Science, University of Toronto. She is a Canada CIFAR AI Chair, a faculty member of the Vector Institute, and Associate Director and Research Lead of the Schwartz Reisman Institute for Technology and Society.

<span class="mw-page-title-main">Jens Lehmann (scientist)</span> Artificial Intelligence researcher

Jens Lehmann is a computer scientist, who works with knowledge graphs and artificial intelligence. He is a principal scientist at Amazon, an honorary professor at TU Dresden and a fellow of European Laboratory for Learning and Intelligent Systems. Formerly, he was a full professor at the University of Bonn, Germany and lead scientist for Conversational AI and Knowledge Graphs at Fraunhofer IAIS.

Terry R. Payne is a computer scientist and artificial intelligence researcher at the University of Liverpool. He works on the use of ontologies by Software Agents within decentralised environments. He is best known for his work on Semantic Web Services and in particular for his work on OWL-S.

References

  1. 1 2 3 4 "Ulrike Sattler at the Academy of Europe". ae-info.org. Archived from the original on 2014-04-17.
  2. 1 2 "SWSA Ten-Year Award". Swsa.semanticweb.org. Retrieved 26 November 2018.
  3. 1 2 Ulrike Sattler publications indexed by Google Scholar OOjs UI icon edit-ltr-progressive.svg
  4. 1 2 Ulrike Sattler at the Mathematics Genealogy Project OOjs UI icon edit-ltr-progressive.svg
  5. ↑ "Prof Ulrike Sattler, research profile". University of Manchester. Archived from the original on 2014-04-16.
  6. ↑ "Uli Sattler homepage". University of Manchester. Archived from the original on 2014-12-14.
  7. 1 2 Baader, Franz; Horrocks, Ian; Lutz, Carsten; Sattler, Uli (2017). An Introduction to Description Logic. Cambridge: Cambridge University Press. doi:10.1017/9781139025355. ISBN   9781139025355. OCLC   990330256.
  8. ↑ Ulrike Sattler at DBLP Bibliography Server OOjs UI icon edit-ltr-progressive.svg
  9. ↑ Ulrike Sattler publications indexed by the Scopus bibliographic database. (subscription required)
  10. ↑ Horrocks, I.; Sattler, U.; Tobies, S. (1999). "Practical Reasoning for Expressive Description Logics". Logic for Programming and Automated Reasoning. Lecture Notes in Computer Science. Vol. 1705. p. 161. arXiv: cs/0005014 . doi:10.1007/3-540-48242-3_11. ISBN   978-3-540-66492-5. S2CID   1599841.
  11. ↑ Baader, F.; Sattler, U. (2001). "An Overview of Tableau Algorithms for Description Logics". Studia Logica. 69: 5–40. doi:10.1023/A:1013882326814. S2CID   2707416.
  12. ↑ 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.
  13. ↑ 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. S2CID   24617819.
  14. ↑ Horridge, Matthew (2011). Justification based explanation in ontologies. Manchester.ac.uk (PhD thesis). University of Manchester. OCLC   840679574. EThOS   uk.bl.ethos.553297.
  15. ↑ 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.
  16. ↑ "UK Government grants awarded to Ulrike Sattler". Research Councils UK. Archived from the original on 2014-08-08.
  17. ↑ "IJCAR Steering Committee". Archived from the original on 2013-10-04.
  18. ↑ Horridge, M.; Parsia, B.; Sattler, U. (2008). "Laconic and Precise Justifications in OWL". The Semantic Web - ISWC 2008. Lecture Notes in Computer Science. Vol. 5318. pp. 323–338. doi:10.1007/978-3-540-88564-1_21. ISBN   978-3-540-88563-4.
  19. ↑ "The 7th International Semantic Web Conference (ISWC 2008)". Iswc2008.semanticweb.org. Retrieved 26 November 2018.
This page is based on this Wikipedia article
Text is available under the CC BY-SA 4.0 license; additional terms may apply.
Images, videos and audio are available under their respective licenses.