Information Systems Group
― Knowledge Representation and Reasoning
Boris Motik
University Lecturer; Non-Tutorial Fellow, Somerville College
Interests
I am interested in developing algorithms and techniques necessary for realizing advanced applications in the Semantic Web. In particular, my research is focused around the ontology language OWL — an ontology language with firm theoretical roots in the description logic (DL) family of knowledge representation formalisms. I developed theoretical foundations for various extensions of DLs and OWL, such as an integrity constraint language, integration with various rule-based formalisms, and constructs for the representation of arbitrarily connected structures. I have also been working on proof-theoretic aspects of DLs and OWL, and have so far implemented two reasoners for OWL.
In my PhD, I developed algorithms for reasoning in OWL by reusing database technologies. I implemented these techniques in the KAON2 reasoner. The German company ontoprise GmbH is currently using KAON2 in a commercial setting.
Recently, I have been working on a new reasoner HermiT. This reasoner is based on a novel reasoning algorithm based on hypertableau, which allows HermiT to process certain ontologies that have traditionally been quite "hard".
Biography
Before coming to Oxford, I worked in the Information Management Group, School of Computer Science, University of Manchester. I got my PhD from the University of Karlsruhe under supervision of Prof. Rudi Studer. While in Karlsruhe, Germany, I was employed at the Research Center for Information Technologies (FZI). I speak English, German, and Croatian, so feel free to send me e-mails in any of these languages.
Awards
Selected as one of "2008 AI's 10 to Watch" by the IEEE Intelligent Systems magazine
The Cor Baayen Award 2007 by the European Research Consortium for Informatics and Mathematics (ERCIM) for "a most promising young researcher in computer science and applied mathematics"
Best Paper award at the 2005 International Semantic Web Conference for my paper "On the Properties of Metamodeling in OWL".
Recent Publications
A Comparison of Query Rewriting Techniques for DL-Lite by Héctor Pérez-Urbina, Boris Motik, and Ian Horrocks. (Published at DL 2009.)
Practical Considerations for Query Answering in OWL 2 by Héctor Pérez-Urbina, Ian Horrocks, and Boris Motik. (To appear at OWL:ED 2009.)
Efficient Query Answering for OWL 2 by Héctor Pérez-Urbina, Ian Horrocks, and Boris Motik. (To appear.)
Name
Boris Motik
Posts
University Lecturer, Non-Tutorial Fellow, Somerville College
Projects
Contact Information
Room 308, Wolfson Building, Parks Road
Oxford OX1 3QD
Links
News
OWL Reasoner Evaluation Workshop (ORE 2012)
The KRR group co-organises the OWL Reasoner Evaluation Workshop (ORE) as a satellite event of the IJCAR 2012 conference and will be held on July 1, 2012 in Manchester (UK).
Exploiting Large Knowledge Repositories Workshop (E-LKR 2012)
The KRR group organises the 2nd International Workshop on Exploiting Large Knowledge Repositories (E-LKR). In conjunction with SEPLN 2012 conference. E-LKR will be held on September 7, 2012 in Castellon, Spain..
OAEI 2011.5: Matching Large Biomedical Ontologies
The KRR group organises the Matching Large Biomedical Ontologies track within the Ontology Alignment Evaluation Initiative.
Information Systems Group awarded £700k EPSRC project
The Information Systems Group has been awarded £700k by the EPSRC to fund research into ontology-based data access in the ExODA project.
OWL 2 becomes a W3C Proposed Recommendation
The OWL 2 specification developed by the W3C's OWL Working Group, chaired by Oxford professor Ian Horrocks, has become a W3C Proposed Recommendation.