ResearchTrend.AI
  • Papers
  • Communities
  • Events
  • Blog
  • Pricing
Papers
Communities
Social Events
Terms and Conditions
Pricing
Parameter LabParameter LabTwitterGitHubLinkedInBlueskyYoutube

© 2025 ResearchTrend.AI, All rights reserved.

  1. Home
  2. Papers
  3. 2002.06072
  4. Cited By
Satisfiability and Query Answering in Description Logics with Global and
  Local Cardinality Constraints

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

14 February 2020
F. Baader
Bartosz Bednarczyk
Sebastian Rudolph
ArXiv (abs)PDFHTML

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
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
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
Statistical EL is ExpTime-complete
Bartosz Bednarczyk
15
1
0
02 Nov 2019
1