强类型逻辑数据库，用类型系统和推理规则对知识建模，适合构建需要复杂关系推理的知识图谱与知识库系统。

用 Python 实现语义超图的基础库，把知识表示成可计算的超图结构，适合做知识库、认知建模和自然语言理解等需要表达多元关系的场景。