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 p3 p1 p2 rules r1 r3 r2
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: ∀ ∀ x [type(x, vehicle)] x [type(x, vehicle)] Example: wff predicate MyTriple subject object rule1 variables wff type x vehicle #_1 binds type type Literal universal quantifier rdf:Seq
Recommend
More recommend
