An Implementation of $\mathcal{A}^{xml(T)}$ : An Answer Set Programming Based Formal Language of Authorisation for XML Documents.
Sean PolicarpioYun BaiPublished in: WiMo/CoNeCo (2011)
Keyphrases
- xml documents
- answer set programming
- formal language
- xml data
- logic programs
- logic programming
- answer sets
- xml queries
- xml databases
- xml schema
- answer set programs
- satisfiability modulo theories
- relational databases
- labeling scheme
- integrity constraints
- structured data
- semi structured data
- data model
- sql queries
- xpath queries
- stable model semantics
- query optimization
- formal semantics
- knowledge base
- relational data
- knowledge representation
- xml trees
- semantic information
- path expressions
- machine learning
- data exchange
- database