Structured representation of concepts and relations used in knowledge graphs and reasoning.