F. Baader and S. Ghilardi.
Connecting many-sorted structures and theories through adjoint functions.
Proceedings of the Fifth International Workshop on Frontiers of Combining Systems (FroCoS 05), Lecture Notes in Artificial Intelligence, Springer, to appear.
Abstract,
BibTeX,
PDF.
F. Baader and S. Ghilardi.
Connecting many-sorted theories.
Proceedings of the 20th Conference on Automated Deduction (CADE-20), Lecture Notes in Artificial Intelligence, Springer, to appear.
Abstract,
BibTeX,
PDF.
F. Baader and S. Ghilardi.
Connecting many-sorted theories.
LTCS Report 05-04, Technische Universitaet Dresden.
Abstract,
BibTeX,
PostScript.
Bernardo Cuenca Grau.
Combination and Integration of Ontologies on the Semantic Web.
PhD Dissertation Draft.
PDF.
Bernardo Cuenca Grau, Bijan Parsia, Evren Sirin, and Aditya Kalyanpur.
Modularizing OWL Ontologies.
Submitted to the 4th International Semantic Web Conference (ISWC-2005).
PDF.
Bernardo Cuenca Grau, Bijan Parsia, Evren Sirin and Aditya Kalyanpur.
Automatic Partitioning of OWL Ontologies Using E-Connections.
In Proceedings of the 2005 International Workshop on Description Logics (DL-2005).
PDF.
Bernardo Cuenca Grau, Bijan Parsia, Evren Sirin, and Aditya Kalyanpur.
Automatic Partitioning of OWL Ontologies Using E-Connections.
University of Maryland Institute for Advanced Computer Studies (UMIACS) Technical Report (2005) (in progress).
PDF.
Bernardo Cuenca Grau, Bijan Parsia and Evren Sirin.
Combining OWL Ontologies Using E-Connections.
To appear in Elsevier's Journal Of Web Semantics (JWS).
PDF.
Bijan Parsia and Bernardo Cuenca Grau.
Generalized Link Properties for Expressive E-Connections of Description Logics.
In Proceedings of the Twentieth National Conference on Artificial Intelligence (AAAI-2005).
PDF.
Luciano Serafini, Alex Borgida, and Andrei Tamilin.
Aspects of distributed and modular ontology reasoning.
In 19th IJCAI, February
2005. Also ITC-IRST Technical Report No T05-02-03.
PDF.
L. Serafini, H. Stuckenschmidt and H. Wache.
A Formal Investigation of Mapping Languages for Terminological Knowledge.
Proceedings of the International Joint Conference on Artificial Intelligence, IJCAI-05.
PDF.
Bernardo Cuenca Grau, Bijan Parsia, and Evren Sirin.
Tableau Algorithms for E-Connections of Description Logics.
University of Maryland Institute for Advanced Computer Studies (UMIACS) Technical Report 2004-72, (2004).
PostScript.
Bernardo Cuenca Grau, Bijan Parsia, and Evren Sirin.
Working with Multiple Ontologies on the Semantic Web.
In Proceedings of the 3thd International Semantic Web Conference (ISWC-2004). Volume 3298 of Lecture Notes in Computer Science, (2004).
PDF.
Bernardo Cuenca Grau, Bijan Parsia, and Evren Sirin.
From SHOQ(D) Toward E-Connections.
In Proceedings of the 2004 International Workshop on Description Logics (DL-2004).
PDF.
O.Kutz.
E-Connections and Logics of Distance.
Ph.D. thesis, University of Liverpool.
Abstract,
PDF.
O.Kutz, C. Lutz, F. Wolter and M. Zakharyaschev.
E-connections of abstract description systems.
In Artificial Intelligence. 156(1): 1-73, 2004.
Abstract,
BibTeX,
PDF.
Luciano Serafini and Andrei Tamilin.
DRAGO: Distributed reasoning architecture for the semantic web.
Technical Report T04-12-05, ITC-irst, December 2004.
PDF.
Luciano Serafini and Andrei Tamilin.
Local tableaux for reasoning in distributed description logics.
In V. Haarslev and R.Moeller, editors, Proceedings of the 2004 Intl. Workshop on Description Logics (DL2004), pages 100--109. CEUR-WS, 2004.
PDF.
A. Borgida and L. Serafini.
Distributed Description Logics: Assimilating Information from Peer Sources.
Journal of Data Semantics, 1:153-184, 2003. Editor in Chief S. Spaccapietra. LNCS 2800, Springer Verlag.
PostScript.
O.Kutz, C. Lutz, F. Wolter and M. Zakharyaschev.
E-connections of Description Logics.
In Proceedings of the 2003 International Workshop on Description Logics (DL2003, Rome), pages 178--187, CEUR-WS Vol-81.
BibTeX,
PostScript.
A. Borgida and L. Serafini.
Distributed Description Logics: Directed Domain Correspondences in Federated Information Sources.
In R. Meersman and Z. Tari, editors, On The Move to Meaningful Internet Systems 2002: CoopIS, Doa, and ODBase, volume 2519 of LNCS, pages 36--53. Springer Verlag, 2002.
PostScript.
O. Kutz, F. Wolter and M. Zakharyaschev.
Connecting abstract description systems.
In Proceedings of the 8th International Conference of Knowledge Representation and Reasoning (KR-2002, Toulouse), editors: D. Fensel, F. Giunchiglia, D. McGuinness and M. Williams, Morgan Kaufmann, 215 -- 227, 2002.
Abstract,
BibTeX,
PDF.
O. Kutz, F. Wolter and M. Zakharyaschev.
A Note on Concepts and Distances.
In Proceedings of the 2001 International Workshop on Description Logics (DL2001, Stanford), CEUR-WS Vol-49.
Abstract,
BibTeX,
PDF.