This work has important implications for many kinds of distributed semantic systems, such as shared web ontologies, agent communication protocols, collaborative tagging, database schema integration, and biological networks.