描述逻辑系统可以提供一些典型的推理服务，例如，概念分类、概念的可满足性、概念的实现和知识的一致性检测等。
Description logic system offer a set of typical inference services, such as the classification, satisfaction and realization of concept, knowledge consistency checking, etc.
描述逻辑系统可以提供一些典型的推理服务，例如，概念分类，概念的可满足性及概念的实现，知识的一致性检测等一系列的推理服务。
Description logics systems offer a set of typical inference services, such as concept's classification, satisfiability and realization, knowledge base consistency checking.
应用推荐