5/2004 SWSI F2F The ?*&! Straw Proposal (formerly CTR++) Michael Kifer

5/2004 SWSI F2F ?*&! 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)

5/2004 SWSI F2F ?*&! 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

5/2004 SWSI F2F 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/2004 SWSI F2F 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