Category:PositiveEntailmentTest
From RIF
Jump to:
navigation
,
search
Positive entailment test cases
Pages in category "PositiveEntailmentTest"
There are 73 pages in this category.
A
All Builtins
Annotation Entailment
Arbitrary Entailment
Assert
AssertRetract
AssertRetract2
B
Builtin literal-not-identical
Builtins List
Builtins Numeric
Builtins PlainLiteral
Builtins String
Builtins Time
Builtins XMLLiteral
Builtins anyURI
Builtins base64Binary
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-inheritance
Conflict resolution
D
Disjunctive Information from Negative Guards 1
D cont.
Disjunctive Information from Negative Guards 2
Disjunctive Information from Negative Guards 3
E
ElementEqualityFromListEquality
EntailEverything
Equality
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
M
Modify
Modify loop
Modify noloop
M cont.
Multiple IRIs from String
Multiple Strings from IRI
N
NotAssertRetract
O
OWL Combination Vocabulary Separation Inconsistency 1
OWL Combination Vocabulary Separation Inconsistency 2
Ordered Relations
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 Member 1
RDF Combination SubClass 2
RDF Combination SubClass 4
RDF Combination SubClass 6
U
UCR 4.1a
UCR 4.7a
UCR 4d5Part1
UCR 4d5Part2
UCR 4d6
Unordered Relations
Y
YoungParentDiscount 1
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