Boris Motik – Cor Baayen Award 2007

In a highly competitive selection with 17 finalists, ERCIM honoured Boris Motik for the exceptional quality and impact of his work on reasoning algorithms and systems for Description Logics (DLs), a family of knowledge representation formalisms with wide-ranging applications in computer science.

Description Logics form the foundation of the Web Ontology Language (OWL), defined by the World Wide Web Consortium (W3C) and now the de facto standard for ontology development in fields such as geography, geology, astronomy, agriculture and the life sciences.

Boris Motik has made influential contributions both in theory and practice, producing new fundamental results and developing systems that significantly advanced the scalability and tractability of ontology reasoning.

Scientific contributions

Despite having completed his PhD only in 2006, Boris Motik had already published more than 40 articles in leading international conferences and journals at the time of the award. He received the Best Paper Award at the International Semantic Web Conference 2005 (ISWC 2005) for his paper “On the Properties of Metamodeling in OWL”.

His doctoral research at the Technical University of Karlsruhe, Germany, broke new ground in scalable reasoning for ontology languages. He demonstrated that the data complexity of ontology reasoning is lower than its combined complexity, showing that there are no fundamental limitations to scalability in data-intensive applications.

Boris also developed a novel Description Logic reasoning technique based on a reduction to disjunctive datalog. This approach achieves worst-case optimal complexity while enabling the reuse of established optimisation techniques such as magic sets, resulting in significant performance improvements.

Systems and practical impact

Beyond theoretical advances, Boris Motik implemented his reasoning algorithms in the KAON2 reasoning system. Experimental results showed that, for large data sets and relatively simple ontologies, KAON2 could answer queries several orders of magnitude faster than existing tableau-based systems.

This work addressed a key obstacle to the wider adoption of Semantic Web technologies, where scalability issues had long limited practical deployment. Notably, Boris’s research became the foundation of a commercial ontology management system marketed by ontoprise GmbH.

He also made influential contributions in areas including meta-modelling, the integration of Description Logics and Logic Programming, and the interaction between open-world and closed-world reasoning paradigms. His work on the HermiT reasoner, based on a hypertableau calculus, enabled for the first time the processing of large life-science terminologies that had previously been considered intractable.

Academic background

Boris Motik completed his Bachelor’s and Master’s studies at the Faculty of Electrical Engineering and Computing, University of Zagreb, Croatia, where he received the Josip Lončar Faculty Award as the best student of his generation.