DR-BROKERING - a defeasible logic-based system for semantic brokering | IEEE Conference Publication | IEEE Xplore