XML-izing Mizar: Making Semantic Processing and Presentation of MML Easy.
Josef UrbanPublished in: MKM (2005)
Keyphrases
- xml documents
- context dependent
- xml data
- document centric
- metadata
- xml query processing
- computer assisted
- data model
- semantic information
- real time
- topic maps
- semantic annotation
- data exchange
- xml streams
- xml databases
- semantic relationships
- xml query languages
- xml processing
- minimum message length
- relational data
- data types
- information processing
- model selection
- relational databases
- natural language
- high level
- databases
- markup language
- semantic search
- maximum likelihood
- xml format
- search engine