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