TY - GEN
T1 - Distributed description logics
T2 - 10th Int. Conference on Cooperative Information Systems, CoopIS 2002, Jointly with the 4th Int. Symp. on, DOA 2002 and the 1st Int. Conf. on Ontologies, Databases, and Applications of Semantics for Large-Scale Information Systems, ODBASE 2002
AU - Borgida, Alex
AU - Serafini, Luciano
PY - 2002
Y1 - 2002
N2 - A central problem of co-operative information systems is the ability to integrate information from multiple sources. Although this problem has been studied for several decades, there is a need for a more refined approach in those cases where the original sources form a loose federation, each maintaining its own independent view of the world. In particular, we motivate with examples the utility of directed non-injective mappings between the individuals in the domains of multiple IS. We then extend the logical formalism of Description Logics, which has previously served successfully in IS integration and is currently being used in semantic-web ontolgies, to handle such mappings. The result is called Distributed Description Logics, and we consider some of its desirable properties, as well as some theorems concerning its computational aspects.
AB - A central problem of co-operative information systems is the ability to integrate information from multiple sources. Although this problem has been studied for several decades, there is a need for a more refined approach in those cases where the original sources form a loose federation, each maintaining its own independent view of the world. In particular, we motivate with examples the utility of directed non-injective mappings between the individuals in the domains of multiple IS. We then extend the logical formalism of Description Logics, which has previously served successfully in IS integration and is currently being used in semantic-web ontolgies, to handle such mappings. The result is called Distributed Description Logics, and we consider some of its desirable properties, as well as some theorems concerning its computational aspects.
UR - http://www.scopus.com/inward/record.url?scp=84867286934&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=84867286934&partnerID=8YFLogxK
U2 - https://doi.org/10.1007/3-540-36124-3_3
DO - https://doi.org/10.1007/3-540-36124-3_3
M3 - Conference contribution
SN - 3540001069
SN - 9783540001065
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 36
EP - 53
BT - On the Move to Meaningful Internet Systems 2002
A2 - Meersman, Robert
A2 - Tari, Zahir
PB - Springer Verlag
Y2 - 30 October 2002 through 1 November 2002
ER -