最后，根据World Wide Web Consortium (W3C)的说明，本体定义用于描述和表示知识领域的术语。

Finally, according to the World Wide Web Consortium (W3C), ontology defines the terms used to describe and represent an area of knowledge.

youdao

最后，根据可分层术语集合的特性，证明了循环不动点理论在本体知识库下可用于计算可分层术语集合的语义模型。

Finally, this thesis proves that the recursion fixed point theory can also be used for the semantic model computation of a stratified TBox in ontology knowledge base.

youdao