New Publication about Hexlite and OWLAPI


A new Plugin for the Hexlite Solver and the HEX Language makes it possible, to use OWL Ontologies from HEX Programs using a bidirectional OWLAPI integration. That is, the Answer Set can modify the ontology and the ontology can influence the truth of rules in the Answer Set Program. The publication also concerns the question, how Explainability can be defined in the context of Logic Programming.