User Tools

Site Tools


Structural Subsumption Considered from an Automata Theoretic Point of View (BibTeX)

@INPROCEEDINGS{BaaderKuestersetal-DL-1998,
  author = {F.~Baader and R.~K{\"u}sters and R.~Molitor},
  title = {Structural Subsumption Considered from an Automata Theoretic
                  Point of View},
  booktitle = {Proceedings of the 1998 International Workshop on Description
                  Logics DL'98},
  year = 1998,
  ccl = {yes},
  address = {Trento, Italy},
  abstract = {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.}
}