Keyphrases
- theorem prover
- computer algebra
- first order logic
- theorem proving
- automated deduction
- automated reasoning
- automated theorem proving
- term rewriting
- knowledge base
- knowledge representation
- inference rules
- semi automatic
- formal semantics
- semi automatically
- computer algebra systems
- databases
- domain ontology
- domain knowledge
- semantic technologies
- semantic web technologies
- higher order
- ontology population