Slotted RuleML for Metarole-Based Object-Centered Knowledge Representation

1
Slotted RuleML forMetarole-Based
Object-CenteredKnowledge Representation

• Harold Boley, NRC IIT e-Business

2 November 2002 Revised 26 February 2005
2
Slotted RuleML Via the Name-Giving Metarole slot
(I)

• Here is a self-explaining 'metarole' (slot)
  representationof the slotted, RDF-like Jess fact
• (automobile (make Ford) (model Explorer) (year
  1999))
• in Object-Oriented (OO) RuleML part of RuleML
  0.88 with user slots named via the first
  subelement
• ltAtomgt
• ltoprgtltRelgtautomobilelt/Relgtlt/oprgt
• ltslotgtltIndgtmakelt/IndgtltIndgtFordlt/Indgtlt/slotgt
• ltslotgtltIndgtmodellt/IndgtltIndgtExplorerlt/Indgtlt/s
  lotgt
• ltslotgtltIndgtyearlt/IndgtltIndgt1999lt/Indgtlt/slotgt
• lt/Atomgt

3
Slotted RuleML Via the Name-Giving Metarole slot
(II)

• This 'Slotted RuleML' notation corresponds to the
• 'positionalized' ruleml-datalog notation
• ltAtomgt
• ltoprgtltRelgtautomobilelt/Relgtlt/oprgt
• ltIndgtFordlt/Indgt
• ltIndgtExplorerlt/Indgt
• ltIndgt1999lt/Indgt
• lt/Atomgt
• if the 'roles' of the make, model, and year
  positions
• are remembered somewhere else (signature
  declaration)

4
Slotted RuleML Via the Name-Giving Metarole slot
(III)

• Note that a mix of an ordered sequence of args
  androle-unordered args will thus be possible in
  facts as well
• ltAtomgt
• ltoprgtltRelgtautomobilelt/Relgtlt/oprgt
• ltIndgtFordlt/Indgt
• ltIndgtExplorerlt/Indgt
• ltIndgt1999lt/Indgt
• ltslotgtltIndgtmileagelt/IndgtltIndgt65000lt/Indgtlt/sl
  otgt
• ltslotgtltIndgtcolorlt/IndgtltIndgtwhitelt/Indgtlt/slot
  gt
• lt/Atomgt
• Also, Ind elements can be replaced by (typed) Var
  elements in all of the positional, slotted and
  mixed notations

5
Flat Feature Terms in Slotted RuleML

• The minimal 'metarole' (slot) representation of
  the slotted,RDF-like (untyped) feature term,
  similar to F-logic term,
• automake -gt Ford model -gt Explorer year -gt
  1999
• in RuleML 0.88 with user slots named via the
  first subelement
• ltCtermgt
• ltopcgtltCtorgtautolt/Ctorgtlt/opcgt
• ltslotgtltIndgtmakelt/IndgtltIndgtFordlt/Indgtlt/slotgt
• ltslotgtltIndgtmodellt/IndgtltIndgtExplorerlt/Indgtlt/slot
  gt
• ltslotgtltIndgtyearlt/IndgtltIndgt1999lt/Indgtlt/slotgt
• lt/Ctermgt
• Can also be used as an argument in facts

6
Nested Feature Terms in Slotted RuleML

• The representation of the nested (untyped)
  feature term
• vehiclewinter -gt automake -gt Ford model -gt
  Explorer year -gt 1999
• summer -gt cyclemake -gt Honda model
  -gt Magna year -gt 2002
• in RuleML 0.88 with user slots named via the
  first subelement
• ltCtermgt
• ltopcgtltCtorgtvehiclelt/Ctorgtlt/opcgt
• ltslotgtltIndgtwinterlt/Indgt
• ltCtermgt
• ltopcgtltCtorgtautolt/Ctorgtlt/opcgt
• ltslotgtltIndgtmakelt/IndgtltIndgtFordlt/Indgtlt/slo
  tgt
• ltslotgtltIndgtmodellt/IndgtltIndgtExplorerlt/Indgt
  lt/slotgt
• ltslotgtltIndgtyearlt/IndgtltIndgt1999lt/Indgtlt/slo
  tgt
• lt/Ctermgt
• lt/slotgt
• ltslotgtltIndgtsummerlt/Indgt
• ltCtermgt