Experimentation with local consensus ontologies with implications for automated service composition | IEEE Journals & Magazine | IEEE Xplore