-connections of description logics

CEUR Workshop Proceedings

Volumn 81, Issue , 2003, Pages

  Kutz, Oliver ^a   Lutz, Carsten ^b   Wolter, Frank ^a   Zakharyaschev, Michael ^c  

^a UNIVERSITY OF LIVERPOOL   (United Kingdom)

^b DRESDEN UNIVERSITY OF TECHNOLOGY   (Germany)

^c KING'S COLLEGE LONDON   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 85043256732     PISSN: 16130073     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (12)

1. A. Artale, E. Franconi, F. Wolter, and M. Zakharyaschev. A temporal description logic for reasoning about conceptual schemas and queries. In Proceedings of JELIA-02, volume 2424 of LNAI, pages 98-110. Springer, 2002.
2. F. Baader, C. Lutz, H. Sturm, and F. Wolter. Fusions of description logics. In F. Baader and U. Sattler, editors, Proceedings of DL2000, number 33 in CEURWS (http://ceur-ws.org/), pages 21-30, 2000.
3. F. Baader, C. Lutz, H. Sturm, and F. Wolter. Fusions of description logics and abstract description systems. Journal of Artificial Intelligence Research (JAIR), 16:1-58, 2002.
4. A. Borgida and L. Serafini. Distributed description logics: Directed domain correspondences in federated information sources. In On The Move to Meaningful Internet Systems 2002: CoopIS, Doa, and ODBase, volume 2519 of LNCS, pages 36-53. Springer, 2002.
5. D. Calvanese, G. Giacomo, and M. Lenzerini. A framework for ontology integration. In The Emerging Semantic Web - Selected Papers from the First Semantic Web Working Symposium, pages 201-214. IOS Press, 2002.
6. D. Gabbay, A. Kurucz, F. Wolter, and M. Zakharyaschev. Many-Dimensional Modal Logics: Theory and Applications. Elsevier, North-Holland, 2003.
7. O. Kutz, C. Lutz, F. Wolter, and M. Zakharyaschev. E-connections of abstract description systems. Submitted, 2003. Available at http://www.csc.liv.ac.uk/~frank/publ/publ.html.
8. O. Kutz, F. Wolter, and M. Zakharyaschev. A note on concepts and distances. In Proceedings of DL2001, number 49 in CEUR-WS (http://ceur-ws.org/), pages 113-121, 2001.
9. O. Kutz, F. Wolter, and M. Zakharyaschev. Connecting abstract description systems. In Proceedings of KR 2002, pages 215-226. Morgan Kaufmann, 2002.
10. C. Lutz, H. Sturm, F. Wolter, and M. Zakharyaschev. Tableaux for temporal description logic with constant domains. In Proceedings of IJCAR'01, number 2083 in LNAI, pages 121-136. Springer-Verlag, 2001.
11. M. Marx. Complexity of products of modal logics. Journal of Logic and Computation, 9:197-214, 1999.
12. A. Schaerf. Reasoning with individuals in concept languages. Data and Knowledge Engineering, 13(2):141-176, 1994.