Logical Separability of Labeled Data Examples under Ontologies



Jung, Jean Christoph, Lutz, Carsten, Pulcini, Hadrien and Wolter, Frank
(2020) Logical Separability of Labeled Data Examples under Ontologies. In: International Conference on Principles of Knowledge Representation and Reasoning, 2020-9-10 - 2020-9-16, Rhodes.

[img] Text
KR2020separation.pdf - Author Accepted Manuscript

Download (365kB) | Preview

Abstract

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. In this paper, we investigate the existence of a separating formula for data in the presence of an ontology. Both for the ontology language and the separation language, we concentrate on first-order logic and the following important fragments thereof: the description logic $\mathcal{ALCI}$, the guarded fragment, the two-variable fragment, and the guarded negation fragment. For separation, we also consider (unions of) conjunctive queries. We consider several forms of separability that differ in the treatment of negative examples and in whether or not they admit the use of additional helper symbols to achieve separation. Our main results are model-theoretic characterizations of (all variants of) separability, the comparison of the separating power of different languages, and the investigation of the computational complexity of deciding separability.

Item Type: Conference or Workshop Item (Unspecified)
Additional Information: Full Version of KR'20 paper
Uncontrolled Keywords: cs.LO, cs.LO, cs.AI, I.2.4; F.4.1
Depositing User: Symplectic Admin
Date Deposited: 06 Jul 2020 10:59
Last Modified: 18 Jan 2023 23:47
Related URLs:
URI: https://livrepository.liverpool.ac.uk/id/eprint/3092806