Towards Invertible Semantic-Preserving Embeddings of Logical Formulae.
Gaia SaveriLuca BortolussiPublished in: CoRR (2023)
Keyphrases
- logical representation
- high level
- semantic web
- natural language
- higher level
- vector space
- domain independent
- semantically meaningful
- semantic representation
- semantic knowledge
- semantic analysis
- euclidean space
- semantic network
- semantic similarity
- semantic annotation
- semantic information
- semantic description
- dimensionality reduction
- semantically rich
- logical reasoning
- semantically related
- neural network
- natural language understanding
- semantic relationships
- low dimensional
- multiscale
- web services
- knowledge base