PRD RAF

From RIF

Contents 1 Todo before RIF-PRD LC 1.1 Choices 1.2 Work in progress (to be completed) 1.3 Extensions (work to be started) 1.4 Difficulties to be resolved

Todo before RIF-PRD LC

Choices

• NAU or not NAU ?
• Which non-external ATOMICS ?
  • Atom ? Equal ? Instanceof ? Subclass?
• What do we need for externals ?
  • Atom ? Frames ? Equal ? Instanceof ? Subclass ?
• Which data types and builtins ?
  • Among the ones in DTB
  • Maybe : additional ones ?

Work in progress (to be completed)

• Actions (including binding local variables)
• XML Schema
• XML data source
• Import (application) data models as XML-S (and UML? And/or others?)
• Maybe : termination condition (FINAL) ?
• Maybe : other kinds of external data sources ?

Extensions (work to be started)

• Other-than-equality tests on attributes
• Methods
• Maybe : aggregates ?

Difficulties to be resolved

• Frames VS objects
• Maybe : backward-chaining rule, e.g. IF P( ?x + 1) THEN Assert[P( ?x)]
• Maybe : impact of SWC (import data/data models as OWL/RDF) ?