![]() | Up a level |
2001
Kutz, O. and Wolter, F. and Zakharyaschev, Michael (2001) A note on concepts and distances. In: Goble, C.A. and McGuinness, D.L. and Moller, R. and Patel-Schneider, P.F. (eds.) DL-2001: Working Notes of the 2001 International Description Logics Workshop. CEUR Workshop Proceedings 49. CEUR-WS.org.
2002
Kutz, O. and Sturm, H. and Suzuki, N.Y. and Wolter, F. and Zakharyaschev, W. (2002) Axiomatizing distance logics. Journal of Applied Non-Classical Logics 12 (3-4), pp. 425-440. ISSN 1166-3081.
Kutz, O. and Wolter, F. and Zakharyaschev, Michael (2002) Connecting abstract description systems. In: Fensel, D. and Giunchiglia, F. and McGuinness, D.L. and Williams, M.-A. (eds.) KR-02: Proceedings of the Eights International Conference on Principles and Knowledge Representation and Reasoning. Morgan Kaufmann, pp. 215-226.
2003
Kutz, O. and Lutz, C. and Wolter, F. and Zakharyaschev, Michael (2003) E-connections of description logics. In: Calvanese, D. and De Giacomo, G. and Franconi, E. (eds.) DL 2003: Proceedings of the 2003 International Workshop on Description Logics. CEUR Workshop Proceedings 81. CEUR-WS.org.
Kutz, O. and Wolter, F. and Sturm, H. and Suzuki, N.-Y. and Zakharyaschev, Michael (2003) Logics of metric spaces. ACM Transactions on Computational Logic 4 (2), pp. 260-294. ISSN 1529-3785.
2004
Kutz, O. and Lutz, C. and Wolter, F. and Zakharyaschev, Michael (2004) E-connections of abstract description systems. Artificial Intelligence 156 (1), pp. 1-73. ISSN 0004-3702.
2008
Kutz, O. and Lucke, D. and Mossakowski, T. and Normann, Immanuel (2008) The OWL in the CASL: designing ontologies across logics. CEUR Workshop Proceedings , ISSN 1613-0073.
2010
Kutz, O. and Normann, Immanuel and Mossakowski, T. and Walther, D. (2010) Chinese whispers and connected alignments. CEUR Workshop Proceedings 689 , ISSN 1613-0073.
2011
Zakharyaschev, Michael (2011) Query inseparability and module extraction in OWL 2 QL. In: Kutz, O. and Schneider, T. (eds.) Modular Ontologies. Frontiers in Artificial Intelligence and Applications 230. Amsterdam, The Netherlands: IOS Press, pp. 10-11. ISBN 9781607507987.
2023
Artale, A. and Gnatenko, A. and Ryzhikov, Vladislav and Zakhariyashchev, Michael (2023) A decidable temporal DL-Lite logic with undecidable first-order and datalog-rewritability of ontology-mediated atomic queries. In: Kutz, O. and Lutz, C. and Ozaki, A. (eds.) Proceedings of the 36th International Workshop on Description Logics (DL 2023). CEUR Workshop Proceedings 3515. CEUR.