The WSML2Reasoner software is licensed under the GNU lesser GPL (LGPL).
However, there are three release variants in accordance with the license agreements for the bundled reasoning engine libraries.
LGPL - This release includes all the LGPL libraries (jars) used by WSML2Reasoner,
including the IRIS and PELLET reasoning engines.
GPL - In addition to the LGPL libraries and packages, this release includes the MINS reasoning engine,
which is licensed under the GNU GPL.
Proprietary - This release version does not include any further jar files or reasoning engines.
However, it does include wrapper classes that allow the WSML2Reasoner framework to use the KAON2 reasoning engine,
if you are legally allowed to do so and possess a copy of the required jar file (kaon2.jar).
The nightly build process creates a snapshot of all release configurations, test results, javadoc and source code.
Source code, trackers, and further technical documentation can be found at sourceforge.
This version contains updates for support of WSML v2.0, which includes:
- WSML-Core: Semantics of WSML-Core more closely aligned with DLP and a subset of OWL2 RL, including equality in rule heads
- WSML-DL: New semantics based on ELP (OWL2 RL, EL, QL and EL++)
- WSML-Flight and WSML-Rule: New built-in data-types and predicates for better compatibility with RIF (BLD, Core and DTB)
This version contains no significant updates of WSML2Reasoner,
but is being released because it contains a new version of the bundled WSMO4J
(the wsmo object model for java) jar files.
The latest WSMO4J release contains several important bug fixes
relating to the WSMO4J date-time types.
- 2261565 Relation instances discarded when relation not defined.
- 2261570 Relation instances discarded if relation defined later.
- 2017365 RelationInstance is not working with multiple ontologies
- 2220187 Badly named concept satisfiability method (entails)
- 2248622 Type constraints in relations not working with simple types.
- 2255284 Constraints with multiple types do not work in relations.
- 2041579 Implement missing WSML built-in predicates
- 2211574 Strange behaviour of WSML-A (Exception)
- 2132425 Not all attributes are inherited
- 2014982 dateTime Subtracts don't work properly
- 2010916 Implies type in WSML-Flight Query
- 2031567 Skip table creation when WSML-Flight-A query result is empty
- 2027777 WSML-Flight-A queries don't allow constants in WHERE clause
- 2010454 DateTime and Time types do not properly support seconds.
- 2003876 getAllConcepts() does not return concepts that are instances