secommunity is a collection of tools that can be used to define distributed access control policies using an extension of the Answer Set Programming system DLV.
In particular, we provide several external predicates, which can be used via DLV-Complex, with the aim to query remote knowledge bases. We also provide a server that handles such queries using its own local DLV-Complex instance.
Both the server and the set of external predicates are written in C++.
The server depends, to compile, on the Argtable library which is distributed under the terms of the GNU Library General Public License (LGPL).
As of May 28th, 2011, with the support for knowledge bases with multiple answer sets, the library Boost.Regex which is distributed under the terms of the Boost Software License, Version 1.0 is required for a successful compilation.
The external predicates link against the framework kindly made available by the DLV system team on this page in the "Scripts and Headers" subsection of the "Download" section.
dlv-server is open-source software that is distributed under the terms of the GNU Affero General Public License.
The external predicates, whose collective name is at_builtin, are open-source software that is distributed under the terms of the GNU General Public License.
May 28th, 2011: handling of knowledge bases with multiple answer sets.
May 26th, 2011: support for negated queries via neg(...).
April 14th, 2011: partial evaluation of knowledge bases with mutual references when meaningful results can be obtained.
April 10th, 2011: loop detection and avoidance.
December 13th, 2010: first public release.
| Valid XHTML 1.0 Strict | Valid CSS |