[英]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.
