Download of wsml2reasoner-datalog-lgpl-v0_5.zip (wsml2reasoner-datalog-lgpl-v0_5.zip ( external link: SF.net): 1,999,416 字节) will begin shortly. If not so, click link on the left.
The WSML2Reasoner Framework is a modular architecture that combines various validation, normalisation, and transformation algorithms for the translation of ontology descriptions in WSML to the appropriate syntax of several underlying reasoning engines.