Description Logic
From International Center for Computational Logic
Description Logic
Franz BaaderFranz Baader, Carsten LutzCarsten Lutz
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
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},
}
