Reasoning Paradigms for OWL Ontologies

Elena Paslaru Bontas
Institut für Informatik
Freie Universität Berlin
Takustr. 9, D-14195 Berlin

Jing Mei
Department of Computer Science
Peking University
Beijing 100871

Report B 04-12
November 2004


Abstract Representing knowledge in OWL provides two important limitations; on one hand efficient reasoning on real-world ontologies containing a large set of individuals is still a challenging task. On the other hand though OWL offers a reasonable trade-off between expressibility and decidability, it can not be used efficiently to model certain application domains.

In this report we give an overview of some of the most relevant approaches in this domain and present OWL2Jess, which is a comprehensive converter tool enabling Jess reasoning over OWL ontologies.

Get the report here or by anonymous ftp:
File: pub/reports/tr-b-04-12.pdf