中文摘要：

本文采用Protégé本体开发平台将五元组模型的位置服务上下文计算本体形式化，使其在JADE环境下应用成为可能。首先通过介绍位置服务上下文计算应用的国内外发展现状，引出本体形式化问题。然后应用五元组模型进行位置服务上下文信息建模。建模后抽象出的位置服务上下文计算本体符合FIPA—ACL规范，使不同的信息在Agent之间进行交换，从而实现形式化本体在计算机系统之间的交流。最后，我们将采用Protégé平台定义的ContextOntology形式化本体通过Ontology Bean Generator插件将其导出为Java类，使其在JADE平台下得以应用。

英文摘要：

A formal context-aware computing ontology was developed by Protégé so that it can be used by JADE. The five-tuple model is used for location service context-aware information modeling. The ontology for location service context-aware computing is in accord with standard of FIPA-ACL. This makes it possible to exchange information among agents. So the pattern of ontology can be exchanged among computer systems. Finally, Protégé is used to define the ContextOntology, which is exported to Java class by Ontology Bean Generator to be used in JADE platform.