CLASSIFICATION: Good Practice.
MOTIVATION: OWL sometimes is anti-intuitive due to the Open World Assumption. One of the examples of such problem is the fact that plenty of users think that asserting an existential restriction is enough to close a relationship, when in fact a universal restriction is also needed: it is not enough to say that carnivore eats some meat, as that is equivalent to saying that it can eat another things apart of meat.
AIM: Simulate the closed world assumption in a concrete class.
ELEMENTS: The only element to take into account is the object property that will be used to produce the closure.
IMPLEMENTATION: The only necessary step is to add an existential restriction and an universal restriction with the same filler.
RESULT: The closure axiom allows to close the world and express that something has got a property and only that property. For example, following the example, without the closure (without the universal restriction) carnivore and herbivore would appear as subclasses of omnivore. However, with the closure axiom, they do not.