现在有一项阅读理解的任务，我会提出一个问题，还会提供一段文本，你需要通读这段文本，然后根据这段文本回答我所提出的问题。问题：本体语言一般都基于什么逻辑？，文本：在计算机科学和人工智能领域，本体语言（、又称为本体论语言）是指用于构建本体的形式语言。此类语言允许对有关特定领域的知识加以编码，且常常还包括为处理这些知识提供支持的推理规则。本体语言通常为描述性语言（又称为表述型语言、说明性语言），几乎总是属于框架语言的泛化形式，且一般都基于一阶逻辑或描述逻辑。此类语言采用某种标记方案来编码知识，且最为常用的标记语言是XML。、OKBC和属于是完全或者部分基于框架的语言。描述逻辑提供了对于框架语言的一种扩展，但同时其变动幅度又没有大到跃迁至一阶逻辑以及支持任意的谓词。此类语言的例子包括、和OWL。即是综合性本体语言的例子，同时又属于是基于描述逻辑的本体。除了别的之外，尤其区分下列关系类型之间的语义差别：同时，之中还包含用于表达查询以及交际意图的构造。和属于是支持一阶逻辑表达式的语言，尤其是允许通用谓词（）。
一阶逻辑或描述逻辑