Current Slide

Small screen detected. You are viewing the mobile version of SlideWiki. If you wish to edit slides you will need to use a larger device.

RIF Dialects

  • RIF Core
    • A language of definite Horn rules without function symbols (~ Datalog)
    • A language of production rules where conclusions are interpreted as assert actions
  • RIF BLD
    • A language that lies within the intersection of first-order and logic-programming systems
  • RIF FLD
    • A formalism for specifying all logic dialects of RIF
    • Syntax and semantics described mechanisms that are commonly used for various logic languages (but rarely brought all together)
  • RIF PRD
    • A formalism for specifying production rules
  • Other common specifications
    • RIF DTB – Defines data types and builtins supported by RIF
    • RIF OWL/RDF compatibility – Defines how OWL and RDF can be used within RIF
    • RIF XML data - Defines how XML can be used within RIF

Speaker notes:

Content Tools

Sources

There are currently no sources for this slide.