§ Capabilities
Symbolic AI & knowledge representation
Formal schemas that give a reasoner something to traverse and a model something to be held to.
- TypeDB / TypeQL
- Agentic and domain ontologies
- Ontology-driven code generation
- LinkML
- Semantic web (Jena, RDF)
- Datalog stores