
Semantics for Energy Efficiency in Smart Home Environments ◾ 449
a reasoning conguration class that has only one instance; its properties represent
ponders (signicances of some criteria in choosing optimal tari models). Provider
and EnergyType classes represent providers and energy types that are available
choices for decision making. Important properties of these classes are hasPriori-
tyOrder and hasValue (representing pondered value for provider and energy type;
depend on hasPriorityOrder value and the value of provider–energy type ponder
specied in SelectionCriteriaPonder); TariModel, which represents tari models
to which ...