One relevant aspect in the development of the Semantic Web framework is the achievement of a real inter-agents communication capability at the semantic level. The agents should be able to communicate and understand each other using standard communication protocols freely, that is, without needing a laborious a priori preparation, before the communication takes place. For that setting we present in this paper a proposal that promotes to describe standard communication protocols using Semantic Web technology (specifically, OWL-DL and SWRL). Those protocols are constituted by communication acts. In our proposal those communication acts are described as terms that belong to a communication acts ontology, that we have developed, called CommOnt. The intended semantics associated to the communication acts in the ontology is expressed through social commitments that are formalized as fluents in the Event Calculus. In summary, OWL-DL reasoners and rule engines help in our proposal for reasoning about protocols. We define some comparison relationships (dealing with notions of equivalence and specialization) between protocols used by agents from different systems.
翻译:在语义网框架的发展中,一个关键方面是实现代理间在语义层面上的真正通信能力。代理应能自由使用标准通信协议进行相互理解与通信,即在通信发生前无需进行繁琐的先验准备。针对这一场景,本文提出一种方案,该方案利用语义网技术(具体采用OWL-DL和SWRL)来标准化通信协议的描述。这些协议由通信行为构成。在我们的方案中,这些通信行为被描述为属于我们开发的一个通信行为本体(称为CommOnt)中的术语。该本体中通信行为所关联的预期语义,通过社会承诺来表达,并利用事件演算中的流(fluents)形式化。总之,OWL-DL推理器与规则引擎协助我们进行协议推理。我们定义了不同系统代理所用协议之间的若干比较关系(涉及等价与特化概念)。