User Tools

Site Tools


Characterizing the semantics of terminological cycles with the help of finite automata (BibTeX)

@INPROCEEDINGS{Kuesters-DL-1997,
  author      = {R. K{\"u}sters},
  title       = {Characterizing the semantics of terminological cycles with the help of finite automata},
  booktitle   = {Proceedings of the International Workshop on Description Logics, {DL'97}},
  year        = 1997,
  publisher   = {LRI, Universit\`e PARIS-SUD, Cente d'Orsay},
  pages       = {10--14},
  abstract    = {The representation of terminological knowledge may naturally lead to terminological cycles. In addition to descriptive semantics, the meaning of cyclic terminologies can also be captured by fixed-point semantics. To gain a more profound understanding of these semantics and to obtain inference algorithms for inconsistency, subsumption, and related inference tasks, this paper provides automata theoretic characterizations of these semantics. The already existing results for the language FL_0 are extended to ALN, which additionally allows for primitive negation and number-restrictions. Moreover, this work considers the relationship between certain schemas and ALN-terminologies.  }
}