Reintroducing CEL as an OWL 2 EL Reasoner

The CEL system is known for its scalability of reasoning in the lightweight DL EL++ which has been proved suitable for several ontology applications, most notably from the life science domain. Recently, the DL EL++ has been adopted as the logical underpinning of the OWL 2 EL profile of the new Web Ontology Language which potentially attracts new folks of CEL's users. To seamlessly integrate the reasoner to the OWL user community, we have implemented the OWL API for CEL. This paper describes the challenges, design decision and architecture of this implementation. Additionally, we present experimental results which highlight the scalability of the reasoner, as well as demonstrate a low overhead of our OWL API implementation.

• Type: Journal
• Year: 2009
• Where: DLOG
• Authors: Julian Mendez, Boontawee Suntisrivaraporn
• Keywords: Automated Reasoning, DL EL++, DLOG 2009, Lightweight Dl El++, OWL API