Patrick Stickler's Concise Bounded Descriptions are shaping up to be pretty useful, especially when aggregating RDF from disparate sources. The specification now has its own page and I notice that Patrick has refined the rules for including blank nodes in the CBD. Now, if the blank node has any owl:InverseFunctionalProperty predicates, only those are included in the CBD and everything else is dropped. This makes smushing much much easier since you have less issues around resolving property conflicts, e.g. people's names in foaf:knows relationships.