OWL2ASP tool
收藏Mendeley Data2026-04-18 收录
下载链接：
https://board.unimib.it/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/
创建时间：
2023-06-05
