Reintroducing CEL as an OWL 2 EL Reasoner

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche

Toggle side column

Reintroducing CEL as an OWL 2 EL Reasoner

Julian MendezJulian Mendez,  Boontawee SuntisrivarapornBoontawee Suntisrivaraporn
Julian Mendez, Boontawee Suntisrivaraporn
Reintroducing CEL as an OWL 2 EL Reasoner
In Bernardo Cuenca Grau and Ian Horrocks and Boris Motik and Ulrike Sattler, eds., Proceedings of the 2009 International Workshop on Description Logics (DL2009), volume 477 of CEUR-WS, 2009
  • KurzfassungAbstract
    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.
  • Forschungsgruppe:Research Group: AutomatentheorieAutomata Theory
@inproceedings{ MeSu-DL09,
  author = {Julian {Mendez} and Boontawee {Suntisrivaraporn}},
  booktitle = {Proceedings of the 2009 International Workshop on Description Logics ({DL2009})},
  editor = {Bernardo Cuenca {Grau} and Ian {Horrocks} and Boris {Motik} and Ulrike {Sattler}},
  series = {CEUR-WS},
  title = {Reintroducing CEL as an OWL 2 EL Reasoner},
  volume = {477},
  year = {2009},
}