Techreport,

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

, , and .
Computational Logic Group, (2019)

Meta data

Tags

Users

  • @scadsfct

Comments and Reviews