Keyphrases
- formal semantics
- first order logic
- xml documents
- xml data
- xml processing
- logical reasoning
- logical language
- formal language
- operational semantics
- query evaluation
- modelling language
- xpath expressions
- xml queries
- xml query languages
- modeling language
- databases
- xpath queries
- speech acts
- query language
- ontology languages
- er model
- markup language
- regular expressions
- design patterns
- data model
- database systems
- e learning
- machine learning