编写OWL中SWRL驾驶年龄推断规则遇语法错误，求解决及参考资源

正确规则示例 #

你需要使用SWRL内置的比较谓词实现年龄范围判断，标准语法如下：

Person(?p), hasAge(?p, ?age), swrlb:greaterThanOrEqual(?age, 18), swrlb:lessThanOrEqual(?age, 65) -> isDriverAge(?p, true)

规则说明 #

• 用swrlb:greaterThanOrEqual和swrlb:lessThanOrEqual这两个SWRL内置谓词替代你之前的方括号语法，这是W3C标准SWRL支持的写法。
• 确保hasAge是数据属性（连接Person实例和xsd:int类型的年龄值）；isDriverAge如果是数据属性，取值应为小写true（符合xsd:Boolean规范），如果是对象属性，需对应一个代表“符合驾驶年龄”的个体。

错误原因 #

你之前使用的xsd:int[>= ...]或int[>= ...]并非标准SWRL语法，属于部分工具的自定义扩展，不具备通用性，因此触发语法错误。

可靠的SWRL编写参考资源 #

• SWRL官方规范：《Semantic Web Rule Language (SWRL) Version 1.0》，W3C发布的官方标准，详细定义了SWRL的语法、内置谓词、与OWL的结合规则。
• Protégé工具文档：Protégé作为主流OWL建模工具，其官方文档包含SWRL规则编写的实操指南、常见场景示例，适合新手快速上手。
• OWL 2官方指南：《OWL 2 Web Ontology Language Guide》中的SWRL章节，讲解如何将规则与本体模型结合，覆盖复杂推理场景。
• Protégé社区教程：社区维护的SWRL入门教程，包含大量数值比较、逻辑组合、属性关联等常见规则的实例，实用性强。

内容的提问来源于stack exchange，提问作者Dave