简介这份数据包面向机器人知识表示与语义环境建模的学习者和研究者围绕 KnowRob 知识库汇集可复用的样本、测试与评估数据并以 Web Ontology Language 组织动作配方、语义地图和对象模型等内容便于在独立于主程序仓库的上下文中开展实验。压缩包共 406 个文件、约 52.4MB主体为 353 张 jpg 图像另含 35 个 owl 本体文件及少量 md、xml、sh、Dockerfile 等配置与说明文件可支撑日志回放、对象属性查询和地图可视化等任务。已有 208 人学习下载。读者可从中获得按动作、日志、地图、对象分类的数据组织样例理解 OWL 文件如何描述任务步骤、部件组成与 CAD 模型链接并借助附带的容器与脚本文件快速复现实验环境适合作为知识图谱构建、机器人任务规划与语义地图研究的参考数据集。1. 装 knowrob_data 之前先认清它不是个能 make 的包有次接手一台机器人实验机knowrob_data 拉进 srccatkin_make 一路绿灯结果进 rosprolog 一调owl_parse就报文件不存在——数据仓库压根没有编译产物绿灯只说明 CMake 扫到了一个空壳。knowrob_data 是 KnowRob 知识库的配套数据仓库装的是地图、机器人日志、对象模型外加一批用 Web Ontology Language 写的 .owl 本体。它不能被编译只能被挂载到 KnowRob 的解析路径上。真正卡人的不是命令有多长而是 ROS 发行版、SWI-Prolog、KnowRob 主线三条线能不能对上以及package://这种路径 Prolog 到底认不认。下面按我实际装机的顺序走一遍。2. 环境清点ROS 发行版、SWI-Prolog 与 KnowRob 主线的对齐装数据仓库最怕的不是缺依赖是三条版本线各走各的。我见过最典型的一台机器系统是旧的 UbuntuROS 也是旧发行版SWI-Prolog 却是从源码编的新版本knowrob_data 因为本体里用了较新的 OWL 构造解析到一半直接抛异常前面几十个文件全部白加载。所以动手之前先花五分钟把现状打印出来比事后翻日志划算得多。2.1 三条版本线要先对齐KnowRob 这套东西的版本耦合比一般 ROS 包紧。Ubuntu 版本决定能装哪个 ROS 发行版ROS 发行版决定 rosprolog 和 catkin 的接口形态SWI-Prolog 的版本决定 OWL 解析器吃不吃得下某些语法。三条线里任意一条越级症状都不会是「装不上」而是「装上了但查不出东西」这种更难查。先打这几条命令把现状摸清楚# 系统版本决定你能装哪个 ROS 发行版别跨版本硬凑 lsb_release -ds # 当前 shell 的 ROS 发行版输出为空说明还没 source echo $ROS_DISTRO # SWI-Prolog 版本KnowRob 对 8.x 系列更友好 swipl --version # KnowRob 本体装在哪找不到说明工作空间没 source 或者没编 rospack find knowrobswipl --version这行要重点看。常见做法是直接用 apt 装但发行版自带的 SWI-Prolog 往往偏旧遇到本体里稍微新一点的 OWL 写法就会在解析阶段报语法错而报错位置通常指向本体文件的某一行很容易被误判成「数据仓库的文件坏了」。我一般会先apt-cache policy swi-prolog看一眼候选版本低于 8 就换官方源装 8.x 系列装完再swipl --version复核一次确认 shell 里调到的不是旧二进制。组件我锁的口径核对命令Ubuntu与 ROS 发行版一一绑定不跨版本lsb_release -dsROS跟随系统版本$ROS_DISTRO必须有值echo $ROS_DISTROSWI-Prolog8.x 系列apt 太旧就换源swipl --versionKnowRob 主线与 knowrob_data 同一分支或同一 taggit -C src/knowrob log -1 --onelinerosprolog跟 catkin 工作空间一起编rospack find rosprolog提示knowrob_data 的分支要和 knowrob 主线的分支对上。本体里的owl:imports指向的是主线的类名和命名空间主线换了命名空间而数据仓库还停在老分支加载不会报错但查出来的个体全是孤立的这条坑后面第 5 章还会展开。2.2 磁盘规划数据仓库别放临时目录和网络盘knowrob_data 的体积主要不在 .owl 文本上而在对象模型和日志上。网格模型动辄几十兆一个机器人日志按时间切片存几百个小文件很常见。这类仓库有两个特点单文件大、文件数量多。放到/tmp里重启就没了放到网络挂载盘上Prolog 逐个打开文件解析时延迟会被放大表现出来就是「加载卡住不动」你会以为是死循环实际上是在等 IO。我一般固定在 home 下开一个独立工作空间别和别的 ROS 项目混在一起# 独立工作空间避免和别的 catkin 项目互相污染 mkdir -p ~/knowrob_ws/src # 装之前先看剩余空间对象模型和日志很吃盘 df -h ~/knowrob_ws # 装完再回头看实际占了多少方便以后清理 du -sh ~/knowrob_ws/src/knowrob_datadf -h这一步别省。有次在一台小容量机器上装加载到对象模型那一段直接失败日志里报的是解析错误查了半天才发现是磁盘写满导致临时文件没落盘。另外注意权限不要用 root 跑 rosprolog加载过程中会在工作空间里写缓存文件root 写完之后普通用户读不了下一次加载会莫名其妙地失败。2.3 依赖安装顺序系统包在前rosdep 在后依赖安装有个顺序问题。rosdep 需要联网拉取 rosdep key 的索引如果系统基础工具还没装好、时间不同步、证书不全rosdep update会以一个和依赖完全无关的报错失败很容易带偏排查方向。所以先把 git、编译工具、SWI-Prolog 这些落地再动 rosdep。sudo apt update sudo apt install -y git cmake build-essential curl # 先看 apt 给的 SWI-Prolog 候选版本太低就换源再装 apt-cache policy swi-prolog sudo apt install -y swi-prolog # rosdep 初始化重复执行会报已存在用 || true 兜住 sudo rosdep init 2/dev/null || true rosdep updatesudo rosdep init只在第一次需要第二次会提示配置文件已存在并以非零码退出脚本里不兜住就会中断后面的步骤。rosdep update失败最常见的原因是索引下载不完整重跑一次通常就过如果连续失败去看~/.ros/rosdep/sources.cache里有没有残留的半截文件清掉再试。系统依赖装完之后再回到工作空间里跑一次rosdep install把 ROS 侧的依赖补齐。这一步要在src目录下已经有包的前提下执行否则它什么都不会装还会返回成功让人误以为依赖齐了。cd ~/knowrob_ws # --from-paths src 指定扫描目录-y 免交互-r 忽略个别装不上的包 rosdep install --from-paths src --ignore-src -y -r--ignore-src的意思是本地已有源码的包不去装二进制版本避免和源码编译冲突-r表示某个包解析失败时继续装其余的。这两个参数在装 KnowRob 这类多包工作空间时基本是必带的不带的话经常因为一个可选包卡住整个流程。3. 落盘与挂载把 knowrob_data 放进 catkin 工作空间并让 rospack 认出来环境摆平之后才是真正的落盘。这一步的目标不是「代码拉下来」而是「rospack 能找到它Prolog 能通过package://解析到里面的文件」。这两件事是两回事很多人卡在后者。3.1 克隆策略数据仓库别盲目加 --recursiveknowrob_data 是纯数据包没有子模块依赖--recursive在这里没有意义。但仓库里的模型文件可能用了 Git LFS 管理直接 clone 下来拿到的是指针文件几十字节的文本内容以 version 开头加载时不会报错只是模型读不出来。cd ~/knowrob_ws/src # 克隆数据仓库地址换成你自己手上的那个 git clone knowrob_data 仓库地址 knowrob_data # 进目录确认模型文件是不是 LFS 指针 head -c 64 knowrob_data/**/*.ply 2/dev/null # 如果是指针需要先把 LFS 拉下来 git -C knowrob_data lfs install git -C knowrob_data lfs pullhead -c 64这个检查很土但很有效。正常的二进制网格模型前几十个字节是乱码LFS 指针则是一行可读文本一眼就能分辨。另外克隆时如果只想要某个分支用git clone -b 分支 --single-branch能省下不少时间但注意分支要和 knowrob 主线对齐别贪快选错。克隆完顺手看一眼目录结构心里有个数owl/下放本体文件地图、日志、模型通常在各自的子目录里有的还会带一个package.xml让 catkin 认出来。这个package.xml是数据包能被rospack find找到的关键缺了它后面所有的package://解析都会失败。# 确认包描述文件在rospack 靠它识别包 ls knowrob_data/package.xml # 看一层目录知道本体、模型、日志各在哪 ls knowrob_data3.2 环境变量source 顺序不对rospack 就是瞎的package://这个 URI 能被 Prolog 打开靠的是 rosprolog 内部把包名翻译成实际路径而翻译的依据是ROS_PACKAGE_PATH。这个变量是devel/setup.bash注入的顺序错了就找不到。# 先 source 系统 ROS再 source 工作空间顺序不能反 source /opt/ros/$ROS_DISTRO/setup.bash source ~/knowrob_ws/devel/setup.bash # 确认变量里包含你的工作空间 src 路径 echo $ROS_PACKAGE_PATH # 这一步必须能打印出真实路径否则后面全白搭 rospack find knowrob_datasource的顺序反了会怎样工作空间里的包会被系统路径覆盖rospack find knowrob_data返回找不到或者返回一个旧路径。更隐蔽的情况是你在一个终端里 source 了新开一个终端忘了 source然后对着「明明装好了却找不到」抓狂。我一般把这两行写进一个env.sh每次开终端先source ~/env.sh比记忆靠谱。# ~/env.sh 内容开新终端时 source 一次 export ROS_DISTRO你的发行版代号 source /opt/ros/$ROS_DISTRO/setup.bash source ~/knowrob_ws/devel/setup.bash注意每次catkin_make之后devel下的环境文件会被重写已经开着的终端必须重新 source 一次。这条看起来是废话但我敢说一半以上的「改了没生效」都是因为它。3.3 编一次数据包也要过 catkin_make数据包没有 C 目标编译几乎是空转但这一步不能跳。catkin_make会生成devel下的环境文件把新包注册进ROS_PACKAGE_PATH。不跑这一步哪怕src下的目录结构完全正确rospack find也看不见它。cd ~/knowrob_ws catkin_make # 编译完立刻验证包是否被注册 rospack find knowrob_data编译过程中如果某个依赖包报错先单独编那个包看完整报错catkin_make会把错误信息截断容易看漏关键行。常见做法是catkin_make --pkg 包名单独编一次报错更完整。编完之后有一个反直觉的地方catkin_make成功只代表文件系统层面准备好了跟数据能不能被 Prolog 读懂是两码事。我第一次装的时候就栽在这看到[100%] Built target以为万事大吉结果一加载本体就发现 imports 链断了。所以下一步必须真的进 Prolog 里跑一遍。4. 加载 OWL 本体knowrob_data 里的 .owl 文件怎么被 Prolog 解析进去到这一步才是 knowrob_data 真正「生效」的地方。加载不是把文件全塞进去就行顺序和 URI 写法都有讲究。4.1 加载顺序顶层本体在前数据本体在后KnowRob 的加载链路是分层的先加载核心本体定义类、属性、顶层命名空间再加载 knowrob_data 里的扩展本体定义具体的个体、地图、对象实例。顺序反了扩展本体里的个体找不到对应的类会被静默丢掉一部分或者直接抛undefined class一类错误。% 第一步加载核心本体建立顶层类体系 ?- owl_parse(package://knowrob_common/owl/knowrob.owl). % 第二步加载数据仓库里的扩展本体文件名以你仓库实际内容为准 ?- owl_parse(package://knowrob_data/owl/你的数据本体.owl). % 第三步确认加载成功看命名空间下有没有个体 ?- findall(X, rdf_has(X, rdf:type, knowrob:Map), L), length(L, N).owl_parse/1的参数是 URI 字符串不写完整路径。返回值是true不代表全都加载进去了要留意 stderr 里有没有 warning。我一般会顺手加一句owl_parse之后的断言查询确认关键类能查到别等到下游用的时候才发现少了一半。第三步那条findall是最朴素的检查把类型为Map的个体全部收集起来数个数。如果返回L []说明地图个体没进来不一定是解析失败很可能是命名空间对不上这个问题在第 5 章细说。4.2 imports 链与相对路径断在哪一环OWL 的owl:imports是按相对路径解析的基准是当前正在加载的那个文件所在的目录。所以数据仓库里的本体如果 import 了同目录下的另一个文件只要整个仓库在链就不断但如果你只把某一个 .owl 单独拷出来测imports 立刻报文件找不到。排查这条链有个笨但可靠的办法直接在 Prolog 里把所有已加载的本体列出来看缺哪个。% 列出当前已加载进内存的所有本体文件 ?- findall(F, owl_ontology_file(_O, F), L).这条查询的语义是「找出每个已加载本体对应的物理文件路径」。如果列表里缺少你期望的那几个说明加载在某个 imports 处中断了。配合owl_parse的返回值一起看基本能定位到是哪一环断的。还有一种情况是循环 importA 引 BB 又引 A。解析器一般能兜住但会重复解析同一个文件内存和时间都浪费遇到大文件时表现出来就是「加载到一半卡死」。第 5 章会单独说这个。4.3 地图、日志、对象模型各归各的位knowrob_data 里的数据不是同一种东西加载方式和用途都不一样混着处理容易出错。我按这张表来区分内容类型常见格式存放位置谁去读它地图栅格图加一份元数据描述或本体里的地图个体地图子目录导航或定位模块、本体查询机器人日志时序记录文件、本体个体日志子目录行为分析、回放脚本对象模型网格文件加本体中的类定义模型子目录视觉或抓取模块、本体中按类检索本体文件.owlowl 子目录SWI-Prolog 解析器本体文件是唯一需要 Prolog 主动解析的部分其余三类都是被程序按路径读取的文件。所以「加载失败」这件事只在 .owl 上会表现为 Prolog 报错模型和日志读不出来时表现是下游模块拿不到数据两者排查路径完全不同。模型文件的路径通常也写在个体属性里格式同样是package://开头。这意味着换机器或者换工作空间路径之后个体里的路径不会自动变更需要重新生成或者用相对路径。这一点迁移的时候特别容易踩后面第 6 章的验证会专门查这个。5. 常见问题排查knowrob_data 加载链路上的五处翻车点下面这几条都是我自己撞过或者帮人定位过的按「现象 → 原因 → 解决」记。5.1 现象rospack find 报找不到包但目录明明在 src 下原因一般有三个package.xml缺失、没跑过catkin_make、当前终端没 sourcedevel/setup.bash。这三个的区分方法很简单echo $ROS_PACKAGE_PATH看输出里有没有你的工作空间路径。解决先确认ls src/knowrob_data/package.xml存在再cd ~/knowrob_ws catkin_make最后重新source devel/setup.bash并rospack find knowrob_data复核。如果package.xml里的包名和目录名不一致rospack find要用package.xml里声明的名字不是目录名这条坑过一个同事半天。5.2 现象owl_parse 报文件不存在但用 ls 就能看到那个文件原因通常是 URI 拼错了。package://后面必须跟包名不是工作空间路径也不是绝对路径。写成package://home/user/knowrob_ws/...一定失败。另外多一个斜杠、包名大小写不对都会导致解析失败而且报错信息只说找不到不会告诉你 URI 错在哪。解决把package://换成绝对路径先试一次能加载说明文件没问题、纯粹是 URI 的事然后对照rospack find knowrob_data的输出把包名部分对齐。还有个小概率原因文件是软链解析器按真实路径解析后跨了目录imports 链断了。5.3 现象加载过程中 SWI-Prolog 内存一路涨最后卡死或者被杀原因是大本体文件重复解析。循环 import 会重复加载多次手动执行owl_parse同一个文件也会叠加。另外某些本体里个体数量极大全量加载进内存本身就吃资源。解决先确认没有重复执行加载语句同一个会话里重新加载前先清掉旧的再看 imports 是否有环用 4.2 那条owl_ontology_file查询把已加载文件列出来看有没有同一个文件出现两次。实在吃不下就分批加载只加载当前任务需要的那个子本体。5.4 现象类能查到个体死活查不出来这是最典型的一个。原因基本落在命名空间上knowrob_data 的个体声明用的命名空间和你在查询里写的命名空间不一致。本体里常见的是相对 URI 加xml:base加载时的 base 由加载顺序决定如果核心本体还没加载就解析数据本体个体的 URI 会被拼成另一个前缀。解决加载完立刻查一个已知个体的完整 URI看它的前缀是什么再按实际前缀改写查询。另外注意owl:imports指向的主线版本如果 knowrob 主线换过分支而数据仓库没跟着换命名空间整体对不上这类问题只能靠对齐版本解决。5.5 现象路径里带空格或中文加载报各种奇怪的解析错误原因很直白URI 不认空格中文路径在转义环节容易出问题。ROS 工作空间默认建在 home 下一般没事但如果把项目放在「我的文档」这类目录里就会撞上。解决把工作空间挪到纯 ASCII、无空格的路径下重建一次catkin_make重新 source。这个成本比修复解析器低得多我现在的习惯是任何 ROS 工作空间都不放在带空格或中文的目录里。6. 装完怎么验证三条查询确认数据仓库真的接上了装完最怕的是「一切看起来正常」。catkin_make是绿的rospack find有输出owl_parse返回 true但下游一用就发现地图个体是空的、模型路径全是旧机器的。所以验证不能停在命令成功要查到数据层。我现在固定跑三段一段比一段深。第一段确认环境纯 shell# 三条都通过说明包注册和路径解析这一层通了 rospack find knowrob_data rospack find knowrob_common swipl --version | head -1第二段确认本体加载进 Prolog% 加载核心本体再加载数据仓库本体观察有没有 warning ?- owl_parse(package://knowrob_common/owl/knowrob.owl). ?- owl_parse(package://knowrob_data/owl/你的数据本体.owl). % 已加载的本体文件列表缺哪个一眼能看出来 ?- findall(F, owl_ontology_file(_O, F), L).第二段的关键不是true是 stderr 里有没有 warning以及第三条查询列出来的文件列表是否完整。列表里少一个文件说明 imports 链断在那里后面的查询结果不可信。第三段确认数据层这是最能暴露问题的一步% 查地图个体的数量返回 0 说明个体没进来 ?- findall(X, rdf_has(X, rdf:type, knowrob:Map), L), length(L, N). % 抽查一个对象模型个体看它的路径属性指向哪 ?- rdf_has(M, rdf:type, knowrob:ObjectModel), rdf_has(M, knowrob:pathToModel, P).最后那条查询返回的路径值要重点看。如果打印出来的是/home/某台旧机器/...这种绝对路径说明这批数据是从别的机器拷过来的路径没更新加载时不会报错但下游读模型一定失败。这种情况要么重新生成本体里的路径要么用package://形式重建别指望它自己修正。验证层级通过标准失败时先看哪里包注册rospack find返回真实路径package.xml、是否catkin_make、是否 source本体加载无 warning文件列表完整owl:imports链、包 URI 拼写数据可用个体数量非零路径为当前机器可读命名空间、路径迁移、分支对齐我踩过最冤的一次是三层各自都「看起来通过」唯独对象模型路径是旧的结果抓取模块在真机上抓空。从那以后我每次装完 knowrob_data都会强制把第三段最后那条查询跑一遍把返回的路径逐个ls一遍确认文件真的在当前机器上。验证这件事信输出比信状态靠谱。希望这套顺序能帮你少走两趟弯路。本文还有配套的精品资源点击获取