Semantic Checking of Questions Expressed in Predicate Calculus Language.
Robert DemolombePublished in: VLDB (1979)
Keyphrases
- predicate calculus
- semantic network
- semantic net
- formal model
- lambda calculus
- predicate logic
- first order logic
- theorem proving
- natural language
- theorem prover
- semantic web
- semantic relations
- high level
- knowledge sources
- programming language
- conceptual graphs
- expert systems
- machine learning
- wordnet
- natural language processing
- semantic analysis
- semantic features
- probabilistic model
- semantically equivalent
- knowledge base