Separating Positive and Negative Data Examples by Concepts and Formulas: The Case of Restricted Signatures

no code implementations • 6 Jul 2020 • Jean Christoph Jung, Carsten Lutz, Hadrien Pulcini, Frank Wolter

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.

Negation

Logical Separability of Labeled Data Examples under Ontologies

no code implementations • 3 Jul 2020 • Jean Christoph Jung, Carsten Lutz, Hadrien Pulcini, Frank Wolter

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 engineering of database queries, generating referring expressions, and entity comparison in knowledge graphs.

Knowledge Graphs Negation