Normal Forms of Conditional Knowledge Bases Respecting Entailments and Renamings.
Christoph BeierleJonas HaldimannPublished in: FoIKS (2020)
Keyphrases
- normal form
- knowledge base
- functional dependencies
- relational databases
- database design
- nested relations
- database theory
- description logics
- information content
- relational algebra
- expert systems
- formal definitions
- data dependencies
- knowledge based systems
- prime implicates
- relational database theory
- knowledge representation
- data model
- conditional probabilities
- multi valued
- belief revision
- inference rules
- logic programming
- management system
- case study