在最后的10分钟提交了作业

protege的OWL推理。理论上是挺好玩的，但是那些表达式还是挺烦人的。

谁能读懂这个？

Class(a:cow partial a:vegetarian)


DisjointClasses(unionOf(restriction(a:part_of someValuesFrom (a:animal)) a:animal)

                          unionOf(a:plant restriction(a:part_of someValuesFrom (a:plant))))
Class(a:vegetarian complete intersectionOf(

    restriction(a:eats allValuesFrom (complementOf(restriction(a:part_of someValuesFrom (a:animal)))))

    restriction(a:eats allValuesFrom (complementOf(a:animal))) a:animal))
Class(a:mad+cow complete intersectionOf(a:cow

  restriction(a:eats someValuesFrom (intersectionOf(restriction(a:part_of someValuesFrom (a:sheep))

                                                                                   a:brain)))))

Class(a:sheep partial a:animal restriction(a:eats allValuesFrom (a:grass)))

发表回复