A Knowledge Compilation Technique for ALC Tboxes.
Ulrich FurbachHeiko GüntherClaudia ObermaierPublished in: FLAIRS Conference (2009)
Keyphrases
- knowledge compilation
- description logics
- product configuration
- prime implicates
- dl lite
- knowledge base
- knowledge representation
- reasoning tasks
- logical inference
- normal form
- model counting
- quantified boolean formulae
- horn formulas
- cnf formula
- model theoretic
- decomposable negation normal form
- constraint satisfaction
- decision support
- relational databases