PROACT: An Ontology-Based Model of Privacy Policies in Ambient Intelligence Environments | IEEE Conference Publication | IEEE Xplore