The description logic handbook theory implementation and applications edited by franz baader deborah l mcguinness daniele nardi peter f patel schneider. Description logics are knowledge representation languages that have been studied extensively in artificial intelligence over the last two decades this handbook covers all aspects of research in this field including theory implementation and. The description logic handbook theory implementation and applications the description logic handbook theory implementation and applications edited by franz baader deborah l mcguinness daniele nardi peter f patel schneider. Description logics are embodied in several knowledge based systems and are used to develop various real life applications now in paperback the description logic handbook provides a thorough account of the subject covering all aspects of research in this field namely theory implementation and applications