SPARQL 是查询本体知识图谱最主流的语言。开源项目 awesome-ontology 在 Querying 章节 精选了 5 种常用于本体与知识图谱查询的语言：SPARQL 1.1、SPARQL-DL、SPARQL-OWL、SPARQL* 与 DL Query。本文面向新手，用最短的篇幅讲清每种语言的定位，帮你快速选对工具。

为什么本体知识图谱需要专门的查询语言？

普通数据库用 SQL 查询"表"，而本体知识图谱的数据由RDF 三元组（主语-谓语-宾语，例如"张三-撰写-论文 A"）组成，并以图的形式存储。这类数据有两个 SQL 难以处理的特点：

• 结构开放：每个实体可以拥有任意多种属性，没有固定的表结构；
• 需要推理：本体中的"isA（子类）""等价类"等语义意味着"查出来的"和"推理出来的"事实应同等有效。

因此语义网生态发展出了一系列面向本体的查询语言。awesome-ontology 收录的 5 种语言正好覆盖了从"基础图查询"到"完整推理语义"的光谱，下面逐一介绍。

1️⃣ SPARQL 1.1：快速上手本体知识图谱查询

SPARQL 是 W3C 标准，也是 RDF 数据的"事实图查询"语言，地位相当于关系数据库中的 SQL。它通过PREFIX声明命名空间，再用SELECT / WHERE描述要匹配的模式：

SELECT ?name WHERE { ?p a ex:Researcher ; ex:name ?name . }

这条查询的意思是：找出所有"是研究者"的实体，返回其姓名。SPARQL 1.1 还支持OPTIONAL、聚合函数、子查询和图更新（SPARQL Update）等特性，是学习本体知识图谱查询的第一站。

2️⃣ DL Query：在 Protégé 中按"类表达式"查本体

如果你用 Protégé 这类本体编辑器，会遇到 DL Query（DL 查询）。它不写 SPARQL 图模式，而是基于 Manchester OWL 语法直接描述类表达式，例如"年龄大于 30 的研究者"。

适合场景：

• 在 Protégé 的 DL Query 插件页签中交互查询；
• 关注"类"与"个体"的关系，而不是具体三元组。

对新手来说，可以把它理解为"用类定义的方式过滤实体"。

3️⃣ SPARQL-DL：可被 OWL-DL 推理机回答的 SPARQL 子集

普通 SPARQL 只匹配"事实数据"，而 SPARQL-DL 是一个被刻意约束的子集——它的查询可以被标准 OWL-DL 推理机（如 Pellet 推理器，见 Reasoners 章节）利用本体语义来回答。

这意味着：即使某条三元组没有显式存储在图中，只要它可以从本体公理推理出来，SPARQL-DL 也能查到。它适合需要"查询即推理"但又希望保持标准兼容性的场景。

4️⃣ SPARQL-OWL：完整支持 OWL 推理语义的查询

如果说 SPARQL-DL 只覆盖一部分可用推理的子集，那么 SPARQL-OWL 提供的是一个可靠且完备的算法：在 OWL 2 Direct Semantics（直接语义）的推理框架下正确回答 SPARQL 查询。

适合场景：

• 本体包含复杂的等价类、逆属性、基数约束等表达；
• 要求查询结果与 OWL 推理语义严格一致。

简单记法：SPARQL-DL 求"实用"，SPARQL-OWL 求"严谨"。

5️⃣ SPARQL*：查询"三元组套三元组"的 RDF* 数据

RDF* 是 RDF 的扩展，允许一个三元组作为另一个三元组的"元组值"，例如表达"张三声称他撰写了论文 A"——"声称"这件事本身也成了可查询的数据。

SPARQL* 就是 SPARQL 的 RDF* 感知扩展，让你能够直接匹配嵌套三元组。如果你的知识图谱需要区分"事实"与"来源/出处"，它就是标准答案。

5 种查询语言怎么选？一张对比表讲清楚

选择建议：新手从SPARQL 1.1入门 → 编辑器里顺手用DL Query→ 需要推理时按严谨度选SPARQL-DL或SPARQL-OWL→ 遇到溯源需求再上SPARQL*。

延伸阅读：awesome-ontology 中的配套资源

光会查询还不够，awesome-ontology 为完整的学习路径整理了一站式的目录：

• Logics（逻辑）：了解 Description Logic（描述逻辑）等本体背后的形式化基础；
• Reasoners（推理机）：ELK、FaCT++、Pellet 等推理引擎，是 SPARQL-DL/SPARQL-OWL 的"算力底座"；
• Rule and Schema Definition（规则与模式定义）：SHACL、ShEx、SWRL 等用于数据校验与规则扩展的语言；
• Languages（语言）：OWL、RDF、Turtle、JSON-LD 等本体描述与序列化格式。

配合 README.md 完整目录，从描述、存储到查询推理，本体知识图谱的入门地图就在这一个仓库里。掌握 SPARQL 只是第一步，用好这套资源，你可以系统地建立起完整的语义网技术栈。