Program menurut wsml2reasoner.sf.net

WSML2Reasoner Framework adalah arsitektur modular yang menggabungkan berbagai algoritma validasi, normalisasi, dan transformasi untuk terjemahan deskripsi ontologi dalam WSML ke sintaks yang sesuai dari beberapa mesin penalar