1

我知道在组合 SWRL 和 OWL2 时推理通常不起作用,因为组合是不可判定的。然而,当仅使用某些事物/规则时是可判定的。因此,假设我只想使用SWRL 数学内置函数,是否给出了可分性?

4

0 回答 0