Logical separability of labeled data examples under ontologies
decidable fragments of first-order logic
scientific article; zbMATH DE number 7613163
scientific article