OWL2ASP tool
收藏NIAID Data Ecosystem2026-05-01 收录
官方服务：
资源简介：
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
