Category:Proposed
From RIF
Jump to:
navigation
,
search
Proposed Test Cases
Pages in category "Proposed"
There are 34 pages in this category.
A
AssertRetract
AssertRetract2
B
Builtins Binary
Builtins PlainLiteral
Builtins String
Builtins Time
Builtins XMLLiteral
Builtins anyURI
Builtins boolean
E
ElementEqualityFromListEquality
Equality in conclusion 3
F
Fibonacci
L
ListConstantEquality
ListEqualityFromElementEquality
ListLiteralEquality
M
Multiple IRIs from String
Multiple Strings from IRI
N
Named Argument Uniterms non-polymorphic
No free variables
O
OWL Combination Invalid DL Formula
Ordered Relations
P
Parents
Purchase
R
RDF Combination Constant Equivalence 1
RDF Combination Constant Equivalence 4
RDF Combination Invalid Constant 1
RDF Combination Invalid Constant 2
RDF Combination Invalid Profiles 1
Retract
S
Sort
U
UCR 4.1a
UCR 4.7a
Unordered Relations
Y
YoungParentDiscount 2
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