Logical separability of labeled data examples under ontologies

Jung, JC; Lutz, C; Pulcini, H; Wolter, F

Jung, JC (通讯作者),Univ Hildesheim, Inst Comp Sci, Hildesheim, Germany.

ARTIFICIAL INTELLIGENCE, 2022; 313 ():