Sticky Rules

From RuleML Wiki
Jump to: navigation, search
--WikiSysop (talk) 08:24, 10 May 2014 (ADT)

1 Issue Description

To restore decidability to Datalog+, one option is to restrict according to the "Sticky Rules" requirement[1]

2 Options

2.1 Option 1

Use Schematron.

2.2 Option 2

3 Discussion

4 Resolution

4.1 Relax NG Modules

4.2 Relax NG Drivers

4.3 MYNG Engine

4.4 MYNG GUI

4.5 XSDs

4.6 Unit Tests

4.7 XSLTs

5 References

  1. A. Cali, G. Gottlob, and A. Pieris; Advanced processing for ontological queries; Proceedings of VLDB-10, 3(1):554–565, 2010.