Nominals, Inverses, Counting, and Conjunctive Queries or: Why Infinity is your Friend

Sebastian RudolphSebastian Rudolph, Birte GlimmBirte Glimm

Sebastian Rudolph, Birte Glimm
Nominals, Inverses, Counting, and Conjunctive Queries or: Why Infinity is your Friend
Technical Report, Technischen Universität Dresden, 2014

Details
Bibtex

Forschungsgruppe:Research Group: Computational LogicComputational Logic

@techreport{RG2014,
  author      = {Sebastian Rudolph and Birte Glimm},
  title       = {Nominals, Inverses, Counting, and Conjunctive Queries or: Why
                 Infinity is your Friend},
  institution = {Technischen Universit{\"{a}}t Dresden},
  year        = {2014}
}