Find centralized, trusted content and collaborate around the technologies you use most.
Teams
Q&A for work
Connect and share knowledge within a single location that is structured and easy to search.
我知道在组合 SWRL 和 OWL2 时推理通常不起作用,因为组合是不可判定的。然而,当仅使用某些事物/规则时是可判定的。因此,假设我只想使用SWRL 数学内置函数,是否给出了可分性?