Semantic subtyping with an SMT solver.
Gavin M. BiermanAndrew D. GordonCatalin HritcuDavid E. LangworthyPublished in: ICFP (2010)
Keyphrases
- semantic analysis
- semantic features
- semantic web
- semantic information
- data sets
- semantic representation
- semantic knowledge
- semantic relationships
- semantic network
- natural language
- domain ontology
- semantic annotation
- semantic search
- semantic content
- semantic level
- semantic description
- question answering
- domain knowledge
- similarity measure
- neural network
- database
- semantically related
- semantic interpretation