大家好,又见面了,我是你们的朋友全栈君。
代表一种关系relationship。
domain、range和properties特性不一样,特性是一种推理机制要用来约束(Constaint)的,约束即是限制,可以用推理机制来验证,限制出问题就会推理出错。而domain、range是一种公理(axiom),公理总是对的,推理要基于它们。
总共有三类定义类的表达,一个是命名类(Named Class),一个是对很多命名类的两次集合运算而杂糅出新的类,再有就是限制性的类,也就是匿名类(Restriction Class),用动宾形式表达。
#### 类公理
发布者:全栈程序员栈长,转载请注明出处:https://javaforall.cn/167748.html原文链接:https://javaforall.cn