-- 发布时间：3/18/2009 3:52:00 PM
-- OWL Web本体语言 指南的一点疑问
在阅读OWL Web本体语言 指南时，对有关SOME VALUES FROM约束部分有一点疑问，相关原文是：
<owl:Class rdf:ID="Wine">
<rdfs:subClassOf rdf:resource="&food;PotableLiquid" />
<rdfs:subClassOf>
<owl:Restriction>
<owl:onProperty rdf:resource="#hasMaker" />
<owl:someValuesFrom rdf:resource="#Winery" />
</owl:Restriction>
</rdfs:subClassOf>
...
</owl:Class>
这两种限制形式间的不同就是全称量词与存在量词间的不同。
关系 含意
allValuesFrom 对于所有的葡萄酒，如果它们有制造商，那么所有的制造商都是酿酒厂。
someValuesFrom 对于所有的葡萄酒，它们中至少有一个的制造商是酿酒厂。
此处是否应翻译为
“someValuesFrom 对于所有的葡萄酒，它们的制造商中至少有一个是酿酒厂。 ”？
另外，当葡萄酒的hasMaker属性受到allValuesFrom约束的时候不能保证，所有葡萄酒的葡萄酒一定有一个“Maker”，但是可以保证如果有“Maker”那么这个“Maker”一定是酿酒厂的一个实例。那么对于受到someValuesFrom约束的hasMaker属性而言，是否可以保证所有的葡萄酒一定有一个Maker呢？或者是和allValuesFrom一样分为存在Maker和不存在Maker两种情况呢？
请高手执教