OWL API Proof Extension owlapi-proof

Group	org.liveontologies
描述	Extension to the OWL API interfaces to represent and manipulate with proofs.

版本	仓库	发布时间
0.1.0	central	2017-10-13 19:31