A formal representation of the relationships between concepts and categories within a specific domain of knowledge.