Assuming You Know: Epistemic Semantics of Relational Annotations for Expressive Flow Policies.
Andrey ChudnovDavid A. NaumannPublished in: CSF (2018)
Keyphrases
- epistemic logic
- logic program updates
- relational databases
- formal semantics
- metadata
- highly expressive
- meta information
- logic programming
- semantic information
- relational data
- relational operators
- data model
- flow patterns
- provenance information
- logic programs
- model checking
- databases
- propositional dynamic logic
- xml keys
- database query languages
- annotation tool
- relational calculus
- semantic annotation
- optimal policy
- image sequences
- rdf graphs
- relational data model
- algebraic operations
- gene ontology
- belief change
- object oriented data models
- object oriented databases
- relational model
- knowledge representation languages
- dynamic epistemic logic
- kripke models
- query language