Stav dette: Formal ontology in information systems :