A Logical Framework for XML Reference Specification.
Carlo CombiAndrea MasiniBarbara OliboniMargherita ZorziPublished in: DEXA (2) (2015)
Keyphrases
- logical framework
- xml documents
- inference rules
- belief revision
- reasoning tasks
- metadata
- epistemic logic
- linear logic
- xml data
- xml schema
- possibilistic logic
- data exchange
- high level
- lower bound
- qualitative and quantitative
- game theory
- object oriented
- knowledge representation
- data model
- expert systems
- normative systems