“题意描述不清”是程序设计试题中备受关注的议题。比如概念二义性,概念实例丢失,试题语义完整性不易判别等。针对这一问题,提出了基于本体的题目语义表达的研究方法,将本体理论和相关技术引入到程序设计试题中进行试题语义化的研究。首先,本文提取出隐含在试题描述中的试题函数关系,试题函数是试题最主要的内部结构,对试题本体建模有重要意义。比较分析试题函数的特殊性,特别指出试题函数的定义域和值域的元素是有结构的;使用本体的方法先对试题的问题变量进行分类,将问题变量分解到最小的原子成员变量,得到问题变量详细的结构本体模型图;研究试题函数的约束条件,本文总结出28个最常用的约束条件,这是试题内部结构的重要组成部分;通过分析归纳出试题函数的功能类型,确定了试题功能类型与试题的约束和问题变量之间存在的关系。其次,研究重点是试题的本体模型,包括试题概念本体模型和试题格式本体模型,这是试题语义化的基础。试题概念本体模型是按照试题的概念之间的逻辑关系来构建试题的本体模型,注重试题的数据及结构;试题格式模型是根据试题的表现形式来构造的本题模型。试题的概念本体模型是格式本体模型的数据来源,格式本体模型是概念本体模型的一种存在方式。试题语义化是把试题的本体模型在计算机通过元数据形式表示出来,通过元数据规范约束试题的语义。最后,提出本体出题器设计,并对多国语言试题生成原理进行研究探索。本体出题器可以“读懂”试题,并根据事先定义好的试题概念语义点、试题结构、约束关系检查试题中语义概念是否缺失以及试题的内部结构关系是否满足,提供反馈信息给出题者,让计算机辅助人们来完成ACM试题的相关工作。并对多国语言试题生成做了理论可行性研究。