Describe the pages in this category...
To add a page to this category, add a link to this page on the last line of the page. You can add multiple categories to a page.
List of pages in this category:
- Capability to pass descriptive text through RIF
- CategoryTemplate
- Consistency with major market technologies
- Design Principles
- DesignConstraintTemplate
- Four Modal Operators
- HelpOnInstalling/MinimalWiki
- HelpOnMacros
- Higher Order and Frame Based Syntax
- Meta-data for currency of rules
- Meta-data indicating executability of rules
- Offer module construct for scoped positive and negation as failure queries
- Permit restricted form of equality
- RIF rules should be able to call out to external query processors
- RIF scope - exchange of RDFS/OWL fact models
- RIF should be usable as the basis for a semantic web rule language
- Standard RIF should be Prolog-like but not Prolog-compatible
- Support LP semantics with negation as failure and strong negation
- SystemPagesInEnglishGroup
- Tagging intended semantics
- Use Case Support for RIF's Design Constraints