开发者 virunga.sf.net

用于分析、验证和推理的应用程序编程接口，使用概念空间标记语言 （CSML） 中表示的内用。