Boris Motik – Professor

Semantic Integration

Boris Motik completed his PhD at the University of Karlsruhe under the supervision of Prof Rudi Studer, and he is currently a Professor of Computer Science at the University of Oxford. His research interests include knowledge representation and reasoning, ontologies, automated theorem proving, databases, and the Semantic Web. His research encompasses both theory and practice, including studying and developing knowledge representation languages and reasoning algorithms, as well as practical implementation of reasoning systems. He is the main author of the HermiT reasoning system, a popular and widely used OWL 2 DL reasoner, and RDFox. He played a key role in the development of the OWL 2 DL ontology. He has an extensive collaboration network with industry partners, with whom he is working on practical applications of semantic technologies in areas as diverse as health care, energy, and travel.


University profile: