Towards language-parametric semantic editor services based on declarative type system specifications.
Daniël A. A. PelsmaekerHendrik van AntwerpenEelco VisserPublished in: SPLASH (Companion Volume) (2019)
Keyphrases
- natural language
- web services discovery
- declarative language
- specification language
- high level
- attribute grammars
- strongly typed
- semantic constraints
- programming language
- semantic matching
- web services
- semantically equivalent
- semantic web technologies
- linguistic analysis
- formal language
- operational semantics
- semantic information
- service oriented
- semantic representations
- service discovery
- service providers
- end users
- domain independent
- semantic technologies
- semantic knowledge
- type checking
- semantic annotation
- semantic analysis
- context dependent
- information services
- semantic representation
- language learning
- formal specification
- semantic structure
- modeling language
- semantic web
- controlled natural language
- formal descriptions
- data manipulation language
- web service composition
- conceptual graphs
- finite state machines
- service composition
- ubiquitous computing
- semantic similarity
- domain specific
- knowledge representation