TRI-DEDALO
Triples, Deduction, Data and Logic
TRI-DEDALO is a deductive database created to query and update RDF based knowledge sources and traditional relational databases.