OWL2 DL中的rdf:type关系

 rdf:type只能在严格区分的层次下成立，类和个体之间。

也就是说:BaronWayApartment是个体，并且:Apartment是类，这是确之凿凿的事情，不存在的任何的疑问了。

那什么情况下不算严格区分呢？就是书前文里的“双关语”情形，元建模。

OWL2 DL的直接语义不允许元建模，那就不允许双关语，不允许用个体来表达类？！

两次提到OWL2 DL的直接语义，是比较严格的。

暂时这么理解，有问题再改。