AYXK

往上推一层:元本体会是什么样

不是再发明一套「什么叫类」。标准 OWL / RDFS 已经是元层;AYXK 的 ayxk-v1.owl 站在它上面填领域内容。

一句话:元本体 = 写法说明书;领域本体 = 菜谱;库里的节点 = 做好的菜。点下面三层看例子。
L2 · 元层(沿用 W3C)

元本体 · OWL / RDFS

规定:什么叫类、子类、对象属性、互斥、定义域/值域……Protégé / HermiT 都懂这套。

owl:Class rdfs:subClassOf owl:ObjectProperty owl:disjointWith
↓ 用上面的语法,写下面的词表
L1 · 领域本体(你们写的)

AYXK · ayxk-v1.owl

世界里有 Decision、Goal、Topic……以及 asks / chooses 这些边名。这是概念层菜谱。

Decision asks Option Entity
↓ 按菜谱往库里落实例
L0 · 实例 / 数据

SQLite nodes / edges

具体故事:「主存储选型」这条决策、某条 chooses 边。本体页里没有这些行。

decision-ayxk-storage 某条边

✓ 我们现在的做法

沿用 OWL 当元本体;只维护 ayxk-v1.owl 领域词表。网页把三层说清即可,不必手搓第二份「定义 Class 的 OWL」。

✗ 现在不必做的「再往上推」

自造一套非 OWL 的写法、或「元元本体」文件去定义 owl:Class——除非要写本体编辑器、多本体交换标准。

✗ 不是自我模型

自我模型是「我是谁 / 能干什么 / 禁令」的可查询户口(见自我模型清单),不是「怎么写本体」这一层。