分析概念代数与本体表示语言owl之间的对应关系。

The corresponding relations between concept algebra and Ontology Web Language (OWL) are analyzed.

youdao

本体表示语言与描述逻辑相结合，为本体推理的合理性和有效性提供了保证。

This ontology description languages and description logic had combined together, which ensured the ontology reasoning rationality and validity.

youdao

然后介绍了描述逻辑和基于描述逻辑的本体表示语言alc，举例说明了ALC表示的本体知识库。

Then introduces emphatically description logic and language ALC based on description logic, giving example for the ontology-based knowledge base.

youdao