1 citations · 2 across the 3 of their papers we have counts for
3 papers
Separating Data Examples by Description Logic Concepts with 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 concepts in the presence of an ontology. In contrast to previous work, we add a signatu…
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…
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…