Sleep research article
A Logic-based Temporal Cohort Discovery Engine: Algorithms, Indices, and Experimental Results on the National Sleep Research Resource
Authors: Yan Huang , Xiaojin Li , Licong Cui , Guo-Qiang Zhang
One-line summary
A sleep science research article on A Logic-based Temporal Cohort Discovery Engine: Algorithms, Indices, and Experimental Results on the National Sleep Research Resource.
Sleep health notes
Sleep health notes will be added by the Sleepatch editorial team.
中文解读
中文解读待补充：本站会优先为失眠研究、睡眠质量改善、昼夜节律等高价值睡眠研究添加中文说明。
Original abstract
Large sleep-study repositories contain rich time-stamped physiological annotations, but cohort discovery is still commonly implemented as ad hoc scripts or scalar-index filters. We present a logic-based temporal cohort discovery engine that brings formal semantics, model checking, specialized indexing, and empirical evaluation into a unified biomedical informatics framework. We adopt Rational Ensemble Logic (QEL) as a dense-time formal foundation for sleep-data querying and represent each annotated polysomnogram as a Biomedical Event Structure Temporal Model (BEST), a finite mapping from event labels to non-overlapping rational interval ensembles. Cohort discovery is formulated as model checking of QEL formulas over BEST databases. We organize common sleep-research requirements into three reusable temporal query patterns: single-event retrieval, dual-event temporal pattern matching, and event data extraction. The prototype cohort discovery engine was implemented in Python with in-memory and MongoDB-backed execution modes and evaluated on synthetic interval datasets containing up to 90 million intervals and on real-world National Sleep Research Resource annotations from the Cleveland Children's Sleep and Health Study (CCSHS) containing 515 subjects, 202,587 intervals, 23 event labels. 2DFC constructs indexes in linear space and linear build time, reducing build time at 90 million intervals from 11,549 s with RTFC and 23,902 seconds with 2DRT to 3,655 seconds. On CCSHS, cohort-selection queries executed at sub-second latency at native scale and under 45 seconds at 1,000 times scale. This work is a part of the Symbolic Biomedicine program championed by the corresponding author.
Links and sources
This content is provided for informational and educational purposes only and does not constitute medical advice, diagnosis, or treatment. Sleep disorders, chronic insomnia, sleep apnea, and other conditions must be evaluated and treated by a qualified healthcare professional. If you experience persistent or severe sleep problems, consult a licensed physician or sleep specialist. Research cited refers to peer-reviewed studies; individual results may vary. Sleepatch does not endorse any specific medication, supplement, or therapy.
Want a personalized sleep improvement plan?
Sleepatch can prepare a customized sleep wellness program, insomnia relief guide, and evidence-based sleep coaching based on your needs.
Explore sleep services
Comments