OWL · RDFS · RDF · Avouch
打开任意本体,看清它的结构。
Avouch Studio 读取 Turtle、N-Triples、RDF/XML 或 JSON-LD 格式的 OWL 2 和 RDFS 本体。它画出类图,把限制写成平实的句子,并能导出为标准 RDF。对于 Avouch 文件,它还显示命令、状态机,以及每条事实背后的来源引文。
在浏览器中运行。打开的文件不会上传。
从上次离开的地方继续
继续
示例 · Orchard · OWL 2 · Turtle
10 个类
类 · OWL
FruitTree
⊑ Tree
⊑ bears some Fruit
⊑ planted in only Plot
基于开放标准
直接打开你已有的 OWL 或 RDF 文件。没有任何锁定:Avouch 文件可以导出为普通 RDF,与你的 OWL 并存。
读取
OWL 2RDFSTurtleN-TriplesRDF/XMLJSON-LDAvouch YAML
导出
TurtleN-TriplesJSON-LDRDF/XMLSVGPNG
显示
类图用平实语言表述的限制各语言的标签命令状态机来源引文
示例
打开一个,四处看看
每个示例都附有三件可以试试的事。
OWL 之外 · Avouch
实验草案开放标准描述存在什么,很少描述它可能发生什么。
Avouch 是可选的:Studio 可以直接处理普通的 OWL 和 RDF。Avouch 面向自己构建系统的团队:他们以设计文档为权威,把本体当作可检查的系统规格;当代码由 AI 编写时,这一点最重要。本体描述的系统运行在别处,所以这个格式检查文档、本体和代码没有彼此偏离。
Palantir Foundry Ontology
本体就是运行中的系统
命令通过平台本身提交修改,所以声明的写入在构造上就是实际的写入。格式规范不公开,也没有一等的状态机。
这个格式补充了什么
- cite
- 每条断言都带有逐字引文,由确定性的检查器在源文档中找到这段引文。
- unspecified
- 文档没有说清的内容写为未知,并登记豁免。不再对应任何发现的豁免本身就是错误。
- actionTypes
- 每个命令声明它创建、编辑和读取什么;执行证据与这些声明的写入逐一核对。
- stateMachines
- 每个迁移都绑定到执行它的命令,或说明为什么没有命令执行它(out_of_scope)。
- permission
- 一组权限键,或用 any_of 列出几组。
查看器也读取 OWL 和普通 RDF。
Palantir 通过掌控运行时来避免偏离。Fabric IQ 把规则交给阅读文字的 AI。当系统运行在别处时,剩下的只有检查,所以这个格式让每条断言都可以检查。
状态 · 实验草案
还不是标准,仍可能变化。没有项目适配器时,11 条规则中有 3 条可以运行(R1、R4、R11);其余规则需要从文档中解析出的事实。
参考资料
对比于 2026-10-04 依据各项目自己的文档核对。产品名称归其所有者所有。
对比对象
- [1] Palantir — Ontology overview
- [2] Palantir — Action types overview
- [3] Palantir — Submission criteria
- [4] Palantir — Function-backed actions
- [5] Microsoft Fabric IQ — What is ontology (preview)
开放标准
- [6] W3C — OWL 2 Web Ontology Language — Document Overview
- [7] W3C — Shapes Constraint Language (SHACL)
- [8] W3C — PROV-O: The PROV Ontology
- [9] LinkML — Linked Data Modeling Language
Avouch 采用的规范与约定
- [10] JSON Schema — Draft 2020-12 (the schema dialect)
- [11] llmstxt.org — The /llms.txt convention (our agent guide follows it)