LATPub346

PublikationenPublications

• Nach AutorBy Author
  • Franz BaaderFranz Baader
  • Carsten LutzCarsten Lutz
• Nach ForschungsgruppeBy Research Group
  • AutomatentheorieAutomata Theory

Toggle side column

Description Logic

Franz BaaderFranz Baader,  Carsten LutzCarsten Lutz

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

• Download

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

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