The description logic handbook : theory, implementation, and applications

"Description logics are embodied in several knowledge-based systems and are used to develop various real-life applications. [This book] provides a thorough account of the subject, covering all aspects of research in this field, namely : theory, implementation, and applications. Its appeal will...

Полное описание

Сохранить в:
Библиографические подробности
Другие авторы: Baader, Franz, 19..- (Редактор), Calvanese, Diego, 19..- (Редактор), McGuinness, Deborah L., 19..- (Редактор)
Формат: Livre papier
Язык:Anglais
Опубликовано: Cambridge ; New York ; Melbourne [etc.] : Cambridge University Press cop. 2007.
Редактирование:2nd edition.
Предметы:
Примечание: Edition brochée 2010
Autres localisations: Voir dans le Sudoc
Оглавление:
  • 1. An introduction to description logics
  • Part I. Theory
  • 2. Basic description logics
  • 3. Complexity of reasoning
  • 4. Relationships with other formalisms
  • 5. Expressive description logics
  • 6. Extensions to description logics
  • Part II. Implementation
  • 7. From description logic provers to knowledge representation
  • 8. Description logic systems
  • 9. Implementation and optimization techniques
  • Part III. Applications
  • 10. Conceptual modeling with description logics
  • 11. Software engineering
  • 12. Configuration
  • 13. Medical informatics
  • 14. OWL : a description-logic-bases ontology language for the semantic Web
  • 15. Natural language processing
  • 16. Description logics for databases
  • Appendix. Description logic terminology