Structural Subsumption Considered from an Automata Theoretic Point of View
From International Center for Computational Logic
Structural Subsumption Considered from an Automata Theoretic Point of View
Franz BaaderFranz Baader, R. KüstersR. Küsters, R. MolitorR. Molitor
Franz Baader, R. Küsters, R. Molitor
Structural Subsumption Considered from an Automata Theoretic Point of View
Proceedings of the 1998 International Workshop on Description Logics DL'98, 1998
Structural Subsumption Considered from an Automata Theoretic Point of View
Proceedings of the 1998 International Workshop on Description Logics DL'98, 1998
- KurzfassungAbstract
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. - Forschungsgruppe:Research Group: AutomatentheorieAutomata Theory
@inproceedings{ BaaderKuesters+-DL-98,
address = {Trento, Italy},
author = {F. {Baader} and R. {K{\"u}sters} and R. {Molitor}},
booktitle = {Proceedings of the 1998 International Workshop on Description Logics DL'98},
title = {Structural Subsumption Considered from an Automata Theoretic Point of View},
year = {1998},
}
