-
使用Lean 4 的Mathlib 库的数学知识图谱
Lean 4 是一种计算机辅助证明系统(proofassistant)，或称交互式证明系统 (in teractive theorem prover)，可用于形式化验证数学定理或计算机程序的正确性。 Mathlib 是 Lean 4 的数学库，它背后有一个活跃的开发团队，包括许多数学家... -
哈利·波特人物关系知识图谱
本项⽬构建了⼩说《哈利·波特》中的各种实体（包括⼈物、物品、组织、概念等）以及它们之间关 系（包括⼈物与组织概念之间的从属关系以及⼈物关系等）的知识图谱。 -
哈利·波特系列人物知识图谱
哈利·波特的人物属性及关系信息知识图谱 我们利用爬虫在哈利·波特中文wiki网站爬取了所有人物的相关属性及人物间关系的信息，人物属性包括出生、职业、从属的组织等，并尝试利用深度抽取技术从书中抽取人物关系。我们将数据存储在neo4j数据库中，将人物、组织、学院等作为图谱中的节点，针对图数据做了相关的数据分析，并利用其支持了一些简单的知识问答操作。 -
THUOCL：清华大学开放中文词库
THUOCL（THU Open Chinese Lexicon）是由清华大学自然语言处理与社会人文计算实验室整理推出的一套高质量的中文词库，词表来自主流网站的社会标签、搜索热词、输入法词库等。THUOCL具有以下特点： 包含词频统计信息DF值（Document Frequency），方便用户个性化选择使用。 词库经过多轮人工筛选，保证词库收录的准确性。... -
观测指标标识符逻辑命名与编码系统
观测指标标识符逻辑命名与编码系统（Logical Observation Identifiers Names and... -
乳腺癌临床试验语义标注
乳腺癌临床试验语义标注 -
乳腺癌医学指南
荷兰乳腺癌医学指南2004年版与2012年版的语义表达及其SNOMED语义标注 -
乳腺癌语义电子病历
十万个乳腺癌病人初诊电子病历 -
乳腺癌知识图谱
乳腺癌知识图谱集成了乳腺癌相关的知识/数据资源，包括乳腺癌临床试验数据，乳腺癌医学指南，乳腺癌电子病历，乳腺癌临床试验数据语义标注，乳腺癌医学文献等，数据规模超过两千两百万三元组。