A Normal Form for First-Order Logic over Doubly-Linked Data Structures.
Steven LindellPublished in: Int. J. Found. Comput. Sci. (2008)
Keyphrases
- information retrieval
- normal form
- first order logic
- linked data
- relational algebra
- expressive power
- relational calculus
- semantic web
- propositional logic
- functional dependencies
- database design
- probabilistic reasoning
- knowledge representation
- theorem proving
- relational databases
- structured data
- inference rules
- data sources
- transitive closure
- horn clauses
- rdf data
- boolean expressions
- incomplete information
- record linkage
- data integration
- markov logic networks
- constraint databases
- data model
- artificial intelligence