Semantic Typing for Parametric Algebraic Specifications.
María Victoria CengarlePublished in: AMAST (1995)
Keyphrases
- high level
- semantic constraints
- semantic knowledge
- natural language
- semantic description
- higher order
- semantic web
- semantic representation
- semantic network
- semantic similarity
- higher level
- domain specific
- semantic information
- domain independent
- semantic annotation
- case study
- formal specification
- semantically meaningful
- database
- delay insensitive
- semantic interpretation
- algebraic curves
- semantic features
- semantic concepts
- knowledge representation
- low level
- databases
- data sets