2016-12-11 53 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