对同一领域软件的复用开发被认为是实现工业化生产方式的重要途径，而需求的精确分析验证则是软件高品质复用开发的基础，当前主流的生产线驱动方法是采用特征模型的方式捕获领域需求的。但由于特征模型目前主要采取非形式化的方式描述，所以在一定程度上，各种方法对刻画特征模型以及特征之间约束关系存在语义上的冗余和混乱，不能有效对特征模型进行验证。针对以上问题，本文提出了一种可在代码级实现的基于本体的特征建模及一致性检测方法。本文采用本体刻画特征模型，既能对特征模型进行形式化描述，避免二义性，增强信息共享，又可以借助本体系统强大的推理能力对模型进行验证，从而在需求阶段就保证软件的质量。此研究对于领域特征模型的语义建模与验证，支持领域模型共享具有一定的指导作用。首先，本文归纳了传统特征模型存在的问题，分析了基于本体的特征模型的特点以及本体在其中发挥的作用，总结了特征模型国内外研究现状。其次，本文研究了基于本体的特征建模方法，刻画了特征模型中的特征类、特征间关系与约束等方面的内容。给出了基于本体的特征模型元模型，以及特征模型到本体模型的映射转换方法。然后，阐述了基于本体的特征模型的推理验证方法，定义了特征间互斥、需要关系的相关jena规则，用于对语义特征模型实例进行一致性验证。最后，结合集成模块化航空电子领域，对基于本体的特征建模及推理验证方法进行了系统的诠释，验证了该方法的可行性和实用性。