Transforming Conditional Knowledge Bases into Renaming Normal Form.
Christoph BeierleJonas HaldimannPublished in: FLAIRS Conference (2020)
Keyphrases
- normal form
- knowledge base
- database design
- functional dependencies
- relational databases
- description logics
- nested relations
- relational algebra
- knowledge representation
- data dependencies
- information content
- dl lite
- prime implicates
- boolean expressions
- conditional probabilities
- database systems
- databases
- disjunctive normal form
- integrity constraints
- logic programming
- object oriented
- expert systems
- case study