29、语义网搜索与归纳推理

语义网搜索与归纳推理

1. 语义网搜索基础

1.1 查询评估器

查询评估器在在线查询处理步骤中，将用户的每个语义网搜索查询简化为一系列针对标准网页和注释页面的标准网页搜索查询，然后由标准网页搜索引擎进行处理。它还会收集结果并将其重新转换为单个答案返回给用户。

例如，一个语义网搜索查询可能是查找所有在 2008 年发表过以 RDF 为关键词文章的博士生，形式化表示为：

Q(x)= ∃y (PhDStudent(x) ∧isAuthorOf(x, y) ∧Article(y) ∧
yearOfPublication(y, 2008) ∧keyword(y, “RDF”))

这个查询 Q 会被转换为两个查询：
- Q1 = PhDStudent AND isAuthorOf
- Q2 = Article AND “yearOfPublication 2008” AND “keyword RDF”

这两个查询都可以提交给标准网页搜索引擎，原始查询 Q 的结果将由 Q1 和 Q2 的结果构建而成。

1.2 语义网知识库

语义网知识库直观上由一个背景 TBox 和一系列 ABox 组成，每个具体网页和网页上的每个对象都对应一个 ABox。

假设存在两两不相交的集合：
- D ：原子数据类型
- A ：原子概念