OWL2ASP tool
收藏DataCite Commons2025-05-01 更新2025-05-17 收录
下载链接：
https://data.mendeley.com/datasets/r6xcggwvjp
下载链接
链接失效反馈官方服务：
资源简介：
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/
提供机构：
University of Milano-Bicocca
创建时间：
2023-06-05
