Normal forms of conditional knowledge bases respecting system P-entailments and signature renamings.
Christoph BeierleJonas HaldimannPublished in: Ann. Math. Artif. Intell. (2022)
Keyphrases
- normal form
- knowledge base
- database design
- database theory
- relational algebra
- functional dependencies
- relational databases
- nested relations
- description logics
- formal definitions
- information content
- data dependencies
- logic programming
- relational database theory
- set of functional dependencies
- prime implicates
- knowledge based systems
- data structure
- multi valued
- conjunctive queries
- database applications
- wordnet
- logic programs
- knowledge representation