Select which of the following statements are true about ontology. 选择下列关于本体的陈述哪些是正确的。

A、An ontology is a formal naming and definition of the types, properties, and interrelationships of the entities for a particular domain of discourse. 本体是一种对特定论域中实体的类型、特性和相互关系的形式化命名和定义。
B、An ontology provides a common vocabulary of an area and define the meaning of the terms and the relationships between them. 本体提供一个领域的公共词汇，并且定义一些术语的含义和它们之间的关系。
C、Ontologies cannot be created to organize information that will be applied to problem solving. 无法创建本体来组织可用于问题求解的信息。
D、Ontologies cannot be divided the types of upper ontology, domain ontology, or hyper ontology. 无法将本体分为上层本体、领域本体、或混合本体。