OWL中的类限制

Question

[使用OWL（我正在使用Protege），我创建了Window和Door类，它们都是Ingress的子类。我也有称为“住所，调查和需求”的课程。

我如何创建需求-在调查期间使用？每个入口都不需要锁，但是当入口没有锁时，住宅将无法通过Survey。我正在尝试创建一组需求以在调查期间进行验证；其中一些要求可能会通过，而某些可能会失败。

Answer 1

如果您的要求是每个Ingress都有一个锁，则将Lock定义为类和属性hasLock，然后使Ingress成为exist hasLock Lock的子类。