貓頭鷹protege如何描述一個只有一些屬性的類？

它可能在protege（因此在貓頭鷹）描述一個類取決於它是否有一些屬性？貓頭鷹protege如何描述一個只有一些屬性的類？

例如

我有一個類Home，我想說，每有property1和property2和property2實例被認爲是類的實例？

來源

2015-04-18 Marco Dinatsoli

假設你有一個類鴨，你想說的是，如果事情走路像鴨子，和談話像鴨子，那麼它是鴨子。你可以做到這一點與類公理：

（（walksLike 一些鴨）和（talksLike 一些鴨））SubClassOf鴨

子類這樣的公理，左手邊不僅僅是一個類名，而是一個複雜的類表達式，被稱爲一般類Axiom。您可以在門徒新進入這些時，主動本體選項卡下：

General Class Axiom in Protege

欲瞭解更多有關通用類公理，你可能會發現Being complex on the left-hand-side: General Concept Inclusions有用。

來源

2015-04-19 01:56:34

呵呵，出色的觀察！ – Artemis

非常感謝，但我正在尋找不同的東西。首先，例如，我確實有這個類的名稱，但在您的情況下，該類沒有名稱。其次，我不知道關係（財產）的價值，我不在乎價值，我只是在意這個實例確實擁有這個財產，這對我來說就夠了，你能幫忙嗎？ –

如果你有一個你的班級的名字，那麼你可以顛倒約書亞描述的公理：'YourClassName SubClassOf（會談像一些鴨子）';如果填充物的類型不重要，即，你不關心那些是鴨子，那麼可以使用Thing來代替。 'YourClassName SubClassOf（會說些什麼）'; – Ignazio

貓頭鷹protege如何描述一個只有一些屬性的類？

回答

相關問題