Satisfiability Checking and Conjunctive Query Answering in Description Logics with Global and Local Cardinality Constraints

PublikationenPublications

• Nach AutorBy Author
  • Bartosz BednarczykBartosz Bednarczyk
  • Franz BaaderFranz Baader
  • Sebastian RudolphSebastian Rudolph
• Nach ForschungsgruppeBy Research Group
  • Computational LogicComputational Logic

Toggle side column

Satisfiability Checking and Conjunctive Query Answering in Description Logics with Global and Local Cardinality Constraints

Bartosz BednarczykBartosz Bednarczyk,  Franz BaaderFranz Baader,  Sebastian RudolphSebastian Rudolph

• Download

Bartosz Bednarczyk, Franz Baader, Sebastian Rudolph
Satisfiability Checking and Conjunctive Query Answering in Description Logics with Global and Local Cardinality Constraints
Technical Report, Computational Logic Group, 2019

• Details
• Bibtex

• Forschungsgruppe:Research Group: Computational LogicComputational Logic

@techreport{BBR2019,
  author      = {Bartosz Bednarczyk and Franz Baader and Sebastian Rudolph},
  title       = {Satisfiability Checking and Conjunctive Query Answering in
                 Description Logics with Global and Local Cardinality
                 Constraints},
  institution = {Computational Logic Group},
  year        = {2019}
}