Uli Sattler

Uli Sattler is a Professor in the Department of Computer Science at The University of Manchester. His research focuses on logics for knowledge representation and automated deduction, particularly in Description, Modal, and Dynamic Logics. He is interested in the complexity and decision procedures for these logics, as well as their application in ontology languages such as OWL and OWL 2. Sattler's work includes practical inference algorithms for highly expressive Description Logics and non-standard logical reasoning problems related to ontology engineering. He is also involved in research on module extraction, entailment explanation, and ontology-based reasoning techniques.

Uli Sattler is a Professor in the Department of Computer Science at the University of Manchester, specializing in Description Logics, Ontology Engineering, and Automated Reasoning. His research focuses on the theoretical and practical aspects of knowledge representation, particularly in the context of the Semantic Web and ontology-based systems. He has contributed significantly to the development of OWL (Web Ontology Language) and its extensions, such as OWL 2, and has explored the integration of ontologies with relational databases. His work includes the design of reasoning algorithms for expressive description logics and the application of these techniques to real-world problems in ontology engineering.