A formal method for defining the types of things that exist in a domain and the relationships between them, creating a shared vocabulary for reasoning.