1 / 5

The ?*&! Straw Proposal (formerly CTR++)

The ?*&! Straw Proposal (formerly CTR++). Michael Kifer. ?*&! At a Glance. Rule-based Defaults (so somewhat at odds with the FOL-based proposals) In spirit the same as Benjamin’s – essentially a significant (almost) extension of his

vincent-hernandez
Download Presentation

The ?*&! Straw Proposal (formerly CTR++)

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

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

  2. ?*&! At a Glance • Rule-based • Defaults (so somewhat at odds with the FOL-based proposals) • In spirit the same as Benjamin’s – 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

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

  4. What ?*&! Would Like to Have • Prioritized rules • a la Benjamin’s • I believe this is the only thing from Benjamin’s 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 – haven’t 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

  5. Showcasing ?*&! • Three use cases: • Money transfer developed to a decent level of detail • Daniela/Rick’s travel reservation • Service discovery • Also travel use case • Scenario taken from WSMO 5/2004 SWSI F2F

More Related