受保护对象 属性 限制

Question

我定义了一个对象属性 "is_part_of"，其中域是航班，范围是航空公司；我想定义以下限制

"flight is_part_of Airline exactly 1 Airline "

我试过了is_part_of only Airline exactly 1 Airline 但它不起作用。 我认为问题出在 exactly 1 Airline 但我没能找到

Answer 1

您不需要 Airline 出现两次。

Flight subClassOf is_part_of exactly 1 Airline

is_part_of exactly 1 Airline 是您要查找的 class 表达式。