Associates a Database Management System (DBMS) with supported declarative Reasoning & Inference Languages.