User Tools

Site Tools

Structural Subsumption Considered from an Automata Theoretic Point of View

F. Baader, R. Küsters, and R. Molitor

This paper compares two approaches for deriving subsumption algorithms for the description logic ALN: structural subsumption and an automata-theoretic characterization of subsumption. It turns out that structural subsumption algorithms can be seen as special implementations of the automata-theoretic characterization.