Protege笔记

individuals 实例
函数性(Functional)：主谓宾 谓语就是函数 一对多 不能和传递性共存
反函数性(Inverse Functional) ：自变量和应变量一一对应
传递性(Transitive)：爸爸是我的祖先，爸爸的爸爸也是我的祖先
对称性(Symmetric)： 互为兄弟
反对称性(asymmetric)： 不对称
自反性(Reflexive)：我认识你我也认识我
反自反性(Irreflexive)：我可以是别人的妈妈但是不能是自己的妈妈
手动创建(asserted hierachy)
自动生成(inferred hierachy)
判断类之间是否有丛属关系 是不是(subclass)
一致性检查 该不该(insatnces)
必要条件(Equivalent To)