Characterizing the semantics of terminological cycles with the help of finite automata

Ralf Küsters. Characterizing the semantics of terminological cycles with the help of finite automata. In Ronald J. Brachman, Francesco M. Donini, Enrico Franconi, Ian Horrocks, Alon Y. Levy, Marie-Christine Rousset, editors, Proceedings of the 1997 International Workshop on Description Logics, Université Paris-Sud, Centre d Orsay, Laboratoire de Recherche en Informatique LRI. Volume 410 of URA-CNRS, 1997. [doi]

Abstract

Abstract is missing.