WSML2Reasoner
Contents |
WSML2Reasoner
The WSML2Reasoner framework is a highly modular architecture which combines various validation, normalization and transformation functions essential to the translation of ontology descriptions in WSML to the appropriate syntax of several underlying reasoning engines.
It can translate ontology descriptions from WSML to Datalog predicates and rules. Additionally, it provides a Facade for the easy integration of different reasoners, e.g. MINS and IRIS. WSML2Reasoner and IRIS can thus be used as a framework for reasoning the rule-based WSML languages.
The WSML2Reasoner framework can also translate ontology descriptions from WSML-DL to OWL DL and provides facades for integration of different DL reasoners, such as e.g. PELLET and KAON2. WSML2Reasoner with PELLET or KAON2 can thus be used as a framework for reasoning with WSML DL.
Tasks
In Progress
Completed
- Aggregate Functions (SUPER) - Prototype completed
Links
The WSML2Reasoner homepage can be found at http://tools.deri.org/wsml2reasoner/.
The WSML2Reasoner project is hosted at https://sourceforge.net/projects/wsml2reasoner.
