Warning:
This wiki has been archived and is now read-only.
All pages
- File:600px-Yes check.svg.png
- APS
- RIF:About
- Template:Action
- All Builtins
- Alt AbstrAction
- Annotation Entailment
- Annotations
- Category:Approved
- Arbitrary Entailment
- Argument names in named-argument uniterms 1
- Argument names in named-argument uniterms 2
- Argument names in named-argument uniterms 3
- Argument names in named-argument uniterms 4
- Argument names in uniterms 1
- Argument names in uniterms 2
- Argument names in uniterms 3
- Argument names in uniterms 4
- Argument names not Const
- Assert
- AssertRetract
- AssertRetract2
- Template:AsstScribe
- Template:AtRisk
- Template:AtRiskRef
- AtomicModify
- AxelPolleres
- Axel Polleres
- BLD
- BLD Syntax Table
- Category:BLD Test
- Template:BlueBanner
- Built-Ins numeric add
- Built-ins numeric add
- Builtin literal-not-identical
- Builtins Binary
- Builtins List
- Builtins Numeric
- Builtins PlainLiteral
- Builtins String
- Builtins Time
- Builtins XMLLiteral
- Builtins anyURI
- Builtins base64Binary
- Builtins boolean
- Builtins literal-not-identical
- Builtins numeric
- File:CIMG4432.JPG
- CR Exit
- CR Exit Criteria
- CR Transition Request
- CSS/datatable.css
- CSS/testcase.css
- CSS/tr.css
- Calendar
- Chaining strategy numeric-add-1
- Chaining strategy numeric-add-2
- Chaining strategy numeric-add 1
- Chaining strategy numeric-add 2
- Chaining strategy numeric-subtract-1
- Chaining strategy numeric-subtract-2
- Chaining strategy numeric-subtract 1
- Chaining strategy numeric-subtract 2
- Category:ChangedSinceApproval
- ChanghaiKe
- Changhai Ke
- Template:Chatlog
- Chatlog 2008-09-26
- Chatlog 2008-09-27
- Chatlog 2009-01-14
- Chatlog 2009-01-15
- Chatlog 2009-04-15
- Chatlog 2009-04-16
- Chatlog 2009-04-17
- Chatlog 2010-08-25
- Chatlog 2011-06-08
- Chatlog 2012-09-04
- Chatlog 2012-10-23
- Chatlot 2011-06-08
- File:Chicken.txt
- File:Chicken.xml
- User:ChrisWelty
- Chris Welty
- Template:Cite
- Class Membership
- Classification-inheritance
- Classification-inheritance 2
- Classification non-inheritance
- MediaWiki:Common.css
- Category:CompleteRuleBase
- CompleteRuleBase
- Compliance
- Conflict resolution
- Conformance
- Template:Contact
- Category:Contribution
- Conversion-test
- Core
- Core-alt
- Core-alternative
- Core NonSafeness
- Core NonSafeness 2
- Core Safeness
- Core Safeness 2
- Core Safeness 3
- Core Schema
- Category:Core Test
- File:Coverage.png
- Coverage built-Ins numeric add
- Coverage built-ins numeric add
- Current events
- RIF:Current events
- File:DSC00115.JPG
- DTB
- DataTypes
- DaveReynolds
- Dave Reynolds
- Disjunctive Information
- Disjunctive Information from Negative Guards
- Disjunctive Information from Negative Guards 1
- Disjunctive Information from Negative Guards 2
- Disjunctive Information from Negative Guards 3
- Disjunctive Information from Unsafe Builtins
- Template:DraftMinutes
- EBusiness Contract
- Template:EdNote
- ElementEqualityFromListEquality
- EntailEverything
- EntailEverything 1
- EntailEverything 2
- EntailEverything 3
- EntailEverything 4
- EntailEverything 5
- EntailEverything 6
- Entail everything
- Entail everything Test Case
- Equality
- Equality in conclusion 1
- Equality in conclusion 2
- Equality in conclusion 3
- Equality in condition
- Errata
- Errata 2012
- Errata First Edition
- Template:Events
- Exists
- Exit Criteria
- File:Extensibility.png
- Extension Request 2008
- Extension Request 2009
- Extension Request 2009b
- Extension Request 2010
- External Frames 1
- F2F10
- F2F10 Minutes
- F2F11
- F2F12
- F2F13
- F2F9 Minutes
- FAQ
- FLD
- FLD-copy
- FLD2
- Factorial Forward Chaining
- Factorial Functional
- Factorial Relational
- FallbackDo2And.xsl
- Features At Risk
- File:Fib.txt
- File:Fib.xml
- Fibonacci
- Property:Foaf:homepage
- Property:Foaf:knows
- Property:Foaf:name
- Template:FormRow
- Frame slots are independent
- Frames
- Free variables
- Template:Frozen
- File:Gary.jpg
- Gary Hallmark
- File:Goals.png
- Guards and subtypes
- Guide
- User:Harold Boley
- User:HassanAitKaci
- Hassan Aït-Kaci
- Template:Heading
- How to Submit an Implementation Report
- How to use Reference Templates
- Template:IRC
- IRI from IRI
- IRI from RDF Literal
- IRL
- Implementation Reports
- Implementations
- Template:ImportEntailmentTest
- Template:ImportNegativeEntailmentTest
- Template:ImportPositiveEntailmentTest
- Category:ImportRejectionTest
- Template:ImportTest
- Category:ImportsTest
- Category:InDevelopment
- Inconsistent Entailment
- Individual-Data Separation Inconsistency
- File:Interoperability.png
- Template:Issue
- JRules Example
- JanM1
- JosDeBruijn
- LastCallPlan
- File:Lci.png
- File:Legend.png
- Limited Forward Compatibility
- ListConstantEquality
- ListEqualityFromElementEquality
- ListLiteralEquality
- Lists
- Local Constant
- Local Predicate
- MediaWiki:Mainpage
- MalformedLists
- Template:May
- Meetings
- Metadata examples
- Model Brain Anatomy
- Modeling Brain Anatomy
- Modify
- Modify loop
- Modify noloop
- Multiple Context Error
- Multiple IRIs from String
- Multiple Strings from IRI
- Template:Must
- Template:Mustnot
- Named Argument Uniterms/Frames 1
- Named Argument Uniterms/Frames 2
- Named Argument Uniterms Test
- Named Argument Uniterms Test2
- Named Argument Uniterms non-polymorphic
- Named Arguments
- Template:Nearby
- Category:NegativeEntailmentTest
- NegativeEntailmentTest
- Template:NegativeEntailmentTest
- Category:NegativeSyntaxTest
- NegativeSyntaxTest
- Template:NegativeSyntaxTest
- Negative Entailment Test
- Negative Entailment non-inheritance
- Negative Syntax free vars
- Negative Syntax single context
- Negative Syntax test1
- NestedListsAreNotFlatLists
- File:NoSurprises.png
- No free variables
- No polymorphic symbols
- Template:Node
- Non-Annotation Entailment
- Category:Not-Proposed Test Case
- NotAssertRetract
- Template:Nowiki
- Category:OWL+BLD Test
- OWL-OC
- OWLRL
- OWL Combination Invalid DL Formula
- OWL Combination Invalid DL Import
- OWL Combination Vocabulary Separation Inconsistency
- OWL Combination Vocabulary Separation Inconsistency 1
- OWL Combination Vocabulary Separation Inconsistency 2
- OWL Combination Vocabulary Separation Inconsistency II
- Category:Obsolete
- OpenLists
- Template:Optional
- Ordered Relations
- Ordering
- Overview
- Property:Owl:differentFrom
- PER Transition Request
- File:PR-Toast.JPG
- Talk:PRD
- PRD
- File:PRDCondition.png
- File:PRDCondition 1-5.png
- PRD Actions
- PRD Discussions
- PRD F2F Wednesday 11 February
- PRD High Priority Items
- PRD Logic Example
- PRD RAF
- PRD Refraction Repeatability
- PRD Ruleset Example
- PRD Ruleset Example Schema
- PRD Safeness
- PRD Safeness As Core Extension
- PRD Safeness Bottomup
- PRD Safeness Operational
- PRD Schema
- Category:PRD Test
- PRD Working Examples
- PRD tests
- File:PRDdiagram.jpg
- File:PRDtutorial.pdf
- PR Feature comparison
- PR Transition Request
- Papers
- Parents
- File:Parents.txt
- File:Parents.xml
- Participants2
- Polymorphic symbols
- Positional Arguments
- Template:PositiveEntailmentTest
- PositiveEntailmentTest
- Category:PositiveEntailmentTest
- Template:PositiveEntailmentTest2
- Template:PositiveEntailmentTest 2
- PositiveEntailment Entail everything
- PositiveEntailment UC1
- PositiveEntailment UCR 4.1a
- PositiveEntailment UCR 4.7
- Template:PositiveSyntaxTest
- Category:PositiveSyntaxTest
- Positive Entailment Test
- Positive Entailment UCR4d5Part1
- Positive Entailment UCR4d5Part2
- Positive Entailment UCR4d6
- Category:Postponed
- Presentation Syntax
- Primer
- File:ProcessingModelUC1.png
- Prolog Example
- Category:Proposed
- Category:Proposed Test Case
- Public Comments
- Category:Publication Round
- Publicity
- Purchase
- File:Purchase.txt
- File:Purchase.xml
- Quantify free variables
- Category:RDF+BLD Test
- RDF Combination Blank Node
- RDF Combination Constant Equivalence
- 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 Constant Equivalence Graph Entailment 1
- RDF Combination Constant Equivalence Graph Entailment 2
- RDF Combination Constant Equivalence Graph Entailment 3
- RDF Combination Constant Equivalence II
- RDF Combination Constant Equivalence III
- RDF Combination Invalid Constant 1
- RDF Combination Invalid Constant 2
- RDF Combination Invalid DL Formula
- 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
- RDF Combination blank node
- RDF Combination frame-triple correspondence
- RDF Combination frame/triple correspondence
- RDFplusRIF test1
- RIF+XML data-schema
- RIF-OO
- RIF-OWL-datatypes
- Category:RIF-OWL Combination
- RIF-RDF-Lists
- Category:RIF-RDF Combination
- File:RIF DIALECTS VENN.jpg
- RIF FAQ
- RIF FLD Dialects
- RIF In RDF
- RIF Working Group
- RIF Working Group/Test Spec
- File:RIFtutorial@RuleML09.pdf
- RRD
- Template:Ref-rdf-PlainLiteral
- Template:Ref-rdf-plain-literal
- Template:Ref-xml-schema2
- Template:Ref/GRDDL
- Template:Ref/OWL2 Mapping
- Template:Ref/RDF
- Template:Ref/RDF Concepts
- Template:Ref/RDF Semantics
- Template:Ref/RDF Tools
- Template:Ref/RDF XML
- Template:Ref/RDFa
- Template:Ref/RIF BLD
- Template:Ref/RIF Charter
- Template:Ref/RIF Core
- Template:Ref/RIF FLD
- Template:Ref/RIF Overview
- Template:Ref/RIF PRD
- Template:Ref/RIF RDF+OWL
- Template:Ref/SPARQL ER
- Template:Ref/Turtle
- Category:Reference
- References/ref-xml-schema2
- Regular attendees
- Category:Rejected
- Resolutions
- Response to AA1
- Response to AR1
- Response to AR2
- Response to AR3
- Response to AR4
- Response to AR5
- Response to BG1
- Response to CB1
- Response to CD2
- Response to CD3
- Response to CS1
- Response to DC
- Response to DC2
- Response to DM1
- Response to DM2
- Response to DM3
- Response to EP1
- Response to GL1
- Response to IH
- Response to JA
- Response to JC
- Response to JC2
- Response to JC3
- Response to JM
- Response to JM1
- Response to JanM1
- Response to JdR1
- Response to MS
- Response to NB1
- Response to NB2
- Response to OK
- Response to PF1
- Response to PPS3
- Response to PPS4
- Response to PasH1
- Response to RAK
- Response to RG1
- Response to RG2
- Response to SH1
- Response to StH1
- Response to TG1
- Response to TK1
- Response to TK2
- Response to TK3
- Response to WL
- Response to WL1
- Response to WL2
- Response to YJH1
- Retract
- Template:Review
- Template:RoundDoc
- Round 10
- Round 11
- Round 12
- Round 13
- Round 14
- Round 15
- Round 16
- Round 7
- Round 8
- Round 9
- SWC
- SWC/OWL-Compatibility
- Template:SWCTest
- SWC OWL Proofs
- SWC test1
- SWC test2
- User:Sandro
- Sandro
- User:Sandro Hawke
- Sandro Hawke
- User:Sandro Hawke/test1
- User:Sandro Hawke/test2
- Schemas Index
- Template:Scribe
- ScribeRing
- Template:Should
- Template:Shouldnot
- MediaWiki:Sidebar
- Signalling Ordering
- User:Smitchel
- MediaWiki:Smw import foaf
- MediaWiki:Smw import owl
- MediaWiki:Smw import skos
- Template:Snapper
- Sort
- File:Sort.txt
- File:Sort.xml
- Template:Status
- Template:SyntaxSwitch
- Syntax (Negative) free vars
- Syntax (Negative) single context
- TCS
- Template:TR
- TeleconRegrets
- Terse constands and variables
- Terse consts
- Test
- Template:TestCase
- Template:TestCaseProperty
- Template:TestCase query
- Template:TestCase query row format
- Category:Test Case
- Test Case Arbitrary Entailment
- Test Case Bindings
- Test Case Disjunctive Information
- Test Case Equality
- Talk:Test Case Example
- Test Case Example
- Test Case Format
- Test Case Frames
- Test Case Inconsistent Entailment
- Test Case Local Constant
- Test Case Local Predicate
- Test Case Membership
- Test Case NegativeSyntax1
- Test Case Number of Results
- Test Case Number of Results Less
- Test Case Number of Results More
- Test Case Ordered Relations
- Test Case Positive
- Test Case Positive Entails
- Test Case Positive Time
- Test Case UCR4d6
- Test Case Unordered Relations
- TextExample
- File:TheCheese.JPG
- File:TheQuiche.JPG
- ToDo before BLD last call
- UCR
- UCR4d5Part1
- UCR4d5Part2
- UCR4d6
- UCR 4.1.1
- UCR 4.1.3
- UCR 4.1a
- UCR 4.7
- UCR 4.7a
- UCR 4d5Part1
- UCR 4d5Part2
- UCR 4d6
- Unordered Relations
- Template:Var
- Template:Vbar
- File:W3C RIF-CW-9-09.pdf
- File:W3Calignment.png
- XML-Data
- Template:Y
- YoungParentDiscount1
- YoungParentDiscount2
- YoungParentDiscount 1
- YoungParentDiscount 2