Description of Developed Prototypes
The system DIKE (Database Intensional Knowledge Extractor)
CooPPS - A system for the Cooperative Prediction of Protein Structures
SME - Structured Motif Extraction from genome data sets - (substituted by L-SME)
DL-SME - Flexible Motif Discovery with (Extended) Disjunctive Logic Programming - (available on-line as Web Server) - A more efficient version in L-SME
DLVDB - Allows the efficient evaluation of logic (datalog) programs directly on databases and provides import/export features for handling data residing in (distributed) databases within the well known logic system DLV (available for download)
L-SME - Loosely Structured Motif Extraction from genome data sets - (available on-line as Web Server)