Boris Motik
|
Dr. rer. pol.
Boris
Motik
Room 308, Wolfson Building, Parks Road, Oxford OX1 3QD |
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".
publications
complete list with downloadable papersBiography
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".
Links
CV in PDF format
HermiT reasoner
Selected Publications
| Practical Considerations for Query Answering in OWL 2 Héctor Pérez-Urbina, Ian Horrocks and Boris Motik In In Proc. of the OWL: Experiences and Directions Workshop (OWLED2009). Chantilly, VA, USA.. October, 2009. |
| Efficient Query Answering for OWL 2 Héctor Pérez-Urbina, Ian Horrocks and Boris Motik October, 2009. to appear |
| Rewriting Conjunctive Queries under Description Logic Constraints Héctor Pérez-Urbina, Boris Motik and Ian Horrocks In Proc. of the Int. Workshop on Logics in Databases (LID 2008). Rome, Italy. May, 2008. |
Info
|
Themes |
|
|
Activities |
|
|
Projects |