2026-10-13T14:38:55Z https://board.unimib.it/oai

oai:board.unimib.it/r6xcggwvjp.1 2023-06-05T12:58:19Z

Huitzil , Ignacio OWL2ASP tool Bicocca Open Archive Research Data 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/ Description Logics Provenance Application Software Mazzotta, Giuseppe Peñaloza, Rafael Ricca, Francesco Dataset doi:10.17632/r6xcggwvjp.1 oai:board.unimib.it/r6xcggwvjp.1 Apache License 2.0 http://www.apache.org/licenses/LICENSE-2.0 https://board.unimib.it/datasets/r6xcggwvjp 2023-06-05T12:58:19Z