This is an index of all pages in this Wiki.
See also:
WordIndex -- a permuted index of all words occuring in titles
SiteNavigation -- other indexing schemes
2 | A | B | C | D | E | F | G | H | I | J | L | M | N | O | P | R | S | T | U | W | X
Include system pages |
Plain title index |
XML title index
2
2005-12-20 Meeting2006-01-03 Meeting
2006-01-10 Meeting
2006-01-17 Meeting
2006-01-24 Meeting
2006-01-31 Meeting
2006-02-07 Meeting
2006-02-14 Meeting
2006-02-21 Meeting
2006-03-07 Meeting
2006-03-14 Meeting
2006-03-21 Meeting
2006-03-27 Meeting
2006-03-28 Meeting
2006-04-04 Meeting
2006-04-11 Meeting
2006-04-18 Meeting
2006-04-25 Meeting
2006-05-02 Meeting
2006-05-09 Meeting
2006-05-16 Meeting
2006-05-23 Meeting
2006-05-30 Meeting
2006-06-20 Meeting
2006-06-27 Meeting
2006-07-04 Meeting
2006-07-18 Meeting
2006-07-25 Meeting
2006-08-01 Meeting
2006-08-08 Meeting
2006-08-15 Meeting
2006-08-22 Meeting
2006-08-29 Meeting
2006-09-05 Meeting
2006-09-12 Meeting
2006-09-19 Meeting
2006-09-26 Meeting
2006-10 10 Meeting
2006-10-03 Meeting
2006-10-10 Meeting
2006-10-14 Meeting
2006-10-17 Meeting
2006-10-24 Meeting
2006-10-31 Meeting
2006-11-14 Meeting
2006-11-21 Meeting
2006-12-05 Meeting
2006-12-12 Meeting
2006-12-19 Meeting
2007-01-02 Meeting
2007-01-09 Meeting
2007-01-16 Meeting
2007-01-23 Meeting
2007-01-30 Meeting
2007-02-06 Meeting
2007-02-13 Meeting
2007-02-20 Meeting
2007-03-06 Meeting
2007-03-20 Meeting
2007-03-27 Meeting
2007-04-03 Meeting
2007-04-10 Meeting
2007-04-17 Meeting
2007-04-24 Meeting
2007-05-01 Meeting
2007-05-08 Meeting
2007-05-15 Meeting
2007-05-22 Meeting
2007-05-29 Meeting
2007-06-12 Meeting
2007-06-19 Meeting
2007-06-26 Meeting
2007-07-03 Meeting
2007-07-10 Meeting
2007-07-17 Meeting
2007-07-24 Meeting
2007-07-31 Meeting
2007-08-07 Meeting
2007-08-14 Meeting
2007-08-21 Meeting
2007-08-28 Meeting
2007-09-04 Meeting
2007-09-11 Meeting
2007-09-18 Meeting
2007-10-01 Meeting
2007-10-02 Meeting
2007-10-09 Meeting
2007-10-16 Meeting
2007-10-23 Meeting
2007-10-30 Meeting
2007-11-13 Meeting
2007-11-27 Meeting
2007-12-11 Meeting
2007-12-18 Meeting
2008-01-29 Meeting
A
A Library of Biomedical ontologiesA. Assumptions
A. RIF Condition Language
A.1 Basis: Positive Conditions
A.1.0 Nucleus: Positive Conditions
A.1.1 Basis: Positive Conditions over Bipartitioned Constants
A.2 Extension: Negative Conditions
A.3 Extension: Builtins in Conditions
A.4 Extension: Resource Conditions
A.5 Extension: Ontology Conditions
A.6 Semantics of Constraints
A.7 Mapping Rule Bodies of Other Languages to RIF Condition Language
Abstract Syntax
AbstractModel
AbSynt
AdminGroup
AdrianGiurca
AdrianGiurca/FLD-Review
Alternative Extensible Design
Arch
Arch/Data Sets
Arch/Equilty
Arch/Extensibility
Arch/Extensibility Design Choices
Arch/Extensibility2
Arch/Extensibility3
Arch/Introduction
Arch/naf example
Arch/Naming Conventions
Arch/RDF-Data
Arch/RIF Components
Arch/RIF Components/RIF Dialect Structure
Arch/RIF Components/RIF Expression Components
Arch/RIF Components/Rules and Rule Sets
Arch/Semantics
Arch/Syntax
Arch/Test Cases
Arch/Using RIF
Arch/XML Syntax
Arch/XML Syntax Issues 1
Arch/XML Syntax Issues 2
Arch/XML Syntax Issues/Constants
Arch/XML Syntax Issues/Identifying Rulesets
Arch/XML Syntax Issues/Positional Arguments
Arch/XML Syntax Issues/Root Element
asn06
asn07
Automated Trust Establishment for Accessing Medical Records
Automated Trust Establishment for eCommerce
Automatically generated rules
AxelPolleres
B
B. Extension: RIF Horn Rule LanguageB. Extension: RIF Rule Language
B.1 Horn Rules
B.1.1 CLP Formulation
B.2 Extension: General Rule Sets
BenjaminGrosof
BijanParsia
BillAndersen
BLD
BLD Name Issues
BLD/Overview
BLD/References
BLD/Semantics
BLD/Specification
BLD/Syntax
bNode Semantics
BottomUpClassification
Business Rule
C
C. Extension: RIF Production and Reaction Rule LanguagesCalendar
Capability to pass descriptive text through RIF
CategoryGlossaryEntry
ChristianDeSainteMarie
ChrisWelty
CIF
Classification of Rules
Classification of Rules w.r.t. their role
Common Logic
Compliant applications must handle any valid RIF document in a predictable way
Concrete examples given in Protune
Conflict Resolution Strategies
Consistency with major market technologies
CORE
Core
CORE 2007-6-28
Core mapping to PR
Core/Compatibility
CORE/Conditions
Core/Conditions
Core/Conditions 2007-6-28
CORE/Conditions/Positive
Core/EndNotes
Core/EndNotes 2007-6-28
CORE/Horn Rules
Core/Horn Rules
Core/Horn Rules 2007-6-28
Core/Horn Rules Alternative
Core/List Constructor
Core/List Constructor 2007-6-28
Core/List Constructor-alt
Core/Overview
Core/Overview 2007-6-28
CORE/Positive Conditions
Core/Positive Conditions
Core/Positive Conditions 2007-6-28
Core/References
Core/RIF-OWL Compatibility
Core/RIF-RDF Compatibility
CORE/Rules
Core/Rules
Core/Rules 2007-6-28
CORE/Rules/Horn
Core/Slotted Conditions
Core/Slotted Conditions 2007-6-28
Core/Specification
Core/Specification 2007-6-28
Core/Validation
Credit Card Transaction Authorization
Cross-Platform Rule Development & Deployment
D
D. Evaluation: Use CasesDanConnolly
DarkoAnicic
DaveReynolds
DavidHirtle
DeborahNichols
DeborahNichols/UCR saved draft
Decision making in Health Care
Decision Support
Design Constraints
Design Constraints/Terminology
Design Contraints
Design Principles
Discussion of UC1 - Negotiating eBusiness Contracts Across Rule Platforms
Distributed e-Learning
DLV
DonaldChapin
Draft - Requirements on RIF
E
E-Contracts with Exceptions, with OWL Process OntologiesE-Procurement Contract Exchange, with Default-Inheritance Ontologies
E. Evaluation: Interoperation/Interchange
EnricoFranconi
Enterprise Information Integration
Extended RIF must cover FOL
Extended RIF must support production rules
Extensible Design
F
F-logicF. Mappings to Other Languages
F2F1
F2F1 Breakout Session on OWL and RDF Compatibility
F2F10
F2F2
F2F2/Approaches to OWL Compatibility
F2F2/DesignGoals1
F2F2/RequirementsBrainstorming
F2F3
F2F4
F2F4 MITRE Proposal
F2F4/UCR
F2F5
F2F6
F2F7
F2F8
F2F9
Face-to-Face Meetings
Filling the holes of OWL
First-Order Logic
FLD
FLD/Overview
FLD/References
FLD/Semantics
FLD/Syntax
FLORA-2
Four Modal Operators
Frame-based representation, Inheritance of defaults, Reification
FrançoisBry
Functions and Operators on Dates and Times
Functions and Operators on Numerics
Functions on Strings
Fuzzy Reasoning with Brain Anatomical Structures
G
GaryHallmarkGeneral Use Case Categories
GerdWagner
GiorgosStamou
GiorgosStoilos
Glossary
Goals, Critical Success Factors and Requirements
H
HaroldBoleyHassanAitKaci
Higher Order and Frame Based Syntax
Higher-Orderness
HiLog
Horn Logic
Horn Rules Semantics
How to Add a Use Case
I
IanHorrocksIgorMozetic
Implementation plans
Implementations/SWRL
Importing rules to check data compliance
Information Integration
Information Integration with Rules and Taxonomies
Interchange of Business Rules between Business People in Different Organizations (Units) When Making Agreements
Interchange of Business Rules between People Who Run Organizations and Internally/Externally Supplied IT Systems
Interchange of Human-oriented Business Rules
Internet search: combining query language, rule languages and scoped negation
Interpretation and Interchange of Regulations
IRIS
Issue-31
ISWC Colocation Proposal
J
JamesHendlerJeffPan
JingMei
JohnHall
JosDeBruijn
JosDeBruijn/MyDict
JosDeRoo
L
Labeling Brain Anatomical Structures in Digital ImagesLeoraMorgenstern
List of BLD built-ins
List of functions and operators
List of Rule Systems
M
Managing incomplete informationMap
MarkusKrötzsch
MathML
Meeting Attendance
Meetings
Message Transformation
Meta-data for currency of rules
Meta-data indicating executability of rules
Meta-model
Method For Collecting And Organising Design Constraints
MichaelErdmann
MichaelKifer
MichaelSintek
MikeDean
Mini PR
MINS
MinsuJang
Multi-Dimensional Use Case Classification
N
N3negation
O
Offer module construct for scoped positive and negation as failure queriesOntology Mapping with OWL and Rules
OO jDREW
Operationally Equivalent Translations
OraLassila
Organizing a Vacation with Friends
OriginalRIFRAFDiscriminators
Outreach
OWL
OWL Compatibility
P
PageTestPascalHitzler
PaulaLaviniaPatranjan
PaulVincent
PeerTrust
Permit restricted form of equality
Personalisation and Uncertainty -- Representing some levels of fuzzy rules with the help of datatype built-ins
PeterPatelSchneider
Policy - Preference Computing
Policy-Based Transaction Authorization and Access Control
Portability
PositiveConditions.dtd
PRdialect
PRdialect/Action
PRdialect/Compatibility
PRdialect/Condition
PRdialect/Glossary
PRdialect/Overview
PRdialect/Pattern
PRdialect/Rules
Price Discounting
Product Compatibility
Production Rule
Prolog
Proposals for RIF's design goals
Publication
Publication of semantics (e.g. SKOS, RDFS)
Pure Prolog
R
R2MLRDF
RDF Compatibility
Real-time contract exchange
RecentScribes
Refund Policies in E-Commerce
RegretsPolicy
RegulatoryCompliance
Response to PPS1
Response to PPS2
REWERSE's Proposal: A Versatile, Declarative Format with Annotations
Rich Knowledge Representation
RIF Core must cover pure Prolog
RIF Core must support deduction rules
RIF Design
RIF must define expected default behaviour
RIF must define for all RIF elements a default behaviour for compliant applications that do not know how to process it
RIF RuleML FOAF
RIF rules should be able to call out to external query processors
RIF scope - exchange of RDFS/OWL fact models
RIF should be usable as the basis for a semantic web rule language
RIF Use Cases and Requirements
RifClassification
RifRafKickoffScribeNotes
RIFUCR - List of Classified Requirements (with Duplicate Elimination)
RIFUCR - List of Requirements (as Found in the Initial Use Cases)
RIFUCR - Use cases - Interoperability
RIFUCR - Use cases - Managing Rule
RIFUCR - Use cases - Policy-Based
RIFUCR - Use Cases - Publication2
RIFUCR - Use cases - Third Party
Rule
Rule Based Service Level Management and SLAs for Service Oriented Computing
Rule Interchange Through Test-Driven Verification and Validation
Rule-Based Combined Access to XML and RDF Data
Rule-Based Email Manipulation
Rule-Based Intelligent Guiding
Rule-Based Reactive Organizer
Rule-based Service Level Agreements (SLA) and Web Services
Rule-based User Notification (RUN) framework
RuleLanguageDialects
RuleML
Rules for a Credit Approval Service
Rules Systems Supporting Business Communication of Rules
Rulesystem Arrangement Framework
S
SaidTabetSandroHawke
Scoped negation, Encapsulation
ScribesList
Semantic Web Compatibility
Semantics Extensibility Point
Situation Assessment and Adaptation
Sound reasoning with unknown dialects
Standard RIF must be able to express RDF deduction rules
Standard RIF must support normative rules
Standard RIF must support reactive rules
Standard RIF should be Prolog-like but not Prolog-compatible
StanDevitt
StasinosKonstantopoulos
Supply Chain Ordering Lead Time
Support LP semantics with negation as failure and strong negation
Supporting the Reuse of Rules
SW Guide
SW rules for Health Care and Life Sciences
SWBPDWG
SWC
SWC/Embeddings
SWC/EndNotes
SWC/Overview
SWC/OWL-Compatibility
SWC/RDF-Compatibility
SWC/RDF-Semantics
SWC/RDF-Syntax
SWC/References
SWRL
SWRL FOL
SWSL-Rules
SystemPagesGroup
T
Tagging intended semanticsTeleconEtiquette
Telecons
temp
test2
The RIF Core must be able to accept OWL KBs as data
The RIF Core must be able to accept RDF triples as data
The RIF Core must be able to accept XML elements as data
Third Party Rule-Interchange Services
Towards a Rule Interchange Format: Goals, Critical Success Factors, Requirements
Transaction Logic
Transfer of rules between different vendor products
U
UC10 Worked ExampleUC2 Worked Example
UC3 Worked Example
UC6 Worked Example
UC7 Worked Example
UC8 Worked Example
UC9 Worked Example
UCR
UCR/Access to Business Rules of Supply Chain Partners
UCR/Basic RIF Processing Model
UCR/BPEL Orchestration of Rule-Based Web Services
UCR/Candidate Use Cases for 2nd Draft
UCR/Candidate Use Cases for 2nd Draft/PublicationAlternative
UCR/Collaborative Policy Development for Dynamic Spectrum Access
UCR/Conclusion
UCR/Coverage
UCR/Critical Factors Analysis
UCR/Critical Factors Analysis/Consistency with W3C specifications
UCR/Critical Factors Analysis/Exchange of Rules
UCR/Critical Factors Analysis/Open Issues
UCR/Critical Factors Analysis/Widescale Adoption
UCR/Decision Support/JeffPan's proposed slight extension to the example
UCR/Design Goals
UCR/Document issues
UCR/Goals
UCR/Interchanging Rule Extensions to OWL
UCR/Introduction
UCR/Managing Inter-Organizational Business Policies and Practices
UCR/Managing Inter-Organizational Business Policies and Practices - EX1
UCR/Managing Inter-Organizational Business Policies and Practices - Original
UCR/Methodology
UCR/Motivation for a Rule Interchange Format
UCR/Negotiating eBusiness Contracts Across Rule Platforms
UCR/Negotiating eCommerce Transactions Through Disclosure of Buyer and Seller Policies and Preferences
UCR/Publication
UCR/Publication of Intensional, Interlinked Metadata
UCR/Publishing Rules for Interlinked Metadata
UCR/Requirements
UCR/Requirements (Not in This Version)
UCR/Requirements Lists
UCR/Ruleset Integration for Medical Decision Support
UCR/The case for interchanging rules
UCR/Use Case Support
UCR/Use Cases
UCR/Vocabularly Mapping for Data Integration
UCR/Vocabulary Mapping for Data Integration
UCR/What is a Rule Interchange Format And Why Create One
Use Case Support for RIF's Design Constraints
Use Case Template
Use Cases
UseCaseTemplate-updated
UsingZakim
W
Ways of using OWL KBs as dataWD-DC
WebArch Vol 1
WebRuleLanguage
WG Resolutions
WikiBugs
WikiStyle
wikitr demo
wikitr demo/Cones
wikitr demo/Introduction
wikitr demo/Serving Styles
WorkingGroup
Write once, run everywhere
X
XcerptXChange
XPathFunctions
XQuery
XSD