A Formalism of Contextualized Predicate Calculus for Information Integration.
Jijuan ZhengPublished in: OTM Workshops (2003)
Keyphrases
- information integration
- predicate calculus
- formal model
- first order logic
- semi structured
- predicate logic
- data sources
- semantic network
- theorem proving
- knowledge representation
- information delivery
- mass collaboration
- topic maps
- theorem prover
- structured data
- building blocks
- co occurrence
- knowledge representation and reasoning
- artificial intelligence