Logical Separability of Incomplete Data under Ontologies