Data · dataset · 2023
OWL2ASP tool
Listed in Bicocca Open Archive Research Data
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 alviano.github.io/wasp/
Links
Where it is published
- DOI doi.org/10.17632/r6xcggwvjp.1 ↗
DOI / persistent id · from board unimib it
Catalogue records · 1
- OAI-PMH record board.unimib.it/oai?verb=GetRecord&metadataPrefix=oai_dc&identifier=oai%3Aboar… ↗
metadata API · from board unimib it
Topics
- From keywords
- Computer Science & AI · Earth & Environmental Science · Engineering · Humanities · Life Sciences · Social Science
Provenance · 1 source records, 10 field assertions
| Source | Key | Last seen | Raw |
|---|---|---|---|
| Bicocca Open Archive Research Data | oai:board.unimib.it/r6xcggwvjp.1 | 10 d ago | JSON v1 |
| Field | Assertion | Extractor | Evidence |
|---|---|---|---|
| concepts[field].local:field:computer-science-ai | mapping · board unimib it | connector:board_unimib_it@1.0.0 | |
| concepts[field].local:field:earth-environmental | mapping · board unimib it | connector:board_unimib_it@1.0.0 | |
| concepts[field].local:field:engineering | mapping · board unimib it | connector:board_unimib_it@1.0.0 | |
| concepts[field].local:field:humanities | mapping · board unimib it | connector:board_unimib_it@1.0.0 | |
| concepts[field].local:field:life-sciences | mapping · board unimib it | connector:board_unimib_it@1.0.0 | |
| concepts[field].local:field:social-science | mapping · board unimib it | connector:board_unimib_it@1.0.0 | |
| description | source · board unimib it | connector:board_unimib_it@1.0.0 | /metadata/dc/description |
| license_text | source · board unimib it | connector:board_unimib_it@1.0.0 | |
| publication_date | source · board unimib it | connector:board_unimib_it@1.0.0 | |
| title | source · board unimib it | connector:board_unimib_it@1.0.0 | /metadata/dc/title |