Representation and reasoning for DAML-based policy and domain services in KAoS and nomads