A Trusted Defeasible Reasoning Service for Brokering Agents in the Semantic Web

  • Kalliopi Kravari
  • Efstratios Kontopoulos
  • Nick Bassiliades
Part of the Studies in Computational Intelligence book series (SCI, volume 237)


Based on the plethora of proposals and standards for logic- and rulebased reasoning for the Semantic Web (SW), a key factor for SW agents is reasoning task interoperability. This paper reports on a framework for interoperable reasoning among agents in the SW that deploys third-party trusted reasoning services. This way, agents can exchange arguments, without conforming to a common rule or logic paradigm; via an external reasoning service, the receiving agent can grasp the semantics of the received rule set. The paper presents how a multi-agent system was extended with a third-party trusted defeasible reasoning service, which offers agents the ability of reasoning with incomplete and inconsistent information. In addition, a brokering trade scenario is presented that illustrates the usability of the approach.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Antoniou, G., Skylogiannis, T., Bikakis, A., Bassiliades, N.: Dr-brokering - a defeasible logic-based system for semantic brokering. In: Proc. IEEE International Conference on E-Technology, E-Commerce and E-Service, pp. 414–417. IEEE, Los Alamitos (2005)CrossRefGoogle Scholar
  2. 2.
    Antoniou, G., van Harmelen, F.: A Semantic Web Primer. MIT Press, Cambridge (2004)Google Scholar
  3. 3.
    Bassiliades, N., Antoniou, G., Vlahavas, I.: A defeasible logic reasoner for the semantic web. IJSWIS 2(1), 1–41 (2006)Google Scholar
  4. 4.
    Benjamins, R., Wielinga, B., Wielemaker, J., Fensel, D.: An intelligent agent for brokering problem-solving knowledge. In: Mira, J. (ed.) IWANN 1999. LNCS, vol. 1607, pp. 693–705. Springer, Heidelberg (1999)CrossRefGoogle Scholar
  5. 5.
    Berners-Lee, T., Hendler, J., Lassila, O.: The semantic web. Scientific American (May 2001)Google Scholar
  6. 6.
    Boley, H.: The ruleml family of web rule languages. In: Alferes, J.J., Bailey, J., May, W., Schwertel, U. (eds.) PPSWR 2006. LNCS, vol. 4187, pp. 1–17. Springer, Heidelberg (2006)CrossRefGoogle Scholar
  7. 7.
    Genesereth, M., Fikes, R.: Knowledge interchange format version 3.0 reference manual. Technical report, Logic Group, Comp. Sc. Dept., Stanford Univ. (1992)Google Scholar
  8. 8.
    Hendler, J.: Agents and the semantic web. IEEE Intelligent Systems 2(16), 30–37 (2001)CrossRefGoogle Scholar
  9. 9.
    Kifer, M.: Rule interchange format: The framework. In: Calvanese, D., Lausen, G. (eds.) RR 2008. LNCS, vol. 5341, pp. 1–11. Springer, Heidelberg (2008)CrossRefGoogle Scholar
  10. 10.
    Macarthur, K.: Trust and reputation in multi-agent systems. In: Proc. AAMAS 2008, May 12-16 (2007)Google Scholar
  11. 11.
    Nute, D.: Defeasible reasoning. In: Proc. 20th International Conference on Systems Science, pp. 470–477. IEEE Press, Los Alamitos (1987)Google Scholar
  12. 12.
    Paschke, A., Boley, H., Kozlenkov, A., Craig, B.: Rule responder: Ruleml-based agents for distributed collaboration on the pragmatic web. In: Proc. 2nd International Conference on Pragmatic Web, pp. 17–28. ACM, New York (2007)CrossRefGoogle Scholar
  13. 13.
    Skylogiannis, T., Antoniou, G., Bassiliades, N., Governatori, G., Bikakis, A.: Dr-negotiate - a system for automated agent negotiation with defeasible logic-based strategies. DKE 63(2), 362–380 (2007)CrossRefGoogle Scholar
  14. 14.
    Wagner, G., Giurca, A., Lukichev, S.: R2ml: A general approach for marking up rules. In: Marchiori, M., Fages, F., Ohlbach, H. (eds.) Principles and Practices of Semantic Web Reasoning, Dagstuhl Seminar Proceedings 05371 (2005)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2009

Authors and Affiliations

  • Kalliopi Kravari
    • 1
  • Efstratios Kontopoulos
    • 1
  • Nick Bassiliades
    • 1
  1. 1.Dept. of InformaticsAristotle University of ThessalonikiThessalonikiGreece

Personalised recommendations