Rules and DAML:
Description Logic Programs,
Rule-based Semantic Web Services, their
Application Scenarios;
and RuleML Update

Presentation for DAML PI Meeting,
Oct. 17, 2002, Portland, OR, USA.
This version slightly further edited, dated Oct. 21, 2002.

What is “DAML Rules”?

Motivation from Semantic Web “Stack”

Outline:  
Rules wrt DAML+OIL, DAML-Services

Description Logic Programs (DLP)

Venn Diagram:  Expressive Overlaps among KR’s

LP as a superset of DLP

Candidate:  First Order Logic

Overview of DLP Features

Examples of DL beyond DLP

Examples of LP beyond DLP

 Benefits:  What  DLP  Enables, in Principle

DL Task Scenarios / Use Cases
-- how well do they map to Rules?

"Key aim:"

Hybrid DL+LP Task Scenarios/Use-Cases

Related Work to DLP

Outline:  
Rules wrt DAML+OIL, DAML-Services

Rule-based Semantic Web Services

Rule-based Semantic Web Services

Application Scenarios
for Rule-based Semantic Web Services

Example Contract Proposal with Exception Handling
Represented using RuleML & DAML+OIL, Process Descriptions

SCLP TextFile Format for (Daml)RuleML

Example Contract Proposal, Continued: 
lateDeliveryPenalty exception handler module

Outline:  
Rules wrt DAML+OIL, DAML-Services

Other Misc. on Rules and DAML

RuleML Update

Other Issues in Rules

Bibliography

Bibliography, continued

"Thanks!"

OPTIONAL SLIDES FOLLOW

Some Specializations of “Sell”
in the MIT Process Handbook (PH)

Some exception handlers in the MIT Process Handbook

Translating a Rule from (Daml)RuleML to Jess

Continued:  Translating a Rule from (Daml)RuleML to Jess

Translating an Effector Statement

Functionality:   SWEETRules Prototype
(Semantic WEb Enabling Technology)

Dec.-2001 Architecture:   SWEETRules Prototype
(Semantic WEb Enabling Technology)

DUMMY: 
Rule-based Semantic Web Services

Speaker Bio