Computational Ontologies and Information Systems II: Formal Specification

Abstract

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.