Structural Subsumption Considered from an Automata-Theoretic Point of View

Franz Baader, Ralf Küsters, Ralf Molitor. Structural Subsumption Considered from an Automata-Theoretic Point of View. In Enrico Franconi, Giuseppe De Giacomo, Robert M. MacGregor, Werner Nutt, Christopher A. Welty, editors, Proceedings of the 1998 International Workshop on Description Logics (DL 98), IRST, Povo - Trento, Italy, June 6-8, 1998. Volume 11 of CEUR Workshop Proceedings, CEUR-WS.org, 1998. [doi]

Authors

Franz Baader

This author has not been identified. Look up 'Franz Baader' in Google

Ralf Küsters

This author has not been identified. Look up 'Ralf Küsters' in Google

Ralf Molitor

This author has not been identified. Look up 'Ralf Molitor' in Google