Logic as a Power Tool to Model Negotiation Mechanisms in the Semantic Web Era.

摘要: The key theme of our research is the modeling multi-attribute negotiation scenarios with aid logic languages, going from very simple (and not so expressive) languages as propositional up to more expressive logics, such Description Logics (DLs). approach we are investigating on exploits at least in two ways: (1) model, through an ontology, relations between attributes be negotiated and (2) characterize buyer seller preferences. Some advantages intuitive: possibility model disjontness, implication, utilities bundle issues all useful settings where limited undifferentiated goods but based complex descriptions that require adequate mechanisms produce —in automated way— fair deals. problem both challenging timely for Semantic Web initiative, because undeniable importance e-commerce over core languages. Indeed, many recent efforts have been focused various contexts, including e-marketplaces, resource allocation settings, online auctions, supply chain management and, generally speaking, e-business processes. We think that, it will outlined next sections, DLs can pivotal tool tumultuous arena.