Slot: defining_slots
The combination of is a plus defining slots form a genus-differentia definition, or the set of necessary and sufficient conditions that can be transformed into an OWL equivalence axiom
Domain and Range
ClassDefinition → 0..* SlotDefinition