Category:Approved
From RIF
Jump to:
navigation
,
search
Approved Test Cases
Pages in category "Approved"
The following 84 pages are in this category, out of 84 total.
A
Arbitrary Entailment
Assert
AssertRetract
AssertRetract2
B
Builtin literal-not-identical
Builtins Binary
Builtins List
Builtins Numeric
Builtins PlainLiteral
Builtins String
Builtins Time
Builtins XMLLiteral
Builtins anyURI
Builtins boolean
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
EBusiness Contract
E cont.
ElementEqualityFromListEquality
EntailEverything
Equality in conclusion 1
Equality in conclusion 2
Equality in conclusion 3
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
ListConstantEquality
ListEqualityFromElementEquality
ListLiteralEquality
Local Constant
Local Predicate
M
Modeling Brain Anatomy
Modify
Modify loop
Multiple Context Error
Multiple IRIs from String
Multiple Strings from IRI
N
Named Argument Uniterms non-polymorphic
Named Arguments
N cont.
NestedListsAreNotFlatLists
No free variables
Non-Annotation Entailment
O
OWL Combination Invalid DL Formula
OWL Combination Invalid DL Import
OWL Combination Vocabulary Separation Inconsistency 1
OWL Combination Vocabulary Separation Inconsistency 2
OpenLists
P
Positional Arguments
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
Y
YoungParentDiscount 1
Views
Category
Discussion
View source
History
Personal tools
Log in
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
Special pages
Printable version
Permanent link