[Pellet-Users] Pellet 1.3-beta2 released

[Evren Sirin]

There have been some significant changes after the last beta release 
both for capabilities (native SPARQL support, optional Unique Name 
Assumption, support for KRSS syntax) and performance (faster 
preprocessing, improved query answering, extended nominal 
optimizations). For this reason, we are releasing a new beta version 
that you can download here:

http://www.mindswap.org/2003/pellet/download/pellet-1.3-beta2.zip

We have also done a more detailed performance evaluation and comparison 
with other DL reasoners, namely RacerPro and FaCT++. You can see the 
results here:

http://www.mindswap.org/2003/pellet/performance.shtml

Below you can find a summary of changes done after the last beta release.

Regards,
Evren

CHANGES:

* MODIFIED: Jena jar files to version 2.3

* ADDED: SPARQL query engine named PelletQueryExecution

* ADDED: A new option PelletOptions.USE_UNIQUE_NAME_ASSUMPTION

* ADDED: A new option PelletOptions.TREAT_ALL_VARS_DISTINGUISHED that is 
true
         by default so that all variables in a query are treated as 
distinguished
         even though they do not appear in the SELECT clause. Earlier, 
this option
         was considered to be false by default.
        
* ADDED: Classification progress bar

* ENHANCED: KRSS support to load these files independent of DL-benchmark 
tests

* ENHANCED: Preprocessing step for much faster TBox and RBox processing

* ENHANCED: Internal query engines for answering queries

* ENHANCED: Nominal absorption for hasValue restrictions

* ENHANCED: Told subsumer computation for union class descriptions

* ENHANCED: PelletInfGraph.graphBaseContains function to handle Node.ANY 
parameters
            gracefully