是否有可能在语义网中实现数学推理？

Question

例如：我们有前提a < b和b < c，您能在Semanric网站中推断出a < c吗？

Answer 1

在推理者的帮助下，将a，b和c视为OWL类（它们与集合理论中的集相当），你可以做到。< / p>

例如，以下本体代表您的前提：

Class: a
  SubClassOf: b

Class: b
  SubClassOf: c

Class: c

现在，如果您要查询c的子类（直接和间接），则会检索a和b，表明a是子类（{ {1}}的{​​{1}}没有明确的断言。

请注意，如果您想根据⊂，c和a的值推断信息，也可以使用语义Web规则语言。您可以查看b或c。