A declarative integration of terminological, constraint based, data driven, and goal directed reasoningPhilipp HanschkeÉpuisé4,3Prévenez-moi