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, Raj; Kishore, Rajiv; and Ramesh, Ram
"Computational Ontologies and Information Systems II: Formal Specification,"
Communications of the Association for Information Systems: Vol. 14
, Article 9.
Available at: https://aisel.aisnet.org/cais/vol14/iss1/9