Represent facts and relationships with rules, ontologies, and knowledge graphs, then perform logical or graph-based reasoning over them.
