OWL2ASP tool

Published: 5 June 2023| Version 1 | DOI: 10.17632/r6xcggwvjp.1
Contributors:
,
,
, Francesco Ricca

Description

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

Licence