Ontology-based context inference and query for mobile devices | IEEE Conference Publication | IEEE Xplore