Computational Ontologies and Information Systems II: Formal Specification

Raj Sharman, rshrman@buffalo.edu
Rajiv Kishore, State University of New York at Buffalo

Abstract

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.

Recommended Citation

Sharman, Raj and Kishore, Rajiv (2004) "Computational Ontologies and Information Systems II: Formal Specification," The Communications of the Association for Information Systems: Vol. 14, Article 43.
Available at: http://aisel.aisnet.org/cais/vol14/iss1/43