F. Baader, and F. Kriegel. LTCS-Report, 22-02. Chair of Automata Theory, Institute of Theoretical Computer Science, Technische Universität Dresden, Dresden, Germany, (2022)
F. Baader, and F. Kriegel. LTCS-Report, 22-02. Chair of Automata Theory, Institute of Theoretical Computer Science, Technische Universität Dresden, Dresden, Germany, (2022)
F. Baader, and F. De Bortoli. Proceedings of the 33rd International Workshop on Description Logics (DL'20), volume 2663 of CEUR Workshop Proceedings, Online, CEUR-WS, (2020)
{. Reimer, J. Huck, and A. Bondarenko. Working Notes Papers of the CLEF 2022 Evaluation Labs, volume 3180 of CEUR Workshop Proceedings, (September 2022)
J. Urbani, M. Krötzsch, and T. Eiter. Proceedings of the 19th International Conference on Principles of Knowledge Representation and Reasoning, page 415--419. (August 2022)
T. Lehtonen, A. Rapberger, M. Ulbricht, and J. Wallner. Proceedings of the Twentieth International Conference on Principles of Knowledge Representation and Reasoning, page 440--450. California, International Joint Conferences on Artificial Intelligence Organization, (September 2023)