Rule Languages: Rule Languages: Automotive Use Case Automotive Use - - PowerPoint PPT Presentation

Rule Languages: Rule Languages: Automotive Use Case Automotive Use Case

Kurt Godden Kurt Godden GM Technical Fellow GM Technical Fellow GM R&D GM R&D kurt.godden@gm.com kurt.godden@gm.com

Need for Business Rules/Constraints Need for Business Rules/Constraints

• If robot 1 is busy, send pallet to robot 2.

If robot 1 is busy, send pallet to robot 2.

• Ship dash assemblies in lot sizes of 20.

Ship dash assemblies in lot sizes of 20.

• Sheet metal guide hole diameter ≤ 3mm.

Sheet metal guide hole diameter ≤ 3mm.

Current Business Rules/Constraints Current Business Rules/Constraints

• Often implemented in

Often implemented in

– spreadsheets spreadsheets – text of contracts text of contracts – hard-coded in custom software hard-coded in custom software

Requirements Requirements

• We would like to express business rules

We would like to express business rules directly in RDF so we can attach to directly in RDF so we can attach to product/process ontology product/process ontology

p1 p2 p3 rules r1 r2 r3

Question: Question:

• How to distinguish between

How to distinguish between

– assertions about data and assertions about data and – rules that contain quantified variables? rules that contain quantified variables?

Assertion or Rule? Assertion or Rule?

var:x gm:vehicle rdf:type

How to distinguish a URIref as a variable vs. name? How to specify quantification over the variable?

Suggestion: Use Reification Suggestion: Use Reification

• Reify WFF’s

Reify WFF’s

• Use meta-assertion to specify resources

Use meta-assertion to specify resources that are variables, and their quantifiers that are variables, and their quantifiers

Example: Example: ∀ ∀x [type(x, vehicle)] x [type(x, vehicle)]

x vehicle

type

MyTriple wff

predicate subject

• bject

rdf:Seq

variables type

rule1

wff #_1 binds

universal Literal

type quantifier