Formalizing Semantic Bidirectionalization with Dependent Types.

Helmut Grohne Andres Löh Janis Voigtländer

Published in: EDBT/ICDT Workshops (2014)

Keyphrases

domain specific
semantic annotation
domain independent
semantic knowledge
neural network
natural language
data mining
data structure
search algorithm
domain knowledge
semantic information
semantic network
ontology mapping