In applications ranging from information and service integration to the semantic web, it is expected that ontologies are fragmented and distributed, rather than monolithic and glued by semantic mappings. The latter are expressions that represent semantic invariants between conceptualizations of different ontologies. Distributed Description Logic (DDL) is a logical framework that represents a set of distributed ontologies with a set of Tboxes of a suitable descriptive language, and semantic mapping with a set of bridge rules from a source to a target ontology. Bridge rules link concepts, properties, and nominals of different Tboxes, and regulate the transfer of knowledge across the ontologies. Until now, however, DDL reasoning services were de?ned only in the case of mappings between concepts, while, in many cases, mappings between nominals and properties are also important. In this paper, we extend the DDL reasoning paradigm to treat mappings between nominals of different ontologies expressed in the SHOIQ Descriptive Language, the basic DL language for the web ontology language OWLDL. We provide a sound and complete distributed tableaux method for checking subsumption propagation via bridge rules

Distributed reasoning for semantically related domains

Serafini, Luciano
2005-01-01

Abstract

In applications ranging from information and service integration to the semantic web, it is expected that ontologies are fragmented and distributed, rather than monolithic and glued by semantic mappings. The latter are expressions that represent semantic invariants between conceptualizations of different ontologies. Distributed Description Logic (DDL) is a logical framework that represents a set of distributed ontologies with a set of Tboxes of a suitable descriptive language, and semantic mapping with a set of bridge rules from a source to a target ontology. Bridge rules link concepts, properties, and nominals of different Tboxes, and regulate the transfer of knowledge across the ontologies. Until now, however, DDL reasoning services were de?ned only in the case of mappings between concepts, while, in many cases, mappings between nominals and properties are also important. In this paper, we extend the DDL reasoning paradigm to treat mappings between nominals of different ontologies expressed in the SHOIQ Descriptive Language, the basic DL language for the web ontology language OWLDL. We provide a sound and complete distributed tableaux method for checking subsumption propagation via bridge rules
2005
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11582/2672
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
social impact