@inproceedings{Zimmermann:DL2007,
 author    = {Antoine Zimmermann},
 title     = {{I}ntegrated {D}istributed {D}escription {L}ogics},
 year      = {2007},
 pages     = {507--514},
 booktitle = {Proceedings of the 20th {I}nternational {W}orkshop on {D}escription {L}ogics {DL'07}},
 month     = jun,
 publisher = {Bolzano University Press},
 editor    = {Diego Calvanese and Enrico Franconi and Volker Haarslev and Domenico Lembo and Boris Motik and Sergio Tessaris and Anni-Yasmin Turhan},
 isbn      = {978-88-6046-008-5},
 language  = {en},
 url       = {http://ftp.informatik.rwth-aachen.de/Publications/CEUR-WS/Vol-250/paper_37.pdf},
 keywords  = {description logics, ontology alignments, distributed systems, semantics},
 abstract  = {We propose a Description-Logics-based language that extends standard DL with distributed capabilities. More precisely, it offers the possibility to formally describe the semantic relations that exist between two ontologies in a networked knowledge-based system. Contrary to Distributed Description Logics \cite{Borgida_Serafini:02}, it is possible to compose correspondences ($\approx$ bridge rules), while still being able to hide some of the discrepancies between ontologies. Moreover, when ontologies have no nominals, no A-Box axioms, and correspondences are restricted to cross-ontology subsumption, the satisfiability of a local ontology is not influenced by ontology alignments and other ontologies, \ie local deduction is invariant to the change of the outer system. Although we do not have a complete reasoning procedure, we provide inference rules and semantic properties, and a discussion on reasoning in this formalism.}
}