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

WSML2Reasoner Framework là một kiến trúc mô-đun kết hợp các thuật toán xác thực, bình thường hóa và chuyển đổi khác nhau để dịch các mô tả ontology trong WSML sang cú pháp thích hợp của một số công cụ lý luận cơ bản.