Discription Logics http://www2.nict.go.jp/univ-com/isp/x163/kaneiwa/DLs.pdf cafeobj http://www.ldl.jaist.ac.jp/cafeobj/ Event-B http://www.event-b.org/ Alloy http://alloy.mit.edu/alloy/ protege http://protege.stanford.edu/ TopBraid Composer…