Description Logic

F. BaaderF. Baader, C. LutzC. Lutz

Datei:BaLu-ML-Handbook-06.ps.gz

Download

F. Baader, C. Lutz
Description Logic
In Patrick {Blackburn} and Johan van {Benthem} and Frank {Wolter}, eds., The Handbook of Modal Logic, 757--820. Elsevier, 2006

Details
Bibtex

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