This is an archive of an inactive wiki and cannot be modified.

This is an index of all pages in this Wiki.

See also:


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 Meeting
2006-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 ontologies
A. 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[1 attachments]
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[1 attachments]
Arch/Semantics
Arch/Syntax[3 attachments]
Arch/Test Cases[11 attachments]
Arch/Using RIF
Arch/XML Syntax
Arch/XML Syntax Issues 1[4 attachments]
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 Language
B. Extension: RIF Rule Language
B.1 Horn Rules
B.1.1 CLP Formulation[1 attachments]
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 Languages
Calendar
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[2 attachments]
Core/Horn Rules 2007-6-28
Core/Horn Rules Alternative[1 attachments]
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[1 attachments]
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[2 attachments]
Core/Specification 2007-6-28
Core/Validation
Credit Card Transaction Authorization
Cross-Platform Rule Development & Deployment

D

D. Evaluation: Use Cases
DanConnolly
DarkoAnicic
DaveReynolds
DavidHirtle
DeborahNichols
DeborahNichols/UCR saved draft
Decision making in Health Care
Decision Support
Design Constraints
Design Constraints/Terminology[1 attachments]
Design Contraints
Design Principles
Discussion of UC1 - Negotiating eBusiness Contracts Across Rule Platforms[1 attachments]
Distributed e-Learning
DLV
DonaldChapin
Draft - Requirements on RIF

E

E-Contracts with Exceptions, with OWL Process Ontologies
E-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-logic
F. Mappings to Other Languages
F2F1
F2F1 Breakout Session on OWL and RDF Compatibility
F2F10
F2F2[5 attachments]
F2F2/Approaches to OWL Compatibility
F2F2/DesignGoals1
F2F2/RequirementsBrainstorming
F2F3[1 attachments]
F2F4[1 attachments]
F2F4 MITRE Proposal[1 attachments]
F2F4/UCR
F2F5[19 attachments]
F2F6
F2F7
F2F8[2 attachments]
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

GaryHallmark
General Use Case Categories
GerdWagner
GiorgosStamou
GiorgosStoilos
Glossary
Goals, Critical Success Factors and Requirements[2 attachments]

H

HaroldBoley
HassanAitKaci
Higher Order and Frame Based Syntax
Higher-Orderness
HiLog
Horn Logic
Horn Rules Semantics
How to Add a Use Case

I

IanHorrocks
IgorMozetic
Implementation plans
Implementations/SWRL[3 attachments]
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

JamesHendler
JeffPan
JingMei
JohnHall
JosDeBruijn
JosDeBruijn/MyDict
JosDeRoo

L

Labeling Brain Anatomical Structures in Digital Images
LeoraMorgenstern
List of BLD built-ins
List of functions and operators
List of Rule Systems

M

Managing incomplete information
Map[1 attachments]
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

N3
negation

O

Offer module construct for scoped positive and negation as failure queries
Ontology Mapping with OWL and Rules
OO jDREW
Operationally Equivalent Translations
OraLassila
Organizing a Vacation with Friends
OriginalRIFRAFDiscriminators
Outreach
OWL
OWL Compatibility

P

PageTest
PascalHitzler
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[3 attachments]
PRdialect/Compatibility
PRdialect/Condition[6 attachments]
PRdialect/Glossary
PRdialect/Overview
PRdialect/Pattern[1 attachments]
PRdialect/Rules[6 attachments]
Price Discounting
Product Compatibility
Production Rule
Prolog
Proposals for RIF's design goals
Publication
Publication of semantics (e.g. SKOS, RDFS)
Pure Prolog

R

R2ML
RDF
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[4 attachments]
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[1 attachments]
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[1 attachments]

S

SaidTabet
SandroHawke
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 semantics[1 attachments]
TeleconEtiquette
Telecons[1 attachments]
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 Example
UC2 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[2 attachments]
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[2 attachments]
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[2 attachments]
UCR/Document issues
UCR/Goals[9 attachments]
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[1 attachments]
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 data
WD-DC[1 attachments]
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

Xcerpt
XChange
XPathFunctions
XQuery
XSD