Category:Approved

From RIF

Jump to: navigation, search

Approved Test Cases

Pages in category "Approved"

There are 52 pages in this category.

A

  • Arbitrary Entailment
  • Assert

C

  • Chaining strategy numeric-add 1
  • Chaining strategy numeric-add 2
  • Chaining strategy numeric-subtract 1
  • Chaining strategy numeric-subtract 2
  • Class Membership
  • Classification non-inheritance
  • Classification-inheritance
  • Conflict resolution
  • Core NonSafeness
  • Core NonSafeness 2
  • Core Safeness
  • Core Safeness 2
  • Core Safeness 3

E

  • EntailEverything
  • Equality in conclusion 1

E cont.

  • Equality in conclusion 2
  • Equality in condition

F

  • Factorial Forward Chaining
  • Factorial Functional
  • Factorial Relational
  • Frame slots are independent
  • Frames

G

  • Guards and subtypes

I

  • IRI from IRI
  • IRI from RDF Literal
  • Inconsistent Entailment
  • Individual-Data Separation Inconsistency

L

  • Local Constant
  • Local Predicate

M

  • Modify
  • Modify loop
  • Modify noloop
  • Multiple Context Error

N

  • NestedListsAreNotFlatLists
  • Non-Annotation Entailment

O

  • OWL Combination Vocabulary Separation Inconsistency 1
  • OWL Combination Vocabulary Separation Inconsistency 2
  • OpenLists

R

  • RDF Combination Blank Node
  • RDF Combination Constant Equivalence 2
  • RDF Combination Constant Equivalence 3
  • RDF Combination Constant Equivalence Graph Entailment
  • RDF Combination Member 1
  • RDF Combination SubClass
  • RDF Combination SubClass 2
  • RDF Combination SubClass 3
  • RDF Combination SubClass 4
  • RDF Combination SubClass 5
  • RDF Combination SubClass 6

Y

  • YoungParentDiscount 1
Retrieved from "http://www.w3.org/2005/rules/wiki/Category:Approved"
Views
  • Category
  • Discussion
  • View source
  • History
Personal tools
  • Log in / create account
  • Login with OpenID
RIF Working Group
  • Home
  • Events
  • FAQ
  • Mail Archives
  • Public Comments
  • Blog
  • Tracker
  • Test Cases
  • Implementations
  • Resolutions
  • Old Wiki
  • Telecon Regrets
  • Help
  • Meetings
  • Recent changes
publications
  • Core
  • BLD
  • PRD
  • DTB
  • SWC
  • FLD
  • PlainLiteral
  • UCR
  • Test
 
Toolbox
  • What links here
  • Related changes
  • Upload file
  • Special pages
  • Printable version
  • Permanent link
Powered by MediaWiki
  • This page was last modified 14:33, 1 October 2008.
  • This page has been accessed 3,005 times.
  • Privacy policy
  • About RIF
  • Disclaimers