0
我定义了一个对象属性"is_part_of"
其中该域为Flight和的范围是航空公司;我想定义下列限制Protégé对象属性限制
“飞行is_part_of航空公司恰好1个航空公司”
我试图is_part_of only Airline exactly 1 Airline
,但它不工作。 我认为该徽章是exactly 1 Airline
,但我找不到它
我定义了一个对象属性"is_part_of"
其中该域为Flight和的范围是航空公司;我想定义下列限制Protégé对象属性限制
“飞行is_part_of航空公司恰好1个航空公司”
我试图is_part_of only Airline exactly 1 Airline
,但它不工作。 我认为该徽章是exactly 1 Airline
,但我找不到它
你不需要Airline
出现两次。
Flight subClassOf is_part_of exactly 1 Airline
is_part_of exactly 1 Airline
是类表达你之后。
如果Flight实例没有对象属性is_part_of,reasoner不会捕获异常? – michele
开放世界的假设。推理者知道必须有一个,但可能没有说明它具有哪个价值。只有当实例也被推断为没有财产或两个或更多的财产时,它才成为矛盾。 – Ignazio
你能举个例子,我不明白。如果一个Flight的实例没有一些对象属性is_part_of – michele