on::::基于框架的本体语言.、OKBC和属于是完全或者部分基于框架的语言。
基于描述逻辑的本体语言.描述逻辑提供了对于框架语言的一种扩展，但同时其变动幅度又没有大到跃迁至一阶逻辑以及支持任意的谓词。此类语言的例子包括、和OWL。即是综合性本体语言的例子，同时又属于是基于描述逻辑的本体。除了别的之外，尤其区分下列关系类型之间的语义差别：同时，之中还包含用于表达查询以及交际意图的构造。
基于一阶逻辑的本体语言.和属于是支持一阶逻辑表达式的语言，尤