1. Moral Reasoner: Horn-clause model that qualitatively simulates moral reasoning; Theory includes negated literals
2. Student Loan Relational: Student Loan Relational Domain
3. USPTO Algorithm Challenge, run by NASA-Harvard Tournament Lab and TopCoder Problem: Pat: Data used for USPTO Algorithm Competition. Contains drawing pages from US patents with manually labeled figure and part labels.
4. Japanese Credit Screening: Includes domain theory (generated by talking to Japanese domain experts); data in Lisp
5. Molecular Biology (Promoter Gene Sequences): E. Coli promoter gene sequences (DNA) with partial domain theory
6. Perfume Data: This data consists of odors of 20 different perfumes. Data was obtained by using a handheld odor meter (OMX-GR sensor) per second for 28 seconds period.
7. Twin gas sensor arrays: 5 replicates of an 8-MOX gas sensor array were exposed to different gas conditions (4 volatiles at 10 concentration levels each).