Formalizing semantic bidirectionalization and extensions with dependent types.
Helmut GrohneJanis VoigtländerPublished in: J. Log. Algebraic Methods Program. (2017)
Keyphrases
- natural language understanding
- real time
- semantic knowledge
- semantic relationships
- semantic analysis
- natural language
- domain specific
- semantic interpretation
- database
- semantic web technologies
- semantic similarity
- semantic information
- semantic web
- multiscale
- metadata
- artificial intelligence
- genetic algorithm
- data sets