Analysing Web Ontology in Alloy: A Military Case Study.

Jin Song Dong, Jun Sun, Hai H. Wang, Chew Hung Lee, Hian Beng Lee

Browse the full SEKE paper archive.