Local Safety of an Ontology. - Lukás Homola; Julius Stuller (ITAT, 2009)