Boris Motik from University of Oxford, United Kingdom, has been awarded the 2007 Cor Baayen Award for a most promising young researcher in computer science and applied mathematics by ERCIM.
In a tight competition with 17 finalists, ERCIM has awarded Boris Motik for the outstanding quality of his work concerning reasoning algorithms and systems for Description Logics (DLs) - a family of knowledge representation formalisms with applications in numerous areas of computer science. DLs provide the basis for the Web Ontology Language (OWL) - the ontology language defined by the World Wide Web Consortium (W3C) that has become the de facto standard for ontology development in fields as diverse as geography, geology, astronomy, agriculture and the life sciences. Boris has already made wide ranging contributions to research, including both new theoretical results, and practical systems that promise to change our notion of tractability in ontology reasoning.