Papers
Communities
Events
Blog
Pricing
Search
Open menu
Home
Papers
2002.06072
Cited By
Satisfiability and Query Answering in Description Logics with Global and Local Cardinality Constraints
14 February 2020
F. Baader
Bartosz Bednarczyk
Sebastian Rudolph
Re-assign community
ArXiv (abs)
PDF
HTML
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
13
1
0
12 Aug 2021
The Price of Selfishness: Conjunctive Query Entailment for ALCSelf is 2ExpTime-hard
Bartosz Bednarczyk
Sebastian Rudolph
25
1
0
29 Jun 2021
Statistical EL is ExpTime-complete
Bartosz Bednarczyk
13
1
0
02 Nov 2019
1