Web Ontology Verification and Analysis in the Z Framework (2005)

by D Lucanu, Y F Li, J S Dong