Formalizing and Leveraging Domain Knowledge in the K4CARE Home Care Platform | Publicación