Knowledge Compilation for Description Logics.

Ulrich Furbach Claudia Obermaier

Published in: KESE (2007)

Keyphrases

description logics
knowledge compilation
product configuration
knowledge base
prime implicates
reasoning tasks
normal form
computational properties
knowledge representation
dl lite
semantic web
knowledge representation languages
decision support
knowledge based systems
integrity constraints