Distributed Reasoning Services for Multiple Ontologies

Serafini, Luciano and Tamilin, Andrei (2004) Distributed Reasoning Services for Multiple Ontologies. UNSPECIFIED. (Unpublished)

Download (303Kb) | Preview


    The main goal of this paper is to propose a distributed paradigm for reasoning with multiple ontologies connected by semantic mappings. The contribution of the paper to this goal is twofold. From the theoretical point of view we characterize the problem of global subsumption (i.e. the problem of subsumption in a set of local ontologies connected by semantic mappings) as a suitable fixpoint combination of operators that compute subsumptions in the local ontologies. This allows us to define a sound and complete algorithm for global subsumptions which calls black-boxes sub-routines for local subsumptions. The second contribution is the description of a prototype implementation of such algorithm in a peer-to-peer architecture.

    Item Type: Departmental Technical Report
    Department or Research center: Information Engineering and Computer Science
    Subjects: Q Science > QA Mathematics > QA076 Computer software
    Uncontrolled Keywords: Distributed Reasoning, Ontology, Ontology Mapping, Semantic Web, Description Logics
    Report Number: DIT-04-029
    Repository staff approval on: 17 May 2004

    Actions (login required)

    View Item