A Formal Language for XML Authorisations Based on Answer Set Programming and Temporal Interval Logic Constraints.
Sean PolicarpioYan ZhangPublished in: Int. J. Secur. Softw. Eng. (2011)
Keyphrases
- formal language
- answer set programming
- logic programming
- constraint logic programming
- logic programs
- formal semantics
- answer sets
- causal theories
- derivation rules
- natural language
- answer set programs
- representation language
- natural language interface
- xml documents
- stable model semantics
- knowledge representation
- data model
- xml data
- databases
- object oriented
- constraint programming
- metadata
- nonmonotonic reasoning
- declarative programming
- stable models
- data exchange
- inductive logic programming
- xml schema
- background knowledge
- data integration
- general purpose
- query language
- relational databases
- expert systems
- data mining