I've started reading the OWL draft specification. Having the sets all and nothing (owl:Thing and owl:Nothing) reminded me a lot of lattices. I wonder if they will do things like using lattice multiplication across ontologies.
Formal Concept Analysis: Mathematical Foundations:
OWL Web Ontology Language 1.0 Reference: