食品行业本体（FlyOntOS） v1.0.0

面向食品产业的领域本体与知识图谱（FlyOntOS）：以六大域顶层抽象（原料域、产品域、供应链域、食品安全域、法规标准域、经营场景域）承载食品产业全链条知识，196 类 / 48 对象属性 / 12 数据属性 / 62 个实例个体，1142 条三元组，命名空间 http://www.flyontos.cn/ontology/food#。核心建模：20 对对象属性互逆对（inverseOf）实现双向检索与推理路径闭合；5 条 OWL 约束支持自动分类（动物源性原料 requiresQuarantine=true、需标注过敏原产品、食品产品必须有原料构成、食品添加剂受国标约束）；2 组不相交声明（冷冻肉 ⊥ 冷鲜肉、生鲜肉制品 ⊥ 肉制品加工品）维护一致性；对称属性 substitutableWith 支持原料双向替代推理；跨域关联公理（法规标准域 ⊑ 产品域 ∩ 供应链域、食品安全域 ⊑ 供应链域、经营场景域 ⊑ 食品安全域）实现端到端跨域推理。实例覆盖双汇工厂、牧原屠宰场、王中王火腿肠、卫龙辣条、预制红烧肉等产品链（含原料、添加剂限量、过敏原、工艺、批次与食品安全事件、召回动作），并定义 8 类智能体（供应商评估/合规审查/召回执行/库存盘点/物流追踪/配方合规/销售监控/食安扫描）为多智能体体系提供语义地基。配套出海合规专项本体（37 类，遵循 GB/T 48000.3-2026，SWRL R1 超限/R2 禁用/R3 贸易集团传导 + Python 数值规则引擎，HermiT 推理 NonCompliantProduct）与跨境物流专项本体（16 类，TransportLeg/Port/Carrier/CustomsRequirement/LogisticsPlan 等，支撑冷链多式联运方案比选）。