A Description Logic Method of Formalizing the Specification of Multi-Agent System

Rigor is one of the most important factors required by agent-based technology. Based on SLABS, a formal specification language of multi-agent system (MAS) providing language facilities that support modularity, advocates a description logic method to represent the static knowledge of a MAS's specification, which depicts the basic modules: caste and agent, the inheritance relationship between castes (or agents) and the instance relationship between agents and castes. This paper provides a basis for formalizing a MAS in description logics (DLs), whose powerful expressiveness and the decidable reasoning mechanisms help to proof and analyze the properties of agent-based systems