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
Tools
Sources (0)
Tags (0)
Comments (0)
History
Usage
Questions (0)
Playlists (0)
Quality
Sources
There are currently no sources for this slide.