A Predicate-Calculus Based Language for Semantic Databases.
Naphtali RisheWei SunPublished in: PARBASE / Databases (1990)
Keyphrases
- predicate calculus
- semantic network
- databases
- semantic net
- formal model
- lambda calculus
- first order logic
- predicate logic
- theorem proving
- natural language
- database
- theorem prover
- relational databases
- database languages
- programming language
- high level
- wordnet
- knowledge sources
- knowledge discovery
- knowledge base
- machine learning
- semantic relations
- co occurrence
- semantic representation
- knowledge representation
- semantically equivalent
- semantic web
- knowledge acquisition