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

14 February 2020

Papers citing "Satisfiability and Query Answering in Description Logics with Global and Local Cardinality Constraints"

3 / 3 papers shown

Title
Lutz's Spoiler Technique Revisited: A Unified Approach to Worst-Case Optimal Entailment of Unions of Conjunctive Queries in Locally-Forward Description Logics Bartosz Bednarczyk 15 1 0 12 Aug 2021
The Price of Selfishness: Conjunctive Query Entailment for ALCSelf is 2ExpTime-hard Bartosz Bednarczyk Sebastian Rudolph 27 1 0 29 Jun 2021
Statistical EL is ExpTime-complete Bartosz Bednarczyk 15 1 0 02 Nov 2019