Exploiting semantic technology in computational logic-based service contracting