disjunctive rules

Disjunctive rules are a generalization of existential rules.

Query Answering

In DBLP:journals/corr/abs-1911-03679, some algorithms are studied for existential variable free query answering with guarded disjunctive rules, which is based on the saturation of the rule set into a set of guarded datalog rules. This can be seen as a similar approach as the datalog reduction proposed in DBLP:phd/de/Motik2006, which is applied on SHIQ description logics.

System

  • DLV
  • KAON2

This post accepts webmentions. Do you have the URL to your post?

Otherwise, send your comment on my service.

Or interact from the fediverse with your username:

fediverse logo Share on the Fediverse