Computational Ontologies and Information Systems II: Formal Specification
Raj Sharman, Rajiv Kishore, Ram Ramesh · Communications of the Association for Information Systems · 2004
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.