Neue Publikation über Hexlite und OWLAPI


Ein neues Plugin für den Hexlite Solver und die HEX Sprache erlaubt es, OWL Ontologien aus HEX Programmen mit einer bidirektionalen OWLAPI Integration zu verwenden. Das heißt, das Answer Set beeinflusst die Ontologie, und die Ontologie beeinflusst Regeln im Answer Set Programm. Die Publikation dazu beschäftigt sich auch mit der Frage, wie Erklärbarkeit (Explainability) in der Logischen Programmierung definiert werden kann.