Search code examples
owlontologyprotege

Class Restriction in OWL


Using OWL (I am using Protege), I created classes Window and Door both of which are subclasses of Ingress. I also have classes called Dwelling, Survey, and Requirement.

How do I create Requirements - to be used during a survey? Every ingress need not have a lock, but a dwelling fails a Survey when an Ingress has no lock. I am trying to create a set of Requirements to be verified during a survey; some of those Requirements may pass and some may fail.


Solution

  • If your requirement is that every Ingress has a lock, define Lock as a class and a property hasLock, then make Ingress subclass of exist hasLock Lock.