Formal ontology in information systems - Donnelly, Maureen; Guizzardi, Giancarlo (Frontiers in artificial intelligence and applications, 2012)