SOUPA (Standard Ontology for Ubiquitous and Pervasive Applications) is "a set of ontologies for supporting pervasive computing applications.". It seems very promising.