The key idea is to represent and model triples and rules in a unified framework.
triples are represented as atomic formulae and modeled by the translation assumption, while rules represented as complex formulae and modeled by t-norm fuzzy logics.