Semantic formal reasoning solution for personalized home telecare

Author

Kuusik, Alar ; Reilent, Enar ; Lõõbas, Ivor ; Parve, Marko

Author_Institution

ELIKO Technol. Competence Centre, Tallinn, Estonia

fYear

2010

fDate

10-12 Sept. 2010

Firstpage

72

Lastpage

76

Abstract

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.

Keywords

PROLOG; formal verification; health care; knowledge based systems; medical information systems; ontologies (artificial intelligence); patient monitoring; telemedicine; ubiquitous computing; Prolog program; SNOMED medical terminology system; context awareness; e-health system; environment monitoring; home digital TV receiver; ontology; personalized data processing; personalized home telecare; rule-based reasoning; semantic formal reasoning solution; telehealth care system; Biomedical monitoring; Computers; Medical services; Monitoring; Semantics; Simple object access protocol; TV; agent based software; ontology; rule based reasoning; smart home; telecare;

fLanguage

English

Publisher

ieee

Conference_Titel

Mechanical and Electrical Technology (ICMET), 2010 2nd International Conference on

Conference_Location

Singapore

Print_ISBN

978-1-4244-8100-2

Electronic_ISBN

978-1-4244-8102-6

Type

conf

DOI

10.1109/ICMET.2010.5598496

Filename

5598496