DR-BROKERING - a defeasible logic-based system for semantic brokering

Electronic brokering is a good candidate for taking up semantic Web technology. In this paper we study the brokering and matchmaking problem that is, how a requester's requirements and preferences can be matched against a set of offerings collected by a broker. The proposed solution uses the semantic Web standard of RDF to represent the offerings, and a deductive logical language, based on non-monotonic reasoning, for expressing the requirements and preferences. We motivate and explain the approach we propose, and report on a prototypical implementation exhibiting the described functionality, in JADE agent environment.

[1]  Anne H. H. Ngu,et al.  Semantic brokering over dynamic heterogeneous data sources in InfoSleuth/sup TM/ , 1999, Proceedings 15th International Conference on Data Engineering (Cat. No.99CB36337).

[2]  Claudio Bartolini,et al.  A Semantic Web Approach to Service Description for Matchmaking of Services , 2001, SWWS.

[3]  Guido Governatori,et al.  DR-NEGOTIATE - a system for automated agent negotiation with defeasible logic-based strategies , 2005, 2005 IEEE International Conference on e-Technology, e-Commerce and e-Service.

[4]  Michael J. Maher,et al.  Efficient defeasible reasoning systems , 2000, Proceedings 12th IEEE Internationals Conference on Tools with Artificial Intelligence. ICTAI 2000.

[5]  Ian Horrocks,et al.  A software framework for matchmaking based on semantic web technology , 2003, WWW '03.

[6]  Nicholas R. Jennings,et al.  On Agent-Mediated Electronic Commerce , 2003, IEEE Trans. Knowl. Data Eng..

[7]  Vassilis Christophides,et al.  The ICS-FORTH RDFSuite: Managing Voluminous RDF Description Bases , 2001, SemWeb.

[8]  Michael J. Maher,et al.  Representation results for defeasible logic , 2000, TOCL.

[9]  Michael J. Maher,et al.  An Argumentation-Theoretic Characterization of Defeasible Logic , 2000, ECAI.

[10]  Dan Brickley,et al.  Rdf vocabulary description language 1.0 : Rdf schema , 2004 .

[11]  D. A Jardine,et al.  Concepts and terminology for the conceptual schema and the information base , 1984 .

[12]  Gerd Wagner,et al.  A System for Nonmonotonic Rules on the Web , 2004, RuleML.

[13]  Wei-Tek Hsu,et al.  Towards Web Automation by Integrating Semantic Web and Web Services , 2003, WWW.

[14]  Michael J. Maher.  Under consideration for publication in Theory and Practice of Logic Programming 1 Propositional Defeasible Logic has Linear Complexity , 2004 .

[15]  A.H.M. ter Hofstede,et al.  Information modelling in data intensive domains , 1993 .

[16]  Ian Horrocks,et al.  Description logic programs: combining logic programs with description logic , 2003, WWW '03.

[17]  Michael J. Maher.  A Model-Theoretic Semantics for Defeasible Logic , 2002, Paraconsistent Computational Logic.

[18]  Pattie Maes,et al.  Agents that buy and sell , 1999, CACM.

[19]  Takahiro Kawamura,et al.  Semantic Matching of Web Services Capabilities , 2002, SEMWEB.

[20]  Jeff Z. Pan,et al.  Rules and Rule Markup Languages for the Semantic Web , 2003, Lecture Notes in Computer Science.

[21]  Katia P. Sycara,et al.  A taxonomy of middle-agents for the Internet , 2000, Proceedings Fourth International Conference on MultiAgent Systems.