2016-12-11 49 views
0

我定义了一个对象属性"is_part_of"其中该域为Flight的范围是航空公司;我想定义下列限制Protégé对象属性限制

“飞行is_part_of航空公司恰好1个航空公司”

我试图is_part_of only Airline exactly 1 Airline ,但它不工作。 我认为该徽章是exactly 1 Airline,但我找不到它

回答

2

你不需要Airline出现两次。

Flight subClassOf is_part_of exactly 1 Airline

is_part_of exactly 1 Airline是类表达你之后。

+0

如果Flight实例没有对象属性is_part_of,reasoner不会捕获异常? – michele

+0

开放世界的假设。推理者知道必须有一个,但可能没有说明它具有哪个价值。只有当实例也被推断为没有财产或两个或更多的财产时,它才成为矛盾。 – Ignazio

+0

你能举个例子,我不明白。如果一个Flight的实例没有一些对象属性is_part_of – michele