OWL2ASP stands for Ontology Web Language to Answering Set Programming. This Java tool permits translating an OWL 2 ontology to ASP format. The output of that translation is used by the WASP solver to obtain the justifications (MUSes) of a specific consequence WASP solver link http://alviano.github.io/wasp/
Steps to reproduce
We share an example of an ontology, a consequence (query), and the output of our execution. You can replicate this example or a new ontology and query using our executable (in the zip file) with the "-enc" and "-sol" tasks. More details are described in the README file.
Additional Metadata for University of Milano - Bicocca
|Date the data was collected||2023-05-27T00:00:00.000Z|
|SSD Classification||INF/01 - INFORMATICA|