2014

paper

english

EN In this paper we present a method of transforming OWL 2 ontologies into a set of rules which can be used in a forward chaining rule engine. We use HermiT reasoner to perform the TBox reasoning and to produce classified form of an ontology. The ontology is automatically transformed into a set of Abstract Syntax of Rules and Facts. Then, it can be transformed into any forward chaining reasoning engine. We present an implementation of our method using two engines: Jess and Drools. We evaluate our approach by performing the ABox reasoning on the number of benchmark ontologies. Additionally, we compare obtained results with inferences provided by the HermiT reasoner. The evaluation shows that we can perform the ABox reasoning with considerably better performance than HermiT. We describe the details of our approach as well as future research and development.

404 - 413

10.1007/978-3-319-11289-3_41

https://link.springer.com/chapter/10.1007/978-3-319-11289-3_41

Computational Collective Intelligence. Technologies and Applications : 6th International Conference, ICCCI 2014, Seoul, Korea, September 24-26, 2014

6th International Conference on Computational Collective Intelligence Technologies and Applications , ICCCI 2014, 24-26.09.2014, Seoul, Republic of Korea

WoS (15)