Semantic formal reasoning solution for personalized home telecare

Modern home telehealth care systems should support personalized data processing and environment monitoring for context awareness. Semantic rule based approach has been proposed by many authors to overcome problems coming from large amounts of location and patient-specific, typically inconsistent monitoring data. However, existing solutions just present proof of concept and do not address implementation feasibility and practical issues of eHealth system compatibility. We describe a telehealth care solution employing Prolog programs based on defeasible rule-based reasoning and SNOMED medical terminology system deployed in home digital TV receivers.