Warning:
This wiki has been archived and is now read-only.
Category:Test Case
From RIF
This page lists all test cases. Test cases can also be viewed by:
- Status: Approved | Proposed | Rejected | Obsolete | InDevelopment
- Type: Positive Entailment | Negative Entailment | Positive Syntax | Negative Syntax | Import Rejection | Complete Rulebases
Pages in category "Test Case"
The following 108 pages are in this category, out of 108 total.
A
B
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
- Classification-inheritance 2
- Conflict resolution
- Core NonSafeness
- Core NonSafeness 2
- Core Safeness
- Core Safeness 2
- Core Safeness 3
- Current events
D
E
F
I
L
M
N
O
R
- RDF Combination Blank Node
- RDF Combination Constant Equivalence 1
- RDF Combination Constant Equivalence 2
- RDF Combination Constant Equivalence 3
- RDF Combination Constant Equivalence 4
- RDF Combination Constant Equivalence Graph Entailment
- RDF Combination Invalid Constant 1
- RDF Combination Invalid Constant 2
- RDF Combination Invalid Profiles 1
- 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
- Retract
- RIF Working Group