OWL2ASP tool
Published: 5 June 2023| Version 1 | DOI: 10.17632/r6xcggwvjp.1
Contributors:
, , , Francesco RiccaDescription
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/
Files
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.
Institutions
University of Milano-Bicocca, Universita della Calabria Dipartimento di Matematica e Informatica
Departments
Department of Informatics, Systems and Communication
Categories
Description Logics, Provenance, Application Software
Funding
MUR
CUP H23C22000280006
MUR
H45E21000210001
Additional Metadata for University of Milano - Bicocca
Language | English |
Date the data was collected | 2023-05-27T00:00:00.000Z |
SSD Classification | INF/01 - INFORMATICA |