A formal semantic definition of DEVIL.
Lei LuoMing-Yuan ZhuQing-Li ZhangPublished in: ACM SIGPLAN Notices (2003)
Keyphrases
- natural language
- high level
- semantic annotation
- model theoretic
- semantic content
- domain specific
- semantic network
- formal ontologies
- operational semantics
- semantic search
- semantic information
- semantic web
- e learning
- topic maps
- semantic analysis
- conceptual graphs
- case study
- semantic technologies
- artificial intelligence
- data sets