Don’t Repeat Yourself: Termination of the Skolem Chase on Disjunctive Existential Rules

PublikationenPublications

• Nach AutorBy Author
  • Lukas GerlachLukas Gerlach
• Nach ForschungsgruppeBy Research Group
  • Wissensbasierte SystemeKnowledge-Based Systems

Toggle side column

Don’t Repeat Yourself: Termination of the Skolem Chase on Disjunctive Existential Rules

Lukas GerlachLukas Gerlach

Don’t Repeat Yourself: Termination of the Skolem Chase on Disjunctive Existential Rules

• Download

Lukas Gerlach
Don’t Repeat Yourself: Termination of the Skolem Chase on Disjunctive Existential Rules
Project Thesis, TU Dresden, September 2020

• Details
• Bibtex

• Forschungsgruppe:Research Group: Wissensbasierte SystemeKnowledge-Based Systems

@misc{G2020,
  author = {Lukas Gerlach},
  title  = {Don’t Repeat Yourself: Termination of the Skolem Chase on
            Disjunctive Existential Rules},
  year   = {2020},
  month  = {September}
}