Description Logic

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche

Toggle side column
Franz Baader, Carsten Lutz
Description Logic
In Patrick Blackburn and Johan van Benthem and Frank Wolter, eds., The Handbook of Modal Logic, 757-820. Elsevier, 2006
  • KurzfassungAbstract
    Description logics are a family of knowledge representation languages that were developed independently of modal logics, but later turned out to be closely related to them. This chapter introduces description logics and briefly recalls the connections between description and modal logics, but then concentrates on means of expressivity and reasoning problems that are important for description logics, but not in the focus of research in modal logics.
  • Forschungsgruppe:Research Group: AutomatentheorieAutomata Theory
@incollection{ BaaderLutz-MLHandbook-06,
  author = {F. {Baader} and C. {Lutz}},
  booktitle = {The Handbook of Modal Logic},
  editor = {Patrick {Blackburn} and Johan van {Benthem} and Frank {Wolter}},
  pages = {757--820},
  publisher = {Elsevier},
  title = {Description Logic},
  year = {2006},