Picture for Bartosz Bednarczyk

Bartosz Bednarczyk

Data Complexity in Expressive Description Logics With Path Expressions

Add code
Jun 11, 2024
Viaarxiv icon

Exploring Non-Regular Extensions of Propositional Dynamic Logic with Description-Logics Features

Add code
Jul 19, 2023
Viaarxiv icon

Lutz's Spoiler Technique Revisited: A Unified Approach to Worst-Case Optimal Entailment of Unions of Conjunctive Queries in Locally-Forward Description Logics

Add code
Aug 12, 2021
Figure 1 for Lutz's Spoiler Technique Revisited: A Unified Approach to Worst-Case Optimal Entailment of Unions of Conjunctive Queries in Locally-Forward Description Logics
Figure 2 for Lutz's Spoiler Technique Revisited: A Unified Approach to Worst-Case Optimal Entailment of Unions of Conjunctive Queries in Locally-Forward Description Logics
Figure 3 for Lutz's Spoiler Technique Revisited: A Unified Approach to Worst-Case Optimal Entailment of Unions of Conjunctive Queries in Locally-Forward Description Logics
Viaarxiv icon

The Price of Selfishness: Conjunctive Query Entailment for ALCSelf is 2ExpTime-hard

Add code
Jun 29, 2021
Figure 1 for The Price of Selfishness: Conjunctive Query Entailment for ALCSelf is 2ExpTime-hard
Viaarxiv icon

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

Add code
Feb 14, 2020
Figure 1 for Satisfiability and Query Answering in Description Logics with Global and Local Cardinality Constraints
Figure 2 for Satisfiability and Query Answering in Description Logics with Global and Local Cardinality Constraints
Figure 3 for Satisfiability and Query Answering in Description Logics with Global and Local Cardinality Constraints
Viaarxiv icon

Statistical EL is ExpTime-complete

Add code
Nov 02, 2019
Figure 1 for Statistical EL is ExpTime-complete
Viaarxiv icon