Conjunctive queries for ontology based agent communication in MAS

ABSTRACT

In order to obtain semantic interoperability in open Multi-Agent Systems, agents need to agree on the basis of different ontologies. In this paper we formally define mapping as correspondences between queries over ontologies. Individual mappings are computed by specialized agents using different mapping approaches. Next, these agents use argumentation to exchange their local results, in order to agree on the mappings. Based on their preferences and strength of the arguments, the agents compute their preferred mapping sets. The arguments in such preferred sets are viewed as the set of globally acceptable arguments. These arguments are then represented as conjunctive queries in OWL-DL extended with DL-safe rules [9], a restriction imposed to attain decidability in such query answering system.

REFERENCES

• 1: Franz Baader , Diego Calvanese , Deborah L. McGuinness , Daniele Nardi , Peter F. Patel-Schneider, The description logic handbook: theory, implementation, and applications, Cambridge University Press, New York, NY, 2003
• 2: Sidney C. Bailin , Walt Truszkowski, Ontology negotiation between intelligent information agents, The Knowledge Engineering Review, v.17 n.1, p.7-19, March 2002 [doi>10.1017/S0269888902000292]
• 3: T. Bench-Capon. Persuasion in practical argument using value-based argumentation frameworks. Journal of Logic and Computation, 13:429--448, 2003.
• 4: Jurriaan van Diggelen , Robbert-Jan Beun , Frank Dignum , Rogier M. van Eijk , John-Jules Meyer, ANEMONE: an effective minimal ontology negotiation environment, Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems, May 08-12, 2006, Hakodate, Japan [doi>10.1145/1160633.1160794]
• 5: Hong-Hai Do , Erhard Rahm, COMA: a system for flexible combination of schema matching approaches, Proceedings of the 28th international conference on Very Large Data Bases, p.610-621, August 20-23, 2002, Hong Kong, China
• 6: Phan Minh Dung, On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games, Artificial Intelligence, v.77 n.2, p.321-357, Sept. 1995 [doi>10.1016/0004-3702(94)00041-X]
• 7: Jérôme Euzenat , Pavel Shvaiko, Ontology Matching, Springer-Verlag New York, Inc., Secaucus, NJ, 2007
• 8: F. Giunchiglia, P. Shvaiko, and M. Yatskevich. S-match: An algorithm and an implementation of semantic matching. In Proceedings of the European Semantic Web Symposium, pages 61--75, 2004.
• 9: Peter Haase , Boris Motik, A mapping system for the integration of OWL-DL ontologies, Proceedings of the first international workshop on Interoperability of heterogeneous information systems, November 04-04, 2005, Bremen, Germany [doi>10.1145/1096967.1096970]
• 10: I. Horrocks and P. Patel-Schneider. Reducing owl entailment to description logic satisfiability. In Proceedings of the 2nd International Semantic Web Conference, 2003.
• 11: Ian Horrocks , Sergio Tessaris, A Conjunctive Query Language for Description Logic Aboxes, Proceedings of the Seventeenth National Conference on Artificial Intelligence and Twelfth Conference on Innovative Applications of Artificial Intelligence, p.399-404, July 30-August 03, 2000
• 12: U. Hustadt, B. Motik, and U. Sattler. Reducing SHIQ^- description logic to disjunctive datalog programs. In D. Dubois, C. Welty, and M.-A. Williams, editors, Proceedings of the 9th International Conference on Knowledge Representation and Reasoning, pages 152--162. AAAI Press, 2004.
• 13: Loredana Laera , Ian Blacoe , Valentina Tamma , Terry Payne , Jerôme Euzenat , Trevor Bench-Capon, Argumentation over ontology correspondences in MAS, Proceedings of the 6th international joint conference on Autonomous agents and multiagent systems, May 14-18, 2007, Honolulu, Hawaii [doi>10.1145/1329125.1329400]
• 14: L. Laera, V. Tamma, J. Euzenat, T. Bench-Capon, and T. R. Payne. Reaching agreement over ontology alignments. In Proceedings of 5th International Semantic Web Conference (ISWC 2006), 2006.
• 15: Maurizio Lenzerini, Data integration: a theoretical perspective, Proceedings of the twenty-first ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems, June 03-05, 2002, Madison, Wisconsin [doi>10.1145/543613.543644]
• 16: I. Levenshtein. Binary codes capable of correcting deletions, insertions an reversals. In Cybernetics and Control Theory, 1966.
• 17: Jayant Madhavan , Philip A. Bernstein , Erhard Rahm, Generic Schema Matching with Cupid, Proceedings of the 27th International Conference on Very Large Data Bases, p.49-58, September 11-14, 2001
• 18: Alexander Maedche , Boris Motik , Nuno Silva , Raphael Volz, MAFRA - A MApping FRAmework for Distributed Ontologies, Proceedings of the 13th International Conference on Knowledge Engineering and Knowledge Management. Ontologies and the Semantic Web, p.235-250, October 01-04, 2002
• 19: Alexander Maedche , Steffen Staab, Measuring Similarity between Ontologies, Proceedings of the 13th International Conference on Knowledge Engineering and Knowledge Management. Ontologies and the Semantic Web, p.251-263, October 01-04, 2002
• 20: Erhard Rahm , Philip A. Bernstein, A survey of approaches to automatic schema matching, The VLDB Journal — The International Journal on Very Large Data Bases, v.10 n.4, p.334-350, December 2001 [doi>10.1007/s007780100057]
• 21: P. Shvaiko and J. Euzenat. A survey of schema-based matching approaches. Technical report, Informatica e Telecomunicazioni, University of Trento, 2004.
• 22: N. Silva, P. Maio, and J. Rocha. An approach to ontology mapping negotiation. In Proceedings of the K-CAP Workshop on Integrating Ontologies, 2005.
• 23: Valentina Tamma , Michael Wooldridge , Ian Blacoe , Ian Dickinson, An Ontology Based Approach to Automated Negotiation, Revised Papers from the Workshop on Agent Mediated Electronic Commerce on Agent-Mediated Electronic Commerce IV, Designing Mechanisms and Systems, p.219-237, July 16, 2002
• 24: C. Trojahn, P. Quaresma, and R. Vieira. A cooperative approach for composite ontology mapping. LNCS Journal of Data Semantic (to appear), 2007.
• 25: C. Trojahn, P. Quaresma, and R. Vieira. An extended value-based argumentation framework for ontology mapping with confidence degrees. In Workshop of Argumentation, International Conference on Autonomous Agents and Multiagent Systems, 2007.

INDEX TERMS

Primary Classification:
  I. Computing Methodologies
  I.2 ARTIFICIAL INTELLIGENCE
        I.2.11 Distributed Artificial Intelligence
            Subjects: Multiagent systems

Additional Classification:
  H. Information Systems
  H.3 INFORMATION STORAGE AND RETRIEVAL
      H.3.3 Information Search and Retrieval
          Subjects: Query formulation

  I. Computing Methodologies
  I.2 ARTIFICIAL INTELLIGENCE
      I.2.4 Knowledge Representation Formalisms and Methods
          Subjects: Semantic networks; Representations (procedural and rule-based)

General Terms:
Algorithms, Design, Management, Theory