I am interested in developing algorithms and techniques necessary for realizing advanced applications in the Semantic Web. In particular, my research has so far been focused around the Semantic Web ontology language OWL ? an ontology language with firm theoretical roots in the description logic (DL) family of knowledge representation formalisms.
In my research, 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 several ontologies that have traditionally been quite "hard".
I work on the EPSRC project REOL in which I am developing reasoning algorithms for description logics. 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.
I have received several awards for my research work:
