OWL how to force all the instances of a specific class to have a specific relationship
I am building an Ontology. I have a Class called Vehicle I have an Object Property called hasType I have a Class called VehicleTypes How can I force all the instances from Vehicle class to have one and just one instance of VehicleTypes What I have tried I am working on Protege. I made the hasType as a functional property. I added an Equivalent To which is like this: hasType exactly 1 VehicleTypes Is that enough please? Making hasType functional is the right move since every Vehicle can only have one VehicleType . However, you need to describe Vehicle hasType exactly 1 VehicleType as a