title: Spatiotemporal reasoning about epidemiological data.
abstract: OBJECTIVE
  In this article, we propose new methods to visualize and reason about spatiotemporal epidemiological data.
  
  
  BACKGROUND
  Efficient computerized reasoning about epidemics is important to public health and national security, but it is a difficult task because epidemiological data are usually spatiotemporal, recursive, and fast changing hence hard to handle in traditional relational databases and geographic information systems.
  
  
  METHODS
  We describe the general methods of how to (1) store epidemiological data in constraint databases, (2) handle recursive epidemiological definitions, and (3) efficiently reason about epidemiological data based on recursive and non-recursive Structured Query Language (SQL) queries.
  
  
  RESULTS
  We implement a particular epidemiological system called West Nile Virus Information System (WeNiVIS) that enables the visual tracking of and reasoning about the spread of the West Nile Virus (WNV) epidemic in Pennsylvania. In the system, users can do many interesting reasonings based on the spatiotemporal dataset and the recursively defined risk evaluation function through the SQL query interfaces.
  
  
  CONCLUSIONS
  In this article, the WeNiVIS system is used to visualize and reason about the spread of West Nile Virus in Pennsylvania as a sample application. Beside this particular case, the general methodology used in the implementation of the system is also appropriate for many other applications. Our general solution for reasoning about epidemics and related spatiotemporal phenomena enables one to solve many problems similar to WNV without much modification.
authors.affiliation: Department of Computer Science and Engineering, University of Nebraska-Lincoln, Lincoln, NE 68588, USA. revesz@cse.unl.edu
authors.forename: Peter
authors.initials: P
authors.lastname: Revesz
authors.forename: Shasha
authors.initials: S
authors.lastname: Wu
mesh_terms: D000818:Animals; D001185:Artificial Intelligence; D009033:Culicidae; D016208:Databases, Factual; D004812:Epidemiologic Methods; D006801:Humans; D012307:Risk Factors; D012985:Software Design; D013997:Time Factors; D014584:User-Computer Interface; D014901:West Nile Fever / Q000453:epidemiology / Q000821:virology; D014902:West Nile virus / Q000502:physiology