For instance，O={C \subclass D, D \subclass E}，\alpha为C \subclass E，则根据DL的语义解释，无论I为什么，只要I满足O，则I也满足\alpha，即O \entail \alpha
这是因为，如果解释I满足O则：
C^I \subseteq D^I(C^I 为D^I的子集)并且D^I \subseteq E^I，根据集合关系，则C^I \subseteq E^I，所以I同样也满足\alpha，O和\alpha之间的蕴涵关系是不以I的具体内容而改变。也就是说，无论你把I的\domain设为自然数，老师，基因等，把C、D和E在该\domain中如何解释，O \entail \alpha是恒成立的。