ProtegeOWLTutorialP4_v1_3.pdf学习摘要
给类添加限制可以通过subClassOf 和equivalent to。两者的区别在于前者是必要条件,后者是充要条件。有充要条件的类为defined类,推理机会将类规定其下。只要必要条件的类为primitive类,推理机不能确定其子类。
Some限制和only限制。Only限制在属性不存在时也认为是符合的,因此some和only合在一起作为闭合公理可以使得值域封闭。
同级Class要设置为di
原创
2013-03-22 15:01:19 ·
998 阅读 ·
0 评论