A SAT-Based Algorithm for Context Matching

Bouquet, Paolo and Magnini, Bernardo and Serafini, Luciano and Zanobini, Stefano (2003) A SAT-Based Algorithm for Context Matching. UNSPECIFIED. (Unpublished)

Download (551Kb) | Preview


    The development of more and more complex distributed applications over large networks of computers has raised the problem of semantic interoperability across applications based on local and autonomous semantic schemas (e.g., concept hierarchies, taxonomies, ontologies). In this paper we propose to view each semantic schema as a context (in the sense defined in \cite{benerecetti9}), and propose an algorithm for automatically discovering relations across contexts. The main feature of the algorithm is that the problem of finding relationships between contexts is encoded as a problem of logical satisfiability, and so the discovered mappings have a well--defined semantic. The algorithm we describe has been implemented as part of a peer-to-peer system for Distributed Knowledge Management, and tested on significant cases.

    Item Type: Departmental Technical Report
    Department or Research center: Information Engineering and Computer Science
    Subjects: Q Science > QA Mathematics > QA075 Electronic computers. Computer science
    Report Number: DIT-03-005
    Repository staff approval on: 05 Feb 2003

    Actions (login required)

    View Item