An ontology is the entity which composes of the concept of knowledge, the relationship between the concepts and formal description language can be identified by computers.

本体是由知识中的概念、概念间的关系以及计算机可以识别的形式化描述语言组成的实体。

youdao

More researches into the inheritance system facilitates searching information more effectively, enriching computer language and enlarging knowledge description of artificial intelligence.

对继承系统的深入研究，便于进行有效搜索，丰富计算机语言及人工智能的知识描述。

youdao

Description logic is a formal language for representing knowledge and it is a decidable subset of first-order logic.

描述逻辑是一种知识表示的形式化语言，是一阶逻辑的可判定子集。

youdao