Small screen detected. You are viewing the mobile version of SlideWiki. If you wish to edit slides you will need to use a larger device.
WSML2Reasoner is a highly modular framework that combines various validation, normalization and transformation algorithms that enable the translation of ontology descriptions in WSML to the appropriate syntax of several underlying reasoning engines
WSML2Reasoner has been implemented and tested using various reasoning engines that support all WSML variants with the exception of WSML-Full
The WSML2Reasoner framework has a flexible architecture that allows the easy integration of existing reasoning components
It first maps WSML to either generic Datalog or OWL (Web Ontology Language), and then uses a plug-in layer that translates to the specific internal representation of a single reasoning engine