I-DLV 1.1.6

Changes

• bug fixing

Description of Released Versions

1. idlv_1.1.6_linux_x86-64: Static executable of I-DLV for Linux x86-64.
2. idlv_1.1.6_windows_x86-64.exe: Static executable of I-DLV for Windows 64bit.

Static executables are ready to be executed and do not necessitate of any library installation.

The above listed static versions do not support I-DLV advanced features such as external atoms and SPARQL/SQL directives for importing/exporting data. Such features are supported by the following standalone versions:

1. idlv_1.1.6_linux_x86-64_supporting-python3-sparql-sql.zip: Standalone executable of I-DLV for Linux x86-64 in which semantics of external atoms can be specified via Python3.5 functions (you need to install Python 3.5 to execute this version).

2. idlv_1.1.6_linux_x86-64_supporting-python2-sparql-sql.zip: Standalone executable of I-DLV for Linux x86-64 in which semantics of external atoms can be specified via Python2.7 functions (you need to install Python 2.7 to execute this version).

In addition, in order to use the SPARQL remote directives the following Python modules are required:

1. librdf;
2. SPARQLWrapper.

Please have a look at the README files within these zip files for instruction on how to execute the system.

In case these executables do not work properly, for instance because of missing libraries, please write to [email protected].

For additional versions of I-DLV and bug report, please write to [email protected].

I-DLV 1.1.5

LAST UPDATE: 27 October 2020

Changes

• improved performance of aggregate atoms grounding
• added support of recursive aggregate atoms
• added support of list terms
• added default external atoms representing facilities for handling list terms, arithmetic operations and strings
• added the annotations "%@rule_to_not_decompose." and "%@rule_to_decompose." to specify whether rules have to be decomposed (See the ICLP 2020 paper)
• bug fixing

Description of Released Versions

1. idlv_1.1.5_linux_x86-64: Static executable of I-DLV for Linux x86-64.
2. idlv_1.1.5_windows_x86-64.exe: Static executable of I-DLV for Windows 64bit.

Static executables are ready to be executed and didn't necessitate of any library installation.

The above listed static versions do not support I-DLV advanced features such as external atoms and SPARQL/SQL directives for importing/exporting data. Such features are supported by the following standalone versions:

1. idlv_1.1.5_linux_x86-64_supporting-python3-sparql-sql.zip: Standalone executable of I-DLV for Linux x86-64 in which semantics of external atoms can be specified via Python3.5 functions (you need to install Python 3.5 to execute this version).

2. idlv_1.1.5_linux_x86-64_supporting-python2-sparql-sql.zip: Standalone executable of I-DLV for Linux x86-64 in which semantics of external atoms can be specified via Python2.7 functions (you need to install Python 2.7 to execute this version).

In addition, in order to use the SPARQL remote directives the following Python modules are required:

1. rdflib;
2. SPARQLWrapper.

Please have a look at the README files within these zip files for instruction on how to execute the system.

For further details about such features and information about required libraries, please refer to the official wiki.

In case these executables do not work properly, for instance because of missing libraries, please write to [email protected].

For additional versions of I-DLV and bug report, please write to [email protected].

I-DLV 1.1.4

Changes

• improved magic sets rewriting

Description of Released Versions

1. idlv_1.1.4_linux_x86-64: Static executable of I-DLV for Linux x86-64.
2. idlv_1.1.4_windows_x86-64.exe: Static executable of I-DLV for Windows 64bit.

The above listed static versions do not support I-DLV advanced features such as external atoms and SPARQL/SQL directives for importing/exporting data. Such features are supported by the following standalone versions:

1. idlv_1.1.4_linux_x86-64_supporting-python3-sparql-sql.zip: Standalone executable of I-DLV for Linux x86-64 in which semantics of external atoms can be specified via Python3.5 functions (you need to install Python 3.5 to execute this version).

2. idlv_1.1.4_linux_x86-64_supporting-python2-sparql-sql.zip: Standalone executable of I-DLV for Linux x86-64 in which semantics of external atoms can be specified via Python2.7 functions (you need to install Python 2.7 to execute this version).

In addition, in order to use the SPARQL remote directives the following Python modules are required:

1. rdflib;
2. SPARQLWrapper.

Please have a look at the README files within these zip files for instruction on how to execute the system.

For further details about such features and information about required libraries, please refer to the official wiki.

In case these executables do not work properly, for instance because of missing libraries, please write to [email protected].

For additional versions of I-DLV and bug report, please write to [email protected].

I-DLV 1.1.3

Changes

• performance improvements
• bug fixes

Description of Released Versions

1. idlv_1.1.3_linux_x86-64: Static executable of I-DLV for Linux x86-64.
2. idlv_1.1.3_linux_i386: Static executable of I-DLV for Linux i386.
3. idlv_1.1.3_windows_x86-64.exe: Static executable of I-DLV for Windows 64bit.
4. idlv_1.1.3_windows_i386.exe: Static executable of I-DLV for Windows 32bit.

The above listed static versions do not support I-DLV advanced features such as external atoms and SPARQL/SQL directives for importing/exporting data. Such features are supported by the following standalone versions:

1. idlv_1.1.3_linux_x86-64_supporting-python3-sparql-sql.zip: Standalone executable of I-DLV for Linux x86-64 in which semantics of external atoms can be specified via Python3.5 functions (you need to install Python 3.5 to execute this version).

2. idlv_1.1.3_linux_x86-64_supporting-python2-sparql-sql.zip: Standalone executable of I-DLV for Linux x86-64 in which semantics of external atoms can be specified via Python2.7 functions (you need to install Python 2.7 to execute this version).

In addition, in order to use the SPARQL remote directives the following Python modules are required:

1. rdflib;
2. SPARQLWrapper.

Please have a look at the README files within these zip files for instruction on how to execute the system.

For further details about such features and information about required libraries, please refer to the official wiki.

In case these executables do not work properly, for instance because of missing libraries, please write to [email protected].

For additional versions of I-DLV and bug report, please write to [email protected].

I-DLV 1.1.2

Changes

• performance improvements
• bug fixes

Description of Released Versions

1. idlv_1.1.2_linux_x86-64: Static executable of I-DLV for Linux x86-64.
2. idlv_1.1.2_linux_i386: Static executable of I-DLV for Linux i386.
3. idlv_1.1.2_windows_x86-64.exe: Static executable of I-DLV for Windows 64bit.
4. idlv_1.1.2_windows_i386.exe: Static executable of I-DLV for Windows 32bit.

The above listed static versions do not support I-DLV advanced features such as external atoms and SPARQL/SQL directives for importing/exporting data. We currently provide:

1. idlv_1.1.2_linux_x86-64_supporting-python3-sparql-sql: Dynamic executable of I-DLV for Linux x86-64 in which semantics of external atoms can be specified via Python3 functions.
2. idlv_1.1.2_linux_x86-64_supporting-python2-sparql-sql: Dynamic executable of I-DLV for Linux x86-64 in which semantics of external atoms can be specified via Python2 functions.

On Linux O.S. in order to use these latter executables, are required:

1. the libraries unixodbc, libodbc1, librdf0-dev;
2. the library python3.5-dev (if you are using Python3) or python2.7-dev (if you are using Python2).
3. the library htd 1.2.0 available here.

In addition, in order to use the SPARQL remote directives the following Python modules are required:

1. rdflib;
2. SPARQLWrapper.

In case these executables do not work properly, for instance because of missing libraries, please write to [email protected].

For additional versions of I-DLV and bug report, please write to [email protected].

I-DLV 1.1.1

NEW: I-DLV grounding process is empowered with a heuristic guided decomposition rewriting.

Currently, only a linux version is available; a new release is planned, and linux and windows version will be included.