The Declaratron, semantic specification for scientific computation using MathML.
Dave Murray-RustPeter Murray-RustPublished in: CoRR (2013)
Keyphrases
- high level
- specification language
- domain specific
- semantically meaningful
- formal methods
- machine learning
- artificial intelligence
- semantic knowledge
- natural language
- semantic web
- semantic network
- database
- semantic analysis
- semantic interpretation
- semantic representation
- scientific data
- semantic level
- mathematical formulas
- semantic content
- efficient computation
- formal specification
- semantic similarity
- domain ontology
- semantic information
- multimedia
- data mining