语言、说明性语言），几乎总是属于框架语言的泛化形式，且一般都基于一阶逻辑或描述逻辑。
分类.
按语法分类.
标记本体语言.此类语言采用某种标记方案来编码知识，且最为常用的标记语言是XML。
按结构分类.
基于框架的本体语言.、OKBC和属于是完全或者部分基于框架的语言。
基于描述逻辑的本体语言.描述逻辑提供了对于框架语言的一种扩展，但同时其变动幅度又没有大到跃迁至