Finitist set theory in ontological modeling. - Avril Styrman; Aapo Halko (Appl. Ontology, 2018)