Keyphrases
- automatically generate
- first order logic
- semantic description
- semantic web
- theorem proving
- inference rules
- semantic level
- semantic knowledge
- semantic features
- semantic similarity
- domain independent
- domain ontology
- domain specific
- high level
- case study
- databases
- context dependent
- semantic web technologies
- knowledge representation
- natural language
- semantic representation
- semantically meaningful