Alexander Paar Jürgen Reuter John Soldatos Kostas Stamatis Lazaros Polymenakos A Formally Specified Ontology Management API as a Registry for Ubiquitous Computing Systems. 137-146 2006 conf/ifip12/2006aiai AIAI http://dx.doi.org/10.1007/0-387-34224-9_16 db/conf/ifip12/aiai2006.html#PaarRSSP06