An Ontology-Based Domain Modeling and Device Search in Smart Home | IEEE Conference Publication | IEEE Xplore