The GRITIKA ontology for modeling e-service applications: formal specification and illustration

Author

Zhang, Hong ; Kishore, Rajiv ; Sharman, Raj ; Ramesh, Ram

Author_Institution

Comput. Inf. Syst., Southwest Missouri State Univ., Springfield, MO, USA

fYear

2004

fDate

5-8 Jan. 2004

Abstract

In this paper, we develop and discuss a special-purpose computational ontology (similar to the notion of conceptual grammar) termed GRITIKA (acronym for goal, role, interaction, task, information, knowledge, and agent) for modeling e-services applications in the multiagent-based integrative business information systems (MIBIS) universe. The foundation ontology is presented as a formal model using first order logic. A proof-of-concept illustration of the GRITIKA ontology for modeling e-service applications is also provided in the paper. The GRITIKA ontology embodies representation constructs and semantics specific to the MIBIS universe and we hope it will help in the analysis and design of e-services applications with a high degree of knowledge reuse.

Keywords

electronic commerce; formal specification; information systems; multi-agent systems; ontologies (artificial intelligence); GRITIKA ontology; MIBIS universe; computational ontology; e-service; first order logic; formal specification; goal-role-interaction-task-information-knowledge-and-agent ontology; knowledge reuse; multiagent-based integrative business information system; Application software; Context modeling; Formal specifications; Information systems; Knowledge management; Logic; Management information systems; Multiagent systems; Ontologies; Supply chain management;

fLanguage

English

Publisher

ieee

Conference_Titel

System Sciences, 2004. Proceedings of the 37th Annual Hawaii International Conference on

Print_ISBN

0-7695-2056-1

Type

conf

DOI

10.1109/HICSS.2004.1265214

Filename

1265214