本研究提出了一种基于SHACL和SKOS的混合本体，解决了制药行业材料安全数据表（SDS）信息集中化和访问困难的问题，提升了化学品安全沟通与合规性，促进了数据共享与整合效率。

本研究分析了图形模式语言（SHACL、ShEx和PG-Schema）的共性与差异，提供了统一框架，明确核心组件及其功能，帮助用户选择合适工具以提升数据质量。

本文介绍了与一阶逻辑（FOL）和本体推理相关的工具和方法，包括 Gavel、Shape Expressions Language 2.0、FOLIO 数据集和 LogicLLaMA 算法。这些研究旨在提高自然语言推理的有效性和准确性，并探讨自然语言与逻辑规则之间的转换。

本文介绍了RDF图的词汇和结构，以及限制节点属性和值的表达式语言Shape Expressions Language 2.0中的shapes schemas。作者证明了允许负数和递归调用的模式符合语法限制，并提出了两个验证算法和实现指南。