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