Решаема ли математика в OWL2 + SWRL? - PullRequest
1 голос
/ 12 марта 2020

Я знаю, что при объединении SWRL и OWL2 в общем случае рассуждения не работают, потому что эта комбинация не разрешима. Тем не менее, это разрешимо, когда используются только определенные вещи / правила. Таким образом, при условии, что я хочу использовать только математические встроенные функции SWRL , указана децибильность или нет?

...