2023 - Research.com Computer Science in United Kingdom Leader Award
2013 - Member of Academia Europaea
Her primary areas of investigation include Description logic, Theoretical computer science, Ontology, Semantic Web and Ontology language. Her Description logic research is multidisciplinary, incorporating elements of Discrete mathematics, Decidability, Knowledge base and Knowledge representation and reasoning. The various areas that she examines in her Decidability study include Axiom, Of the form and Extension.
Her Theoretical computer science study incorporates themes from Algorithm, Fragment and Conjunctive query. The subject of her Ontology research is within the realm of Artificial intelligence. Her work in Semantic Web covers topics such as Set which are related to areas like Vocabulary.
Her scientific interests lie mostly in Description logic, Theoretical computer science, Ontology, Artificial intelligence and Decidability. Her Description logic research is multidisciplinary, incorporating perspectives in Discrete mathematics, Axiom, Conjunctive query and Knowledge representation and reasoning. Her Theoretical computer science study combines topics from a wide range of disciplines, such as Algorithm, Rotation formalisms in three dimensions, Set and Transitive relation.
Her Ontology study is concerned with the field of Information retrieval as a whole. Ulrike Sattler has included themes like Data mining and Natural language processing in her Artificial intelligence study. As part of one scientific family, Ulrike Sattler deals mainly with the area of Ontology language, narrowing it down to issues related to the OWL-S, and often Semantic Web Rule Language.
Her primary areas of study are Ontology, Artificial intelligence, Natural language processing, Theoretical computer science and Description logic. Her Ontology research incorporates elements of Structure and Set. Her study in Artificial intelligence is interdisciplinary in nature, drawing from both Test data and Data mining.
Her Natural language processing study also includes fields such as
Ulrike Sattler spends much of her time researching Artificial intelligence, Ontology, Natural language processing, Similarity and Protocol. Her research in Artificial intelligence intersects with topics in Structure, Set and Data mining. Her work deals with themes such as Semantic reasoner and Description logic, which intersect with Data mining.
Her Ontology research integrates issues from Theoretical computer science, Pairwise comparison and Data science. Ulrike Sattler incorporates Theoretical computer science and Sample in her studies. Ulrike Sattler has researched Natural language processing in several fields, including Analogy and Of the form.
This overview was generated by a machine learning system which analysed the scientist’s body of work. If you have any feedback, you can contact us here.
The even more irresistible SROIQ
Ian Horrocks;Oliver Kutz;Ulrike Sattler.
principles of knowledge representation and reasoning (2006)
OWL 2: The next step for OWL
Bernardo Cuenca Grau;Ian Horrocks;Boris Motik;Bijan Parsia.
Journal of Web Semantics (2008)
OWL 2 Web Ontology Language: structural specification and functional-style syntax
B. Motik;P.F. Patel-Schneider;B. Parsia;C. Bock.
(2008)
Description Logics as Ontology Languages for the Semantic Web
Franz Baader;Ian Horrocks;Ulrike Sattler.
Mechanizing Mathematical Reasoning (2005)
Practical Reasoning for Expressive Description Logics
Ian Horrocks;Ulrike Sattler;Stephan Tobies.
international conference on logic programming (1999)
An Overview of Tableau Algorithms for Description Logics
Franz Baader;Ulrike Sattler.
Studia Logica (2001)
Description logics for the semantic web
Franz Baader;Ian Horrocks;Ulrike Sattler.
Künstliche Intell. (2002)
Query Answering for OWL-DL with rules
Boris Motik;Ulrike Sattler;Rudi Studer.
Journal of Web Semantics (2005)
A tableaux decision procedure for SHOIQ
Ian Horrocks;Ulrike Sattler.
international joint conference on artificial intelligence (2005)
Ontology reasoning in the SHOQ(D) description logic
Ian Horrocks;Ulrike Sattler.
international joint conference on artificial intelligence (2001)
If you think any of the details on this page are incorrect, let us know.
We appreciate your kind effort to assist us to improve this page, it would be helpful providing us with as much detail as possible in the text box below:
University of Oxford
University of Manchester
University of Oxford
TU Dresden
University of Oxford
University of Bremen
Rice University
University of Manchester
University of Liverpool
Microsoft (United States)
Carnegie Mellon University
University of Virginia
French Institute for Research in Computer Science and Automation - INRIA
Jet Propulsion Lab
Max Planck Society
Otto-von-Guericke University Magdeburg
Nanjing Tech University
University of Basel
École Normale Supérieure de Lyon
Massey University
National Institutes of Health
University of Mauritius
Harvard University
St. Jude Children's Research Hospital
Seoul National University
Wellcome Trust