类表达式（class expressions）

类表达式用于描述具有相同特征的个体,它由类名和一个复杂的类表达式两部分。类表达式可以嵌套到任意深度，以便建立对被建模域的丰富描述。 一个完整的类表达式会用到some、value、only、min、max、exactly、and几个关键字，下面通过一个例子来说明这几个关键字的用法。 1  some hasPet some Dog 这是最常用的一个类表达式，意思是Things（个体） that hav

>>阅读原文<<