description-logic

0熱度

1回答

我正在尋找一種方法來查找語義網的兩個謂詞（屬性）是否等價？是否有可能使用描述邏輯或其他方法？非常感謝

0熱度

1回答

我想將數據類型屬性的範圍定義爲詳盡的枚舉字符串，方式是個人可以將此屬性的值僅限於字符串中的一個字符串枚舉。例如，一個名爲「color」的數據類型屬性，它只能假設3個值：「紅色」，「綠色」和「藍色」。我使用的是OWL 2和Protégé5.0。有使用Protégé的doind的簡單方法嗎？

1熱度

1回答

爲什麼超類沒有在Protégé中包含子類的實例

我有一個非常簡單的類層次結構，在OWL中用Protégé指定。例如： -Person --Man --Woman 也就是說，每個男人都是一個人，每個女人都是一個人。當我包含男人和女人的實例時，我希望這些實例也可以作爲Person的實例包含在內。但由此產生的分類並不如預期。即使我運行推理器。我正在使用貓頭鷹2和Protégé5.0。爲什麼人不包括男人和女人的情況？

3熱度

1回答

命名原則：RDF圖中的參數化類

我對術語有疑問。我發現某些類可以參數化，因爲它們表示在應用於某個參數時具有含義的類。例如，「中國村」和「荷蘭村」這兩個類都可以在Wikidata知識圖中找到。它們是真實的類，因爲它們是可實例化的概念。然而，看起來他們可以放在模板「X村莊」中，他們可以是「村莊」的子類。是否有正確的術語來引用所有這些類型的參數化類？在函數式編程語言中，有一個更高kinded類型的概念，這些類型可以有參數[1]。

0熱度

1回答

使用OWL本體

我是OWL是新手，我已經定義使用OWL DL的節點定義一個節點，作爲 <Declaration> <Class IRI="#node"/> </Declaration> <Declaration> <ObjectProperty IRI="#leftChild"/> </Declaration> <Declaration> <ObjectProperty IR

1熱度

1回答

（Un）推斷的子類規則Protégé與OWL API

我對Protégé中的子類處理與直接使用OWL API相比有點困惑。我已經建立了一個簡單的本體論，我在邏輯上定義了「男人」或「女人」是什麼，即男性或女性人類。中的類 Human Woman Man Gender Female Male 屬性： hasSex (Human -> Gender) 所以女人是人和hasGender一些女我的問題：當我在門徒新顯示

3熱度

4回答

爲什麼OWL完全不可判定？

我一直在四處尋找一切爲什麼OWL完全是不可判定的，但我還沒有找到一個容易理解的例子，這將導致我理解它。我發現瞭解釋這是由於「Entailment Closure」的說法，這也與OWL Full可以具有屬性的類以及同時也是個人的事實相關。但是我不理解那些語句之間的關係。

2熱度

1回答

領域建模使用本體，特殊情況

使用描述邏輯（以及相應的OWL-DL）考慮，我們班Meeting這可以由類Professor出席，使： couldBeAttendedBy domain Meeting couldBeAttendedBy range Professor ，並認爲這是一個Professor可能是另一個Professor的Assistant： assistantOf domain Professor assi

0熱度

1回答

如何在描述邏輯中表達此人

我想在dl，Protege view中表達此意見。我該如何表示從inclusivegateway類型的個別包含gateway1？ {inclusiveGateway} ≡ (inclusivegateway1) (inslusiveGateway2) name: inclusiveGateway id: inclusiveGateway1 gatewaydirection: unspec

0熱度

1回答

定義一個類作爲另一個類個體的組合

在一個OWL本體中，給定一個類Student;我想定義另一個類StudentsPair，這是任何一對學生，以這樣的方式，可以自動計算的Student所有可能的雙重組合，即 Student(x) and Student (y) --> StudentsPair(x,y) 我想StudentsPair爲一類，而不是一個屬性，因爲它可能有其他功能（如averagePerformanceForPair