The process of designing and building formal knowledge representations that define concepts and relationships in a domain.