【发布时间】：2013-04-24 09:18:19
【问题描述】：
例如：我们有前提a < b和b < c，你能在语义网中推导出a < c吗？
【问题讨论】：
标签： semantic-web reasoning swrl
【发布时间】：2013-04-24 09:18:19
【问题描述】：
在推理器的帮助下，通过将 a、b 和 c 视为 OWL 类（相当于集合论中的集合），您可以做到。
例如，以下本体代表您的前提：
Class: a
SubClassOf: b
Class: b
SubClassOf: c
Class: c
现在，如果您要查询 c 的子类（直接和间接），您将检索到 a 和 b，这表明 a 是 c 的子类 (⊂)，没有显式断言。
请注意，如果您想根据 a、b 和 c 的值推断信息，也可以使用语义 Web 规则语言。您可以查看swrlb:greaterThan 或swrlb:smallerThan。
【讨论】：
-
你有没有在 protege 中使用 SWRL 的例子？我在互联网上找不到使用 SWRL 的数学函数的可执行示例。