1

I know that reasoning doesn't work in general when combining SWRL and OWL2 because the combination is not decidable. However, it is decidable when only certain things/rules are used. So assuming I only want to use the SWRL math built-ins, is decibability given or not?

quarky
  • 333
  • 1
  • 2
  • 12
  • no, because you could still use a non-simple role in the ontology in a rule that defines its transitivity, which is, among others, a clear indicator for undecidability in SROIQ – UninformedUser Mar 13 '20 at 06:56

0 Answers0