人 类 生 活 空 间 与 分 类 互 联 网 资 源 空 间 模 型 诸 葛 海 物 以 类 聚, 人 以 群 分 互 联 网 资 源 应 以 类 来 管 理 并 提 供 有 效 服 务 人 类 生 活 在 一 个 具 有 资 源 多 样 性 的 空 间 里 为 了 有 效 管 理 形 形 色 色 的 资 源, 人 们 使 用 了 多 种 分 类 方 法 并 发 明 了 各 种 分 类 工 具 例 如, 我 们 去 超 市 购 物 时 可 以 观 察 到 商 品 是 分 类 摆 放 的 这 种 超 市 管 理 员 和 顾 客 所 共 同 熟 悉 的 分 类 提 高 了 顾 客 的 购 物 效 率 也 提 高 了 商 品 的 管 理 效 率 走 进 中 药 店, 你 就 会 看 到 药 品 被 分 门 别 类 地 存 放 在 抽 屉 中, 每 个 抽 屉 上 还 贴 着 标 签 用 来 区 分 其 中 的 药 品, 而 且 一 个 抽 屉 只 放 一 种 药 物, 标 签 之 间 看 上 去 并 无 一 定 的 顺 序 关 系 人 们 还 常 常 使 用 抽 屉 来 管 理 个 人 资 料 抽 屉 书 架 档 案 袋 货 架 等 都 是 分 类 管 理 物 品 的 工 具 我 们 还 可 以 观 察 到 学 生 被 分 为 班 级, 幼 儿 园 用 分 类 的 方 法 教 孩 子 们 学 习 基 本 概 念 我 们 还 可 以 举 出 许 多 例 子 来 说 明 分 类 是 人 类 有 效 管 理 各 类 资 源 的 方 法 也 是 认 识 现 实 世 界 和 综 合 经 验 的 基 本 方 法 资 源 空 间 模 型 是 对 文 件 系 统 和 数 据 库 系 统 的 发 展 在 计 算 机 世 界, 文 件 系 统 是 计 算 机 资 源 管 理 的 一 个 里 程 碑 它 可 以 看 作 是 一 个 以 文 件 类 型 为 维 的 一 维 资 源 空 间 它 是 后 来 操 作 系 统 和 数 据 库 系 统 实 现 的 重 要 基 础 数 据 库 系 统 是 计 算 机 资 源 管 理 的 另 一 个 里 程 碑 [2] 特 别 是 关 系 数 据 模 型, 它 以 坚 实 的 数 学 基 础 和 优 美 的 模 型 成 为 集 中 式 数 据 管 理 的 典 范 互 联 网 的 计 算 环 境 与 三 十 多 年 前 发 明 关 系 数 据 模 型 时 的 计 算 环 境 相 比 已 发 生 了 很 大 变 化 原 来 集 中 稳 定 的 计 算 环 境 发 展 为 分 散 而 动 态 的 计 算 环 境, 处 理 的 对 象 已 不 再 是 单 纯 的 数 据 而 是 多 样 异 构 的 资 源, 应 用 范 围 也 由 原 来 单 纯 的 数 据 管 理 发 展 为 多 样 的 资 源 管 理 和 智 能 服 务, 用 户 和 数 据 拥 有 者 也 呈 现 由 原 来 的 以 机 构 为 中 心 发 展 为 以 个 人 为 中 心 的 趋 势 这 些 变 化 对 数 据 模 型 的 要 求 已 超 出 了 经 典 数 据 模 型 的 适 用 范 围 互 联 网 资 源 空 间 模 型 是 一 种 能 够 管 理 互 联 网 资 源 的 语 义 数 据 模 型 资 源 空 间 模 型 的 基 本 概 念 资 源 空 间 模 型 是 一 个 通 过 对 资 源 内 容 进 行 分 类 的 规 范 存 贮 管 理 和 定 位 网 络 资 源 的 语 义 数 据 模 型 n 维 空 间 代 表 了 对 一 个 资 源 集 合 的 n 种 分 类 方 法 在 每 一 维 上 给 定 一 个 坐 标 就 可 定 位 一 个 点 一 组 同 类 内 容 的 资 源 资 源 空 间 只 关 注 内 容, 因 而 一 个 点 中 的 资 源 可 以 是 任 何 形 式 1
资 源 空 间 可 以 通 过 在 维 上 设 置 约 束 来 实 现 规 范 化, 从 而 来 增 加 资 源 管 理 的 正 确 性 资 源 空 间 的 范 式 就 是 用 来 实 现 这 种 规 范 化 的 第 一 范 式 要 求 坐 标 名 不 重 复, 第 二 范 式 要 求 各 坐 标 相 互 独 立, 第 三 范 式 要 求 各 维 ( 轴 ) 互 相 正 交 ( 即, 互 相 细 分 ) 我 们 还 可 以 根 据 应 用 需 要 定 义 更 严 格 或 更 宽 松 的 范 式 资 源 空 间 模 型 的 内 在 特 性 决 定 了 它 非 常 值 得 研 究, 因 为 它 不 是 一 个 普 通 的 距 离 空 间, 它 的 维 是 离 散 的, 而 且 每 个 坐 标 可 以 是 树 型 结 构, 每 个 点 是 一 个 资 源 集 合, 可 以 是 一 个 链 接 也 可 以 是 一 个 资 源 空 间 在 某 些 情 况 下, 我 们 不 需 要 给 出 所 有 维 上 的 坐 标 就 可 确 定 一 个 点 图 1 和 图 2 分 别 是 两 种 支 持 用 户 操 作 的 资 源 空 间 可 视 化 界 面 用 户 可 以 旋 转 切 分 合 并 资 源 空 间, 选 择 资 源 空 间 中 所 关 心 的 点 只 要 选 定 点, 所 有 同 类 资 源 都 可 以 一 次 性 获 得, 无 论 它 们 是 何 种 形 式 资 源 空 间 模 型 还 允 许 应 用 系 统 运 用 类 似 SQL 的 语 言 来 操 作 资 源 空 间 图 1 一 个 用 来 管 理 敦 煌 文 化 内 容 的 可 视 化 三 维 资 源 空 间 模 型, 其 中 每 个 小 立 方 体 代 表 资 源 空 间 中 的 一 个 点, 每 个 点 代 表 属 同 类 内 容 的 各 种 类 型 的 资 源 ( 文 字 书 画 壁 画 彩 塑 音 乐 等 ) 2
移 动 选 择 坐 标 选 择 轴 图 2 一 个 n 维 资 源 空 间 可 视 化 界 面 与 资 源 空 间 的 规 范 管 理 相 应 的 是 语 义 链 网 络, 它 的 任 意 一 个 结 点 可 以 连 接 到 任 意 一 个 语 义 相 关 的 结 点 体 现 了 互 联 网 应 用 的 自 主 性 语 义 链 网 络 是 对 超 链 网 络 的 自 然 扩 展 [10], 它 在 超 链 上 附 加 一 个 语 义 因 子 来 反 映 语 义 关 系 在 一 组 链 接 规 则 的 支 持 下, 语 义 链 网 络 支 持 关 系 推 理 相 比 之 下, 超 链 网 不 具 备 关 系 推 理 能 力 规 范 化 和 自 主 性 是 实 现 互 联 网 语 义 数 据 模 型 的 两 个 重 要 需 求 有 机 结 合 资 源 空 间 和 语 义 链 网 络 可 构 成 兼 有 规 范 化 和 自 主 性 的 语 义 层 为 高 层 智 能 服 务 提 供 一 种 共 享 基 础 [5] 资 源 空 间 模 型 的 主 要 内 容 资 源 空 间 模 型 包 括 以 下 主 要 内 容 : 1. 资 源 空 间 模 型 方 法 学 它 指 导 资 源 空 间 模 型 的 学 习 设 计 和 研 究 包 括 资 源 空 间 的 基 本 定 义 和 特 征 操 作 的 定 义 范 式 理 论 完 整 性 理 论 查 询 语 言 和 开 发 方 法 这 套 理 论 和 模 型 从 形 式 上 看 是 与 关 系 数 据 库 理 论 并 行 的 两 者 模 型 的 不 同 决 定 了 他 们 的 范 式 理 论 的 不 同, 进 而 决 定 了 他 们 的 完 整 性 理 论 的 不 同 和 开 发 方 法 的 不 同 2. 资 源 空 间 模 型 和 语 义 链 网 络 的 集 成 及 其 关 系 理 论 资 源 空 间 模 型 和 语 义 链 网 络 虽 然 是 独 立 发 展 出 来 的 两 个 模 型, 但 二 者 之 间 具 有 内 在 联 系, 在 某 种 条 件 3
下 可 以 互 相 转 换 有 机 结 合 两 种 模 型 形 成 一 个 支 持 资 源 分 类 管 理 和 关 系 查 询 的 语 义 数 据 模 型 在 这 种 模 型 下, 一 个 资 源 既 属 于 一 个 点 又 可 与 属 于 其 它 点 或 其 它 空 间 的 资 源 建 立 语 义 关 系 资 源 不 仅 可 以 按 内 容 来 定 位, 而 且 可 以 找 到 相 关 的 资 源 3. 资 源 空 间 模 型 查 询 操 作 的 完 备 性 和 必 要 性 理 论 资 源 空 间 模 型 需 要 一 套 资 源 操 作 语 言 来 进 行 资 源 的 查 询 更 新 和 管 理 该 理 论 首 先 提 供 一 个 理 论 基 础, 能 够 用 来 判 断 所 提 出 来 的 任 何 一 个 资 源 操 作 子 语 言 的 选 择 能 力 的 完 备 性, 并 且 判 别 结 果 要 独 立 于 任 何 这 个 子 语 言 所 嵌 入 的 主 语 言 例 如, 以 下 问 题 首 先 必 须 回 答 : 所 定 义 的 操 作 是 否 足 够, 即 是 完 备 的? 是 否 必 需? 其 次, 对 于 各 种 子 语 言, 哪 种 子 语 言 的 表 达 能 力 更 强? 通 过 研 究 得 出 结 论 : 操 作 Union, Difference, Intersection, Extended Cartesian Product, Selection, Join, Disjoin, Merge 和 Split 是 资 源 空 间 上 的 一 组 完 备 的 操 作 集 合 ; 操 作 Union, Difference, Extended Cartesian Product, Selection 和 Disjoin 是 资 源 空 间 上 的 一 组 完 备 且 必 需 的 操 作 集 合 4. 资 源 空 间 模 型 查 询 操 作 的 代 数 和 演 算 理 论 它 从 资 源 空 间 代 数 和 资 源 空 间 演 算 的 视 角 来 探 究 资 源 空 间 模 型 的 查 询 能 力 和 表 达 能 力 代 数 由 一 个 操 作 数 集 合 以 及 定 义 在 这 些 操 作 数 上 的 一 组 满 足 封 闭 性 的 操 作 构 成 演 算 则 是 定 义 在 数 据 模 型 上 的 一 阶 谓 词 逻 辑, 它 可 以 描 述 用 户 需 要 的 查 询 结 果 演 算 可 以 用 来 描 述 用 户 的 需 求, 而 代 数 则 是 用 来 计 算 查 询 的 结 果 资 源 空 间 模 型 的 代 数 包 括 了 资 源 空 间 模 型 的 5 个 完 备 的 基 本 操 作 我 们 证 明 了 资 源 空 间 模 型 的 代 数 和 演 算 具 有 相 同 的 查 询 能 力 和 表 达 能 力, 即 给 定 代 数 中 的 一 个 操 作 可 以 用 演 算 将 该 操 作 的 结 果 表 达 出 来, 并 且 给 定 一 个 用 演 算 表 达 的 查 询 结 果, 可 以 使 用 代 数 中 一 系 列 的 操 作 将 该 结 果 计 算 出 来 该 理 论 还 说 明 资 源 空 间 模 型 至 少 具 有 关 系 模 型 的 表 达 能 力 5. 资 源 空 间 搜 索 的 复 杂 性 理 论 它 揭 示 搜 索 效 率 和 坐 标 分 布 的 关 系 以 及 搜 索 效 率 与 维 的 关 系 在 资 源 空 间 中 查 找 一 个 点 ( 基 于 关 键 字 的 比 较 ), 从 查 找 效 率 的 角 度 来 看, 空 间 的 维 数 是 越 高 越 好, 还 是 越 低 越 好, 或 者 是 其 它 的 情 况 呢? 每 个 轴 上 坐 标 个 数 的 分 布 是 越 平 均 越 好, 还 是 越 不 平 均 越 好? 查 找 的 复 杂 度 和 每 个 轴 上 坐 标 个 数 的 分 布 有 没 有 关 系? 通 过 考 查 了 查 找 复 杂 度 和 每 个 轴 上 坐 标 分 布 的 关 系 得 到 结 论 : 从 查 找 复 杂 度 的 角 度 来 看, 每 个 轴 上 坐 标 的 分 布 越 平 均 越 好 通 过 研 究 查 找 复 杂 度 和 空 间 的 维 数 的 变 化 的 关 系 得 出 结 论 : 资 源 空 间 的 维 数 不 是 越 低 越 好, 也 不 是 越 高 越 好, 存 在 一 个 唯 一 的 临 界 维 数 从 查 找 复 杂 度 的 角 度 来 看, 具 有 临 界 维 数 的 资 源 空 间 是 最 优 的 我 们 还 得 出 这 个 临 界 维 数 的 取 值 大 约 是 lnn(n 是 资 源 空 间 中 的 点 的 总 个 数 ) 得 到 的 理 论 结 果 有 助 于 对 资 源 空 间 查 找 复 杂 度 的 计 算 和 理 解, 同 时 也 能 够 用 于 资 源 空 间 结 构 的 设 计 与 分 析 6. 资 源 空 间 的 物 理 存 贮 机 制 资 源 空 间 的 多 维 离 散 特 性 不 同 于 关 系 数 据 库 的 一 维 索 引 和 多 维 索 引 它 的 独 特 性 需 要 特 定 的 存 贮 机 制 来 保 障 查 询 效 率 传 统 多 维 空 间 的 存 贮 要 求 维 上 坐 标 满 足 线 性 序, 并 用 欧 氏 距 离 度 量 资 源 的 邻 近 度 存 贮 资 源 时 把 邻 近 的 资 源 放 在 磁 盘 上 相 邻 的 位 置, 从 而 实 现 高 效 的 资 源 定 位 但 资 源 空 间 模 型 中 维 上 坐 标 代 表 分 类, 通 常 没 有 线 性 序, 较 为 常 见 的 是 层 次 语 义 关 系 为 保 证 资 源 插 入 删 除 和 查 找 等 操 作 的 效 率, 我 们 同 样 希 望 分 类 语 义 越 相 似 的 资 源 在 磁 盘 上 的 存 储 位 置 越 紧 邻 因 此, 我 们 定 义 同 轴 概 念 间 的 语 义 距 离 为 它 们 在 该 轴 概 念 树 上 的 最 短 路 径 长 度, 并 通 过 各 种 组 合 方 式 定 4
义 空 间 中 分 类 点 间 的 语 义 距 离 该 距 离 反 映 了 资 源 空 间 分 类 语 义 的 邻 近 度, 语 义 相 近 的 资 源 可 以 被 放 到 磁 盘 的 相 邻 位 置 若 干 语 义 相 似 的 空 间 分 类 点 可 以 用 更 为 抽 象 的 空 间 分 类 点 表 示, 并 作 为 它 们 的 索 引 项 存 放 在 磁 盘 中 同 样, 对 抽 象 后 的 分 类 点 作 进 一 步 抽 象 并 建 立 相 应 的 索 引 项, 直 至 形 成 一 棵 树 该 自 底 向 上 生 成 索 引 树 的 方 法 类 似 于 传 统 多 维 空 间 中 的 索 引 树, 但 优 化 准 则 更 为 复 杂, 要 充 分 考 查 分 类 点 在 各 维 上 层 次 语 义 的 邻 近 度 由 于 概 念 的 字 符 串 值 长 短 不 一 概 念 间 的 层 次 语 义 关 系 可 能 较 为 复 杂, 而 资 源 操 作 却 要 频 繁 地 判 断 概 念 间 层 次 语 义 关 系 和 计 算 它 们 的 语 义 距 离, 因 此 需 要 对 概 念 进 行 编 码 资 源 空 间 每 个 轴 对 应 一 棵 概 念 树, 所 有 轴 构 成 一 个 概 念 森 林 通 过 将 森 林 转 换 到 二 叉 树, 对 生 成 的 二 叉 树 的 边 进 行 编 码, 并 将 根 到 每 个 概 念 的 路 径 的 编 码 串 作 为 该 概 念 的 编 码 该 编 码 方 案 不 仅 完 全 保 留 了 概 念 间 层 次 语 义 关 系, 而 且 支 持 高 效 的 语 义 计 算 针 对 编 码 可 能 过 长 的 问 题, 我 们 还 设 计 了 无 损 压 缩 编 码 7. 基 于 P2P 的 分 散 式 资 源 空 间 这 是 一 种 使 资 源 空 间 兼 有 规 范 化 和 自 主 性 的 方 法, 目 前 包 括 结 构 化 P2P 资 源 空 间 和 非 结 构 化 P2P 资 源 空 间 两 种 解 决 方 案 非 结 构 化 对 等 网 络 允 许 资 源 随 机 存 放 在 自 组 织 节 点 上, 节 点 间 的 链 接 是 任 意 的, 它 具 有 简 单 和 可 用 性 低 维 护 代 价 以 及 健 壮 性 好 等 优 点 一 个 n 维 的 资 源 空 间 可 以 映 射 到 一 个 分 类 树 对 等 网 络 上 的 节 点 根 据 自 身 兴 趣 和 资 源 类 型 分 成 不 同 的 社 区, 这 些 社 区 相 应 于 分 类 树 的 叶 子 节 点 每 个 节 点 以 分 层 结 构 化 的 形 式 维 护 邻 居 信 息, 而 分 层 的 数 目 取 决 于 该 节 点 所 在 分 类 树 的 深 度 当 一 个 节 点 发 送 查 询 时, 首 先 决 定 选 择 哪 层 邻 居 节 点 来 传 递 查 询 当 查 询 抵 达 邻 居 节 点 所 在 的 社 区 时, 一 个 基 于 Gossip 的 算 法 就 发 布 该 查 询 信 息 收 到 查 询 信 息 并 且 能 回 答 该 查 询 的 节 点 直 接 把 结 果 反 馈 给 初 始 节 点 非 结 构 化 对 等 资 源 空 间 同 时 拥 有 资 源 空 间 模 型 和 非 结 构 化 对 等 网 络 的 优 点, 可 提 高 对 等 网 络 的 性 能, 是 资 源 空 间 模 型 的 一 种 分 布 式 应 用 方 法 在 结 构 化 的 P2P 解 决 方 案 中, 资 源 空 间 被 划 分 成 若 干 单 元, 每 个 单 元 代 表 了 资 源 空 间 中 的 一 个 多 维 矩 形 P2P 网 络 中 的 每 个 节 点 均 负 责 一 个 单 元, 并 且 存 储 着 位 于 该 单 元 内 的 资 源 信 息 每 个 节 点 都 维 持 一 个 邻 居 列 表 邻 居 所 负 责 的 单 元 在 空 间 上 是 相 邻 的 节 点 利 用 它 所 存 储 的 邻 居 信 息 来 路 由 消 息 路 由 算 法 采 用 贪 心 的 策 略, 即 当 前 节 点 总 是 把 消 息 发 送 给 在 资 源 空 间 中 距 离 目 标 最 近 的 邻 居 路 由 的 时 间 复 杂 度 与 资 源 空 间 的 维 度 和 节 点 个 数 相 关, 为 :(n/4)(m 1/n ), 其 中 n 是 资 源 空 间 的 维 度,m 是 节 点 个 数 结 构 化 P2P 中 的 节 点 以 这 种 自 组 织 的 形 式 形 成 一 个 介 于 底 层 P2P 网 络 和 上 层 资 源 空 间 模 型 之 间 的 覆 盖 层 该 层 中 的 所 有 节 点 都 是 平 等 的, 不 存 在 超 级 节 点 这 样 的 设 置 提 高 了 整 个 网 络 的 可 扩 展 性 结 构 化 P2P 资 源 空 间 解 决 方 案 支 持 带 有 树 结 构 坐 标 的 资 源 空 间 通 过 增 加 长 链 提 高 了 整 个 系 统 的 路 由 效 率 8. 概 率 资 源 空 间 模 型 它 支 持 用 户 或 应 用 系 统 以 不 确 定 性 的 方 式 存 贮 和 管 理 资 源, 是 一 种 更 为 普 遍 的 资 源 空 间 模 型 在 最 初 的 资 源 空 间 模 型 中, 一 个 资 源 要 么 属 于 一 个 类, 要 么 不 属 于 一 个 类 但 在 很 多 应 用 中, 人 们 往 往 不 能 准 确 地 判 断 一 个 给 定 的 资 源 是 否 属 于 一 个 类 为 此, 任 意 一 个 资 源 都 在 每 一 维 上 被 赋 予 一 个 概 率 隶 属 函 数, 从 而 将 一 个 资 源 空 间 映 射 到 概 率 资 源 空 间 资 源 空 间 模 型 的 范 式 理 论, 完 整 性 约 束 理 论 和 操 作 也 在 概 率 资 源 空 间 模 型 中 得 到 了 更 一 般 化 的 定 义 和 解 释 5
数 据 空 间 数 据 网 格 和 资 源 空 间 模 型 谷 歌 (Google) 和 UC Berkeley 等 单 位 的 研 究 人 员 从 应 用 ( 个 人 数 据 管 理 科 学 数 据 管 理 和 互 联 网 结 构 查 询 等 ) 的 角 度 提 出 数 据 空 间 的 概 念, 最 近 在 数 据 库 领 域 引 起 重 视 [3] 这 从 一 个 侧 面 印 证 了 我 们 开 展 资 源 空 间 模 型 研 究 的 选 题 是 正 确 和 及 时 的 数 据 空 间 的 目 的 是 围 绕 实 体 来 管 理 数 据, 各 实 体 的 数 据 共 存, 它 还 强 调 数 据 的 多 样 性 数 据 源 不 确 定 性 和 数 据 独 立 性 等 目 前 还 处 于 概 念 形 成 阶 段 另 外 一 项 相 关 工 作 是 数 据 网 格 [1], 它 也 是 从 应 用 ( 如 科 学 数 据 管 理 ) 的 角 度 提 出 了 大 规 模 数 据 存 贮 和 元 数 据 管 理 的 方 法 但 与 关 系 数 据 库 相 比, 数 据 空 间 和 数 据 网 格 明 显 缺 乏 理 论 和 模 型 基 础 资 源 空 间 模 型 关 注 的 是 : 面 对 一 个 应 用 领 域 组 织 或 个 人 的 资 源, 如 何 建 立 合 适 的 多 维 分 类 体 系, 并 用 规 范 化 的 分 类 体 系 来 管 理 资 源, 无 论 资 源 呈 何 种 形 式, 存 放 在 何 处 目 前 资 源 空 间 模 型 已 具 备 完 整 的 理 论 模 型 和 方 法 资 源 空 间 模 型 的 研 发 互 联 网 资 源 空 间 是 我 们 生 活 的 现 实 资 源 空 间 的 一 部 分 它 是 一 种 非 常 有 潜 力 的 有 效 管 理 各 类 网 络 资 源 的 模 型 它 的 目 的 不 是 代 替 数 据 库 和 文 件 系 统, 而 是 提 供 一 种 新 的 模 型, 在 数 据 库 和 文 件 系 统 不 擅 长 的 某 些 应 用 中 发 挥 独 特 的 作 用 它 与 语 义 链 网 络 [5,7] 数 据 库 模 型 [2] 和 语 义 互 联 网 的 研 究 成 果 ( 如 互 联 网 本 体 语 言 OWL) 的 结 合 可 望 为 未 来 互 联 环 境 提 供 一 个 强 大 的 语 义 平 台 [8] 资 源 空 间 模 型 的 雏 形 于 2002 年 被 提 出 用 来 管 理 网 络 知 识 资 源 [6] 2003-2004 年 提 出 了 其 主 要 理 论 和 模 型 [5, 9] 2007 年 系 统 地 发 展 了 其 理 论 模 型 和 方 法 [4] 中 国 科 学 院 计 算 技 术 研 究 所 知 识 网 格 研 究 组 正 在 开 发 资 源 空 间 模 型 系 统, 完 善 其 理 论, 并 在 e-culture 和 e-science 领 域 开 展 应 用 以 下 同 志 参 加 了 相 关 研 究 和 开 发 工 作 : 姚 二 林 星 芸 鹏 李 向 冯 亮 何 超 韩 旭 时 鹏 刘 进 唐 明 董 王 震 顾 志 宇 杨 鲲 张 均 胜 等 研 究 受 到 国 家 重 大 基 础 研 究 计 划 (2003CB317000) 的 资 助 参 考 文 献 [1] A. Chervenak, I.Foster, C.Kesselman, C.Salisbury and S.Tuecke, The Data Grid: Towards an Architecture for the Distributed Management and Analysis of Large Scientific Datasets, Journal of Network and Computer Applications, 23(3)(2000)187-200. [2] E.F. Codd, A Relational Model of Data for Large Shared Data Banks. Communications of the ACM, 13 (6) (1970)377-387. [3] A. Halevy, M. Franklin and D. Maier, Principles of Dataspace Systems, Proceedings of the twenty-fifth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems, 2006, pp.1-9. [4] H. Zhuge, The Web Resource Space Model, Springer, 2007. 6
[5] H. Zhuge, The Knowledge Grid, World Scientific Publishing Co., Singapore, 2004. [6] H. Zhuge, A Knowledge Grid Model and Platform for Global Knowledge Sharing, Expert Systems with Applications, 22 (4) (2002) 313-320. [7] H. Zhuge and X.Li, Peer-to-Peer in Metric Space and Semantic Space, IEEE Transactions on Knowledge and Data Engineering, 6(19) (2007) 759-771. [8] H. Zhuge, P. Shi, Y. Xing and C. He, Transformation from OWL Description to Resource Space Model, Keynote at 1 st Asian Semantic Web Conference, Beijing, China, Sept. 3-7, 2006, LNCS 4185, pp.4-23. [9] H. Zhuge, Resource Space Grid: Model, Method and Platform, Concurrency and Computation: Practice and Experience, 16 (14) (2004) 1385-1413. [10] H.Zhuge, Autonomous Semantic Link Networking Model for the Knowledge Grid, Concurrency and Computation: Practice and Experience, 7(19)(2007)1065-1085. 诸 葛 海 (http://www.knowledgegrid.net/~h.zhgue): 中 国 科 学 院 计 算 技 术 研 究 所 研 究 员,973 语 义 网 格 项 目 首 席 科 学 家 知 识 网 格 研 究 组 技 术 报 告 KGRC-2007-06,2007 年 8 月 Technical Report of Knowledge Grid Research Center, KGRC-2007-06, August, 2007. www.knowledgegrid.net/tr. 7