Static Knowledge Representation of Multi-Agent System's Specification by Description Logic

Modularity and rigor are two key elements for multi-agent technology. Hong Zhu's multi-agent system (MAS) development method provides proper language facilities supporting modularity. To enhance this method with rigor advocates a DL method to map the specification of MAS into a DL TBox. Thus, we can use the existing DL reasoners and systems to verify and validate some system's properties.

• Type: Conference
• Year: 2006
• Where: DLOG
• Authors: Haiyan Che, Jigui Sun
• Keywords: Automated Reasoning, DL Method, DL TBox, DLOG 2006, Facilities Supporting Modularity