DR-BROKERING: A semantic brokering system

Authors:
Grigoris Antoniou;Thomas Skylogiannis;Antonis Bikakis;Martin Doerr;Nick Bassiliades
Affiliations:
Institute of Computer Science, FORTH, Department of Computer Science, University of Crete, Greece;Department of Computer Science, University of Crete, Greece;Department of Computer Science, University of Crete, Greece;Institute of Computer Science, FORTH, Department of Computer Science, University of Crete, Greece;Department of Informatics, Aristotle University of Thessaloniki, Greece
Venue:
Knowledge-Based Systems
Year:
2007

Citing 15
Cited 8

Defeasible logic

Handbook of logic in artificial intelligence and logic programming (vol. 3)
Prioritized conflict handing for logic programs

ILPS '97 Proceedings of the 1997 international symposium on Logic programming
Combining Horn rules and description logics in CARIN

Artificial Intelligence
Agents that buy and sell

Communications of the ACM
Representation results for defeasible logic

ACM Transactions on Computational Logic (TOCL)
Semantic Matching of Web Services Capabilities

ISWC '02 Proceedings of the First International Semantic Web Conference on The Semantic Web
Description logic programs: combining logic programs with description logic

WWW '03 Proceedings of the 12th international conference on World Wide Web
A software framework for matchmaking based on semantic web technology

WWW '03 Proceedings of the 12th international conference on World Wide Web
Semantic Brokering over Dynamic Heterogeneous Data Sources in InfoSleuth(tm)

ICDE '99 Proceedings of the 15th International Conference on Data Engineering
On Agent-Mediated Electronic Commerce

IEEE Transactions on Knowledge and Data Engineering
A Taxonomy of Middle-Agents for the Internet

ICMAS '00 Proceedings of the Fourth International Conference on MultiAgent Systems (ICMAS-2000)
A Semantic Web Primer

A Semantic Web Primer
Propositional defeasible logic has linear complexity

Theory and Practice of Logic Programming
DR-NEGOTIATE - A System for Automated Agent Negotiation with Defeasible Logic-Based Strategies

EEE '05 Proceedings of the 2005 IEEE International Conference on e-Technology, e-Commerce and e-Service (EEE'05) on e-Technology, e-Commerce and e-Service
DR-Prolog: A System for Defeasible Reasoning with Rules and Ontologies on the Semantic Web

IEEE Transactions on Knowledge and Data Engineering

DR-NEGOTIATE - A system for automated agent negotiation with defeasible logic-based strategies

Data & Knowledge Engineering
Proof explanation for a nonmonotonic Semantic Web rules language

Data & Knowledge Engineering
Deploying defeasible logic rule bases for the semantic web

Data & Knowledge Engineering
A contract agreement policy-based workflow methodology for agents interacting in the semantic web

RuleML'10 Proceedings of the 2010 international conference on Semantic web rules
Cross-community interoperation between knowledge-based multi-agent systems: A study on EMERALD and Rule Responder

Expert Systems with Applications: An International Journal
Web@IDSS - Argumentation-enabled Web-based IDSS for reasoning over incomplete and conflicting information

Knowledge-Based Systems
Advanced agent discovery services

Proceedings of the 2nd International Conference on Web Intelligence, Mining and Semantics
A Modal Defeasible Reasoner of Deontic Logic for the Semantic Web

International Journal on Semantic Web & Information Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

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 for expressing the requirements and preferences. We motivate and explain the approach and architecture we propose, and report on a system implementing the described functionality in a multi-agent environment. Finally, we experimentally evaluate the core reasoning engine of the system.