KAoS policy and domain services: toward a description-logic approach to policy representation, deconfliction, and enforcement | IEEE Conference Publication | IEEE Xplore