Generic Ontology-Based Model for Adaptive Web Environments: A Revised Formal Description Explained within the Context of Its Implementation | IEEE Conference Publication | IEEE Xplore