Hexlite OWLAPI Plugin
Hexlite OWLAPI Plugin
Main Characteristic
This docker Image contains Hexlite, an ASP solver based on Clingo and Python, packaged together with the Java API of Hexlite and an OWLAPI-compatible plugin for external computations in Logic Programs. The image contains runnable examples.
This plugin is packaged in the following asset deployed in the AI4EU Experiments Platform: [Reasoner Hexlite Bundle]
Research areas
Integrative AI
Last updated
25.11.2021 - 11:06
Detailed Description
Hardware architecture: X64
Additional information: The Hexlite OWLAPI Plugin is an OWLAPI plugin for the Hexlite solver.
External links: The source code is publicly available at https://github.com/hexhex/hexlite-owlapi-plugin - including instructions on how to build and run.
References: The plugin is described in the following publication:
- Peter Schüller (2020). A new OWLAPI interface for HEX-Programs applied to Explaining Contingencies in Production Planning. In: New Foundations for Human-Centered AI, Workshop at ECAI 2020. http://ceur-ws.org/Vol-2659/schueller.pdf
Trustworthy AI
Logic Programming is inherently discrete and contains a deterministic definition of what is a true answer. There is no learning of semantics involved, therefore answers of logic programs can be explained, they have transparent semantics.
GDPR Requirements
This tool contains no GDPR-relevant data or functionality. It processes data given by users in the way described by programs given by users.