OWL-DL as a power tool to model negotiation mechanisms with incomplete information