Sticky Policies in OWL2: Extending PL with Fixpoints and Transitive Closure.
Piero A. BonattiLuigi SauroPublished in: KR (2022)
Keyphrases
- transitive closure
- expressive power
- first order logic
- recursive queries
- query evaluation
- knowledge representation
- constraint databases
- deductive databases
- directed acyclic graph
- query language
- fixpoint
- logic programs
- relational algebra
- nonmonotonic reasoning
- knowledge base
- spatial databases
- concept hierarchy
- database
- expert systems
- databases