2015-02-10 303 views
0

我使用Protege 5.0.0开发本体。本体论的一部分显示在图的链接:如何在Protege中建模的本体中设置属性的域和范围

http://imgur.com/Yq6EF3i

对于给定的本体论,我创建类OperatingRange,OperatingPowerRange和ValueRange。另外,还会创建属性hasOperatingProperty,hasValue和其他属性。

  • 对于SSN:我在下面面临的问题hasOperatingProperty,我使用OpertingRange类作为域和SSN:OperatingPowerRange类作为range.Now,根据数字应该我设置SSN:hasOperatingProperty作为域SSN: hasValue的?我试图做同样的事情,但Protege没有为此显示任何选项。
  • 上图中某些属性下面写的“can be”和“all of”是什么意思?
  • 对于unitOfMeasure属性,我应该将ssn:hasvalue设置为域和单位:电压为范围?

回答

0

相信图案:

'propertyName' 
can be 
one of 
'className' 

是一个的方式来表示的限制,这是类表达式,并且应当被理解为:与属性“propertyName的”存在至少一个对象的属性的断言,并该断言中的个人是“className”的一个实例。

'可以'和'其中之一'应被理解为'可以是'之一' - 意味着存在的量化。 “可以”“全部”是普遍量化的。

关于unitOfMeasure,除非第二个属性(您的案例中的hasValue)是注释属性,否则不能将属性作为另一个属性的域。使用单位:伏特作为范围听起来是正确的。

编辑:要回答评论,您需要添加一个类表达式来做域。在Protege中,您可以通过单击域选项卡并选择限制类型,它所沿用的属性以及您希望成为填充符的类型(可以是Thing)来执行此操作。请参阅图片以供参考。

Protege snapshot

+0

谢谢Ignazio回复。我得到了你的答案,但我仍然无法弄清楚我应该如何在Protege中建立第一点模型。 – 2015-02-11 08:44:20