Chương trình theo virunga.sf.net

Giao diện lập trình ứng dụng để phân tích, xác nhận và lập luận với các bản thể được thể hiện trong Ngôn ngữ đánh dấu không gian khái niệm (CSML).