The

1
The ?! Straw Proposal(formerly CTR)

• Michael Kifer

2
?! At a Glance

• Rule-based
• Defaults (so somewhat at odds with the FOL-based
  proposals)
• In spirit the same as Benjamins essentially a
  significant (almost) extension of his
• Can (I believe) express automata-based proposals
  (The Lucent Rome gangs)
• Can co-exist with parts of PSL (modulo
  first-orderness)

3
?! Technical Foundations

• F-logic object-oriented logic allows
  convenient frame-based representation of services
  as elements of ontologies
• HiLog provides reification and important
  tractable higher-order features, which make life
  better
• Concurrent Transaction Logic (CTR) provides
  process modeling capabilities, including messaging

4
What ?! Would Like to Have

• Prioritized rules
• a la Benjamins
• I believe this is the only thing from Benjamins
  desiderata, which is not covered by the three
  technical pillars of ?!
• Reification of process runs activity
  occurrences of PSL
• In CTR executions are not reified
• I think capturing activity occurrences is just a
  matter of proper modeling of this concept
  havent given it too much thought
• Some integration with the OWL world
• Possible at the level of DLP
• Treating OWL things as modules (this is loosely
  coupled, but acceptable, I believe)

5
Showcasing ?!

• Three use cases
• Money transfer developed to a decent level of
  detail
• Daniela/Ricks travel reservation
• Service discovery
• Also travel use case
• Scenario taken from WSMO