Category:Approved
From RIF
Jump to:
navigation
,
search
Approved Test Cases
Pages in category "Approved"
There are 55 pages in this category.
A
Arbitrary Entailment
Assert
B
Builtin literal-not-identical
Builtins List
Builtins Numeric
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
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
M cont.
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
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
Search
Toolbox
What links here
Related changes
Upload file
Special pages
Printable version
Permanent link