1. Logical separability of incomplete data under ontologies;Jung,2020
2. Learning description logic concepts: when can positive and negative examples be separated?;Funk,2019
3. Separating data examples by description logic concepts with restricted signatures;Jung,2021
4. A refinement operator for description logics;Badea,2000
5. Ideal downward refinement in the EL description logic;Lehmann,2009