Thomas Kühne 0001, Manfred A. Jeusfeld. Sanity-Checking Multiple Levels of Classification - A Formal Approach with a ConceptBase Implementation. In João Paulo A. Almeida, José Borbinha, Giancarlo Guizzardi, Sebastian Link, Jelena Zdravkovic, editors, Conceptual Modeling - 42nd International Conference, ER 2023, Lisbon, Portugal, November 6-9, 2023, Proceedings. Volume 14320 of Lecture Notes in Computer Science, pages 162-180, Springer, 2023. [doi]
Abstract is missing.