In this paper we present some views on ontologies and assessments, and the relation between logic and guidelines within municipal decision-making in elderly care. Logic is seen, on the one hand, as carrier of information, and, on the other hand, as including mechanisms for inference as underlying decision-making. The ontology and logic for the framework is based on a non-classical typing system where uncertainty is canonically developed in a category theory framework involving term monads both composed with other monads, and as viewed over other categories than just the category of sets. The main question is where uncertainty actually resides, so that they are canonically retrieved rather than amalgamated in ad hoc approaches.