This paper extends the study of ontologies in Part I of this study (Volume 14, Article 8 [Kishore et al, 2004] ) in the context of Information Systems. The basic foundations of computational ontologies presented in Part I are extended to formal specifications in this paper. This paper provides a review of the formalisms, languages, and tools for specifying and implementing computational ontologies. Directions for future research are also provided.
['Raj Sharman', 'Rajiv Kishore', 'Ram Ramesh']
COMPUTATIONAL ONTOLOGIES AND INFORMATION SYSTEMS: II. FORMAL SPECIFICATION