我目前工作的OWL本体我有关于财产的问题。
要坦率地说,我实在不明白给人一种属性限制类的重要性。
例如,
产品(类)的制造商(财产)的一些制造商。
在这种情况下,这意味着,一个产品具有至少一个制造商。
但是,那么为什么不只是通过对象属性断言
塑料模型(该产品的个体)具有制造商(对象属性)DOCOMO(生产厂家的一个实例)?
我必须做两件事? ENVE如果我不这样做的第一件事情,在推理说是没有问题的。 为什么我必须做两件事?
我目前工作的OWL本体我有关于财产的问题。
要坦率地说,我实在不明白给人一种属性限制类的重要性。
例如,
产品(类)的制造商(财产)的一些制造商。
在这种情况下,这意味着,一个产品具有至少一个制造商。
但是,那么为什么不只是通过对象属性断言
塑料模型(该产品的个体)具有制造商(对象属性)DOCOMO(生产厂家的一个实例)?
我必须做两件事? ENVE如果我不这样做的第一件事情,在推理说是没有问题的。 为什么我必须做两件事?
属性限制断言一些关于一组人,而不仅仅是一个单一的个体。 考虑物业的限制:
Every man likes a woman. (i.e. "man subClassOf like some woman")
VS属性断言:
John likes Mary. (i.e. "{John} subClassOf like some {Mary}")
其中{John}
和{Mary}
是个教学班,一个人,但man
和woman
是类0或以上的个人。