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

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}
}