Jerzy Marcinkowski

most citedBag Semantics Conjunctive Query Containment. Four Small Steps Towards Undecidability

2 citations · 2 across the 1 of their papers we have counts for

collaborators

Showing cs.LOShow all

1 paper · 1 filter

cs.LO2025

On the entailment problem for DL-Lite $_{cor e}$ ontologies and conjunctive queries with negation

Jerzy Marcinkowski, Piotr Ostropolski-Nalewaja

We show that the entailment problem, for a given entailment problem for DL-Lite $_{cor e}$ ontology, and given conjunctive query with inequalities, is undecidable. We also show that…

On the entailment problem for DL-Litecore​ ontologies and conjunctive queries with negation

On the entailment problem for DL-Lite $_{cor e}$ ontologies and conjunctive queries with negation