TypeDB是强类型且包含逻辑类型的数据库可用于知识推理

TypeDB是强类型且包含逻辑类型的数据库

typeDB的官方下载地址：https://vaticle.com/down