1 citations · 1 across the 3 of their papers we have counts for
3 papers
cs.DB2026
Property Testing for Recursive Query Languages
Isolde Adler, Carsten Lutz, Quentin Manière +2
In the context of database querying, property testing provides a framework for testing query answers with high confidence while inspecting only a sublinear part of the database, th…
cs.AI2023★ 1 cited
Description Logics with Abstraction and Refinement
Carsten Lutz, Lukas Schulze
Ontologies often require knowledge representation on multiple levels of abstraction, but description logics (DLs) are not well-equipped for supporting this. We propose an extension…
cs.DB2022
Ontology-Mediated Querying on Databases of Bounded Cliquewidth
Carsten Lutz, Leif Sabellek, Lukas Schulze
We study the evaluation of ontology-mediated queries (OMQs) on databases of bounded cliquewidth from the viewpoint of parameterized complexity theory. As the ontology language, we…