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.}
}