This paper extends the study of ontologies in Part I of this study (Volume 14, Article 8) 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.
Sharman, R., Kishore, R., & Ramesh, R. (2004). Computational Ontologies and Information Systems II: Formal Specification. Communications of the Association for Information Systems, 14, pp-pp. https://doi.org/10.17705/1CAIS.01409