[英]Class Restriction in OWL
使用 OWL（我正在使用 Protege），我創建了類 Window 和 Door，它們都是 Ingress 的子類。 我還有名為“住宅”、“調查”和“需求”的課程。
如何創建需求 - 在調查期間使用？ 每個入口都不需要鎖，但是當入口沒有鎖時，住宅無法通過調查。 我正在嘗試創建一組要在調查期間驗證的要求； 其中一些要求可能會通過，而另一些可能會失敗。
如果您的要求是每個Ingress都有一個鎖，請將Lock定義為 class 和一個屬性hasLock ，然后將Ingress子類設置為exist hasLock Lock 。
可以將owl：class和owl：限制從限制類定義中刪除嗎？
[英]Can owl:class and owl:restriction be removed from restriction class definitions?
如何在貓頭鷹中基於該類的子類的限制來推斷該類中的限制？
[英]How to infer a restriction in a class based on the restrictions of that class's subclasses, in owl?
在 OWL class 限制構造函數的存在量化 (owl:SomeValuesFrom) 的情況下使用 rdfs:subClassOf 或 owl:equivalentClass 時？
[英]When using rdfs:subClassOf or owl:equivalentClass in case of existential quantification (owl:SomeValuesFrom) for a OWL class restriction constructor?
聲明:本站的技術帖子網頁，遵循CC BY-SA 4.0協議，如果您需要轉載，請注明本站網址或者原文地址。任何問題請咨詢:yoyou2525@163.com.
