A semantic web approach to handling soft constraints in virtual organisations

In this paper we present a proposal for representing soft constraint satisfaction problems (CSPs) within the Semantic Web architecture. The proposal is motivated by the need for a service-providing agent in a virtual organisation to reason about its commitments as soft constraints. The three essential requirements addressed are: (1) the need to have constraints express commitments in terms of Semantic Web services, (2) the need to associate utility values with constraints, to reflect the relative importance of satisfying them, and (3) the need to make statements about which constraints are satisfied and violated by a given solution. The proposal builds upon previous work in defining a Semantic Web Constraint Interchange Format (CIF), which itself builds on the proposed Semantic Web Rule Language (SWRL). The paper describes an ontology for representing soft CSPs and their solutions, allowing an agent's set of commitments to be expressed as a collection of soft constraints. The ontology is an open interchange format for soft CSPs, allowing commitment to be communicated and exchanged among the members of a virtual organisation.

[1]  Ian Horrocks,et al.  A proposal for an owl rules language , 2004, WWW '04.

[2]  Thomas Schiex,et al.  Semiring-Based CSPs and Valued CSPs: Basic Properties and Comparison , 1995, Over-Constrained Systems.

[3]  Hans W. Guesgen,et al.  Heuristics for solving fuzzy constraint satisfaction problems , 1995, Proceedings 1995 Second New Zealand International Two-Stream Conference on Artificial Neural Networks and Expert Systems.

[4]  Alun D. Preece,et al.  Constraints as Mobile Specifications in E-Commerce Applications , 2001, DS-9.

[5]  Alun D. Preece,et al.  Commitment management through constraint reification , 2004, Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems, 2004. AAMAS 2004..

[6]  Alun D. Preece,et al.  GraniteNights - A Multi-agent Visit Scheduler Utilising Semantic Web Technology , 2003, CIA.

[7]  H. Lan,et al.  SWRL : A semantic Web rule language combining OWL and ruleML , 2004 .

[8]  Kenneth N. Brown.  Soft Consistencies for Weighted CSPs , 2003 .

[9]  Alun D. Preece,et al.  CONOISE: Agent-Based Formation of Virtual Organisations , 2003, SGAI Conf..

[10]  Christophe Lecoutre,et al.  Description and Representation of the Problems selected for the First International Constraint Satisfaction Solver Competition , 2005 .

[11]  Nick Bassiliades,et al.  CoLan: A Functional Constraint Language and its Implementation , 1995, Data Knowl. Eng..

[12]  Richard J. Wallace,et al.  Partial Constraint Satisfaction , 1989, IJCAI.

[13]  Alun D. Preece,et al.  Agent-based virtual organisations for the Grid , 2005, AAMAS '05.

[14]  Alun D. Preece,et al.  Experience in Using RDF in Agent-Mediated Knowledge Architectures , 2003, AMKM.

[15]  Chris Swan,et al.  Position Paper for W3C Workshop on Rule Languages for Interoperability , 2005, Rule Languages for Interoperability.