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