DL-safe rules

DL-safe rules are a way to ensure that logical rules used in data systems only operate on data that is actually available within the system's database, without relying on external information. This makes reasoning processes more efficient and reliable because they only consider data that the system can access directly. In practical terms, DL-safe rules prevent the system from making assumptions about data it can't verify, ensuring consistent and accurate inference within the known dataset.