L2 · 元层(沿用 W3C)
元本体 · OWL / RDFS
规定:什么叫类、子类、对象属性、互斥、定义域/值域……Protégé / HermiT 都懂这套。
owl:Class
rdfs:subClassOf
owl:ObjectProperty
owl:disjointWith
不是再发明一套「什么叫类」。标准 OWL / RDFS 已经是元层;AYXK 的 ayxk-v1.owl 站在它上面填领域内容。
规定:什么叫类、子类、对象属性、互斥、定义域/值域……Protégé / HermiT 都懂这套。
世界里有 Decision、Goal、Topic……以及 asks / chooses 这些边名。这是概念层菜谱。
具体故事:「主存储选型」这条决策、某条 chooses 边。本体页里没有这些行。
沿用 OWL 当元本体;只维护 ayxk-v1.owl 领域词表。网页把三层说清即可,不必手搓第二份「定义 Class 的 OWL」。
自造一套非 OWL 的写法、或「元元本体」文件去定义 owl:Class——除非要写本体编辑器、多本体交换标准。
自我模型是「我是谁 / 能干什么 / 禁令」的可查询户口(见自我模型清单),不是「怎么写本体」这一层。