DL-Lite: tractable description logics for ontologies | Synapse