Avouch Studio
ZH
打开本体

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
显示
类图用平实语言表述的限制各语言的标签命令状态机来源引文

从这里开始

打开本体

示例

打开一个,四处看看

每个示例都附有三件可以试试的事。

Orchard

OWL · Turtle

植物、树、地块和园丁,带有 OWL 限制。

  1. 1点击 FruitTree。 它的限制显示为文字:bears some Fruit、planted in only Plot。
  2. 2点击 Gardener。 基数显示为文字:tends min 1 Tree、tends max 5。
  3. 3点击 Plant。 其他语言的标签保留语言标记:"Plante"@fr。

FOAF

RDF · RDF/XML

公开的 Friend of a Friend 词汇表(FOAF 0.99,© 2000–2014 Dan Brickley 和 Libby Miller,CC BY 1.0)。

  1. 1查看对象图。 一个已发布的词汇表:只有类和属性,没有命令。
  2. 2点击 Person。 它的数据属性及其值域,以及从 Person 出发或指向 Person 的关联。
  3. 3找一找“命令 × 对象”页签。 没有这个页签:RDF 和 OWL 描述存在什么,不描述它可能发生什么。

图书借阅

Avouch · YAML

会员借阅物品;一笔借阅从借出持续到归还。

  1. 1点击 Loan。 每个属性都显示它所依据的来源引文。
  2. 2打开“Loan 状态”,点击 ACTIVE → LOST。 没有命令执行这个迁移,文件写明了原因。
  3. 3打开“命令 × 对象”,点击 CHECKOUT_ITEM。 它创建 Loan、编辑 Item,需要权限键 loan:create。

网上订单

Avouch · YAML

订单从下单到送达的生命周期。

  1. 1打开“Order 状态”。 每个箭头都标出执行它的命令。
  2. 2点击 DELIVERED → RETURNED。 没有命令执行它;文件写明了原因。
  3. 3打开“命令 × 对象”。 PAY_ORDER 创建 Payment;SHIP_ORDER 只读取它。

诊所就诊

Avouch · YAML

患者、医护人员和就诊;谁可以确认什么。

  1. 1点击 CONFIRM_VISIT。 权限是 any_of:护士权限键或医生权限键。
  2. 2点击 SCHEDULE_VISIT。 它对关联 visit_clinician 的影响标为 unspecified,并写明来源没有说清的内容。
  3. 3阅读总览(不选中任何内容)。 已知来源缺口 G1 记录了两个来源不一致的地方,以及建议的修正。

一个有错误的文件

Avouch · YAML

一个故意带有 schema 错误的小文件。

  1. 1看 schema 标记。 schema 校验失败,并统计错误数:schema ✗ 4。
  2. 2点击一条错误。 它显示路径和 schema 的要求,并打开对应条目。
  3. 3把鼠标悬停在字段旁的 ? 上。 它显示 schema 中该字段的说明。

OWL 之外 · Avouch

实验草案

开放标准描述存在什么,很少描述它可能发生什么。

Avouch 是可选的:Studio 可以直接处理普通的 OWL 和 RDF。Avouch 面向自己构建系统的团队:他们以设计文档为权威,把本体当作可检查的系统规格;当代码由 AI 编写时,这一点最重要。本体描述的系统运行在别处,所以这个格式检查文档、本体和代码没有彼此偏离。

Palantir Foundry Ontology

本体就是运行中的系统

命令通过平台本身提交修改,所以声明的写入在构造上就是实际的写入。格式规范不公开,也没有一等的状态机。

来源 [1] [2] [3] [4]

Microsoft Fabric IQ ontology(预览版)

绑定到你的数据的语义层

业务规则是 agent 推理时使用的自然语言陈述。没有可供检查的命令或状态迁移。

来源 [5]

W3C OWL 2 · SHACL · LinkML

数据和知识,而不是行为

没有命令、前置条件或迁移。OWL 把缺失的事实当作未知;SHACL 检查封闭世界的数据;来源追溯需要另一套词汇表(PROV-O)。

来源 [6] [7] [8] [9]

这个格式补充了什么

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. [1] Palantir — Ontology overview
  2. [2] Palantir — Action types overview
  3. [3] Palantir — Submission criteria
  4. [4] Palantir — Function-backed actions
  5. [5] Microsoft Fabric IQ — What is ontology (preview)

开放标准

  1. [6] W3C — OWL 2 Web Ontology Language — Document Overview
  2. [7] W3C — Shapes Constraint Language (SHACL)
  3. [8] W3C — PROV-O: The PROV Ontology
  4. [9] LinkML — Linked Data Modeling Language

Avouch 采用的规范与约定

  1. [10] JSON Schema — Draft 2020-12 (the schema dialect)
  2. [11] llmstxt.org — The /llms.txt convention (our agent guide follows it)