76 citations · 512 across the 33 of their papers we have counts for
7 papers · 1 filter
First Order-Rewritability and Containment of Conjunctive Queries in Horn Description Logics
Meghyn Bienvenu, Peter Hansen, Carsten Lutz +1
We study FO-rewritability of conjunctive queries in the presence of ontologies formulated in a description logic between EL and Horn-SHIF, along with related query containment prob…
From Conjunctive Queries to Instance Queries in Ontology-Mediated Querying
Cristina Feier, Carsten Lutz, Frank Wolter
We consider ontology-mediated queries (OMQs) based on expressive description logics of the ALC family and (unions) of conjunctive queries, studying the rewritability into OMQs base…
Separating Positive and Negative Data Examples by Concepts and Formulas: The Case of Restricted Signatures
Jean Christoph Jung, Carsten Lutz, Hadrien Pulcini +1
We study the separation of positive and negative data examples in terms of description logic (DL) concepts and formulas of decidable FO fragments, in the presence of an ontology. I…
Living Without Beth and Craig: Definitions and Interpolants in Description and Modal Logics with Nominals and Role Inclusions
Alessandro Artale, Jean Christoph Jung, Andrea Mazzullo +2
The Craig interpolation property (CIP) states that an interpolant for an implication exists iff it is valid. The projective Beth definability property (PBDP) states that an explici…
Logical Separability of Labeled Data Examples under Ontologies
Jean Christoph Jung, Carsten Lutz, Hadrien Pulcini +1
Finding a logical formula that separates positive and negative examples given in the form of labeled data items is fundamental in applications such as concept learning, reverse eng…
Living without Beth and Craig: Definitions and Interpolants in the Guarded and Two-Variable Fragments
Jean Christoph Jung, Frank Wolter
In logics with the Craig interpolation property (CIP) the existence of an interpolant for an implication follows from the validity of the implication. In logics with the projective…