信息系统集团项目
当前项目
构建和绘制知识图。
连接数据库和本体论。
支持对多种分布式数据源进行分析。
频繁更改和流数据的本体推理
集中式和分布式系统中图形数据的查询和推理。
个性化知识图构建。
石油和天然气领域的可扩展数据访问。
到2050年实现净零碳。
已完成的项目
描述逻辑中基于结果的高效推理。
集成描述逻辑和数据库技术以实现基于表达本体的数据访问。
基于新的超表演算的大型复杂本体推理，该演算最小化了不确定性和模型大小。
基于逻辑的本体映射方法。
高级研究员重点研究基于逻辑的本体语言。
可扩展的最终用户对大数据的访问。
表达式本体语言的查询重写。
高表达本体语言的推理，包括描述图和角色连接等功能。
使用查询重写集成本体和数据库。
包含大量个体的本体推理。
具有不完全本体推理器的可扩展和完全推理。
开发基准测试方法和数据集，以测试语义技术的正确性和可伸缩性，尤其是推理机和数据存储。