I try to connect few dots - #multimodal #databases , #relational #graphs and #commonlogic and #datalog and #prolog for #onlologes and constrains . Some times your ontology is dynamic and derived from data patterns . I keen to teach #llms to do a bit of #prolog . More I play with schema for graphs more I see a lot of work for solvers .