上下文感知计算是普适计算研究中极为活跃的核心技术之一，其模型存在处理不完备、不有效的问题。owl 语言是以描述逻辑为理论基础构建的本体表示语言，满足了用于知识共享和上下文推理的本体建模。通过对一种上下文计算模型的分析，给出了使用OWL 语言对上下文计算的建模和推理进行分析的方法。