Making Data Meaningful: The Business Intelligence Model and its Formal Semantics in Description Logics