%% This BibTeX bibliography file was created using BibDesk. %% http://bibdesk.sourceforge.net/ %% Created for Phillip Windley at 2010-04-16 12:15:22 -0600 %% Saved with string encoding Unicode (UTF-8) @inproceedings{DBLP:conf/rml/AdiE02, Author = {Asaf Adi and Opher Etzion}, Bibsource = {DBLP, http://dblp.uni-trier.de}, Booktitle = {RuleML}, Crossref = {DBLP:conf/rml/2002}, Date-Added = {2010-03-19 10:07:47 -0600}, Date-Modified = {2010-03-19 10:07:47 -0600}, Ee = {http://SunSITE.Informatik.RWTH-Aachen.DE/Publications/CEUR-WS/Vol-60/adi.pdf}, Title = {The situation manager rule language}, Year = {2002}, Bdsk-File-1 = {YnBsaXN0MDDUAQIDBAUIJidUJHRvcFgkb2JqZWN0c1gkdmVyc2lvblkkYXJjaGl2ZXLRBgdUcm9vdIABqAkKFRYXGyIjVSRudWxs0wsMDQ4RFFpOUy5vYmplY3RzV05TLmtleXNWJGNsYXNzog8QgASABqISE4ACgAOAB1lhbGlhc0RhdGFccmVsYXRpdmVQYXRo0hgNGRpXTlMuZGF0YU8RBKIAAAAABKIAAgAAA3BqdwAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAMXMWqRIKwABAGLFhx9UaGUgc2l0dWF0aW9uIG1hbmFnZSM4ODcwRTgucGRmAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAiHDox8j8ZwAAAAAAAAAAAAEAAgAAERFhcwAAAAAAAAAAAAAAAAAbcnVsZSBsYW5ndWFnZSBkZXNpZ24gcGFwZXJzAAAQAAgAAMXMvRQAAAARAAgAAMfJUMcAAAABABAAYsWHAAgdjAAIAlsACADPAAIAWXBqdzpEb2N1bWVudHM6YnVzaW5lc3M6S3luZXR4OnJ1bGUgbGFuZ3VhZ2UgZGVzaWduIHBhcGVyczpUaGUgc2l0dWF0aW9uIG1hbmFnZSM4ODcwRTgucGRmAAAOAFAAJwBUAGgAZQAgAHMAaQB0AHUAYQB0AGkAbwBuACAAbQBhAG4AYQBnAGUAcgAgAHIAdQBsAGUAIABsAGEAbgBnAHUAYQBnAGUALgBwAGQAZgAPAAgAAwBwAGoAdwASAF4vRG9jdW1lbnRzL2J1c2luZXNzL0t5bmV0eC9ydWxlIGxhbmd1YWdlIGRlc2lnbiBwYXBlcnMvVGhlIHNpdHVhdGlvbiBtYW5hZ2VyIHJ1bGUgbGFuZ3VhZ2UucGRmABMADC9Wb2x1bWVzL3BqdwAJAocCh2FmcG0AgAQEAAgAJgBGAGoAqgDqAS4AYQE3AVcAAAEAAnUAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA3BqdwAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA3BqdwAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA9QaGlsbGlwIFdpbmRsZXkAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAIcBHBqdy5fYWZwb3ZlcnRjcC5fdGNwLmxvY2FsCAIKAAEjAiQAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAPUGhpbGxpcCBXaW5kbGV5AAD//wAAgAXSHB0eH1gkY2xhc3Nlc1okY2xhc3NuYW1lox8gIV1OU011dGFibGVEYXRhVk5TRGF0YVhOU09iamVjdF8QJ1RoZSBzaXR1YXRpb24gbWFuYWdlciBydWxlIGxhbmd1YWdlLnBkZtIcHSQloiUhXE5TRGljdGlvbmFyeRIAAYagXxAPTlNLZXllZEFyY2hpdmVyAAgAEQAWAB8AKAAyADUAOgA8AEUASwBSAF0AZQBsAG8AcQBzAHYAeAB6AHwAhgCTAJgAoAVGBUgFTQVWBWEFZQVzBXoFgwWtBbIFtQXCBccAAAAAAAACAQAAAAAAAAAoAAAAAAAAAAAAAAAAAAAF2Q==}, Bdsk-Url-1 = {http://www.informatik.uni-trier.de/~ley/db/conf/rml/rml2002.html}} @inproceedings{Thurston:2006fk, Annote = {Short paper describing techniques for building Rangel regexp parser.}, Author = {Adrian D. Thurston}, Bibsource = {DBLP, http://dblp.uni-trier.de}, Booktitle = {CIAA}, Crossref = {DBLP:conf/wia/2006}, Date-Added = {2010-02-24 19:49:07 -0700}, Date-Modified = {2010-02-24 20:26:36 -0700}, Ee = {http://dx.doi.org/10.1007/11812128_31}, Pages = {285-286}, Rating = {2}, Read = {Yes}, Title = {Parsing Computer Languages with an Automaton Compiled from a Single Regular Expression}, Year = {2006}, Bdsk-File-1 = {YnBsaXN0MDDUAQIDBAUIJidUJHRvcFgkb2JqZWN0c1gkdmVyc2lvblkkYXJjaGl2ZXLRBgdUcm9vdIABqAkKFRYXGyIjVSRudWxs0wsMDQ4RFFpOUy5vYmplY3RzV05TLmtleXNWJGNsYXNzog8QgASABqISE4ACgAOAB1lhbGlhc0RhdGFccmVsYXRpdmVQYXRo0hgNGRpXTlMuZGF0YU8RBTwAAAAABTwAAgAAA3BqdwAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAMXMWqRIKwABAGLFhx9QYXJzaW5nIENvbXB1dGVyIExhbiM3MDQ1OTEucGRmAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAcEWRx6szWwAAAAAAAAAAAAEAAgAAERFhcwAAAAAAAAAAAAAAAAAbcnVsZSBsYW5ndWFnZSBkZXNpZ24gcGFwZXJzAAAQAAgAAMXMvRQAAAARAAgAAMerlcsAAAABABAAYsWHAAgdjAAIAlsACADPAAIAWXBqdzpEb2N1bWVudHM6YnVzaW5lc3M6S3luZXR4OnJ1bGUgbGFuZ3VhZ2UgZGVzaWduIHBhcGVyczpQYXJzaW5nIENvbXB1dGVyIExhbiM3MDQ1OTEucGRmAAAOALYAWgBQAGEAcgBzAGkAbgBnACAAQwBvAG0AcAB1AHQAZQByACAATABhAG4AZwB1AGEAZwBlAHMAIAB3AGkAdABoACAAYQBuACAAQQB1AHQAbwBtAGEAdABvAG4AIABDAG8AbQBwAGkAbABlAGQAIABmAHIAbwBtACAAYQAgAFMAaQBuAGcAbABlACAAUgBlAGcAdQBsAGEAcgAgAEUAeABwAHIAZQBzAHMAaQBvAG4ALgBwAGQAZgAPAAgAAwBwAGoAdwASAJEvRG9jdW1lbnRzL2J1c2luZXNzL0t5bmV0eC9ydWxlIGxhbmd1YWdlIGRlc2lnbiBwYXBlcnMvUGFyc2luZyBDb21wdXRlciBMYW5ndWFnZXMgd2l0aCBhbiBBdXRvbWF0b24gQ29tcGlsZWQgZnJvbSBhIFNpbmdsZSBSZWd1bGFyIEV4cHJlc3Npb24ucGRmAAATAAwvVm9sdW1lcy9wancACQKHAodhZnBtAIAEBAAIACYARgBqAKoA6gEuAGEBNwFXAAABAAJ1AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAANwancAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAANwancAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAPUGhpbGxpcCBXaW5kbGV5AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAACHARwancuX2FmcG92ZXJ0Y3AuX3RjcC5sb2NhbAgCCgABIwIkAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAD1BoaWxsaXAgV2luZGxleQAA//8AAIAF0hwdHh9YJGNsYXNzZXNaJGNsYXNzbmFtZaMfICFdTlNNdXRhYmxlRGF0YVZOU0RhdGFYTlNPYmplY3RfEFpQYXJzaW5nIENvbXB1dGVyIExhbmd1YWdlcyB3aXRoIGFuIEF1dG9tYXRvbiBDb21waWxlZCBmcm9tIGEgU2luZ2xlIFJlZ3VsYXIgRXhwcmVzc2lvbi5wZGbSHB0kJaIlIVxOU0RpY3Rpb25hcnkSAAGGoF8QD05TS2V5ZWRBcmNoaXZlcgAIABEAFgAfACgAMgA1ADoAPABFAEsAUgBdAGUAbABvAHEAcwB2AHgAegB8AIYAkwCYAKAF4AXiBecF8AX7Bf8GDQYUBh0GegZ/BoIGjwaUAAAAAAAAAgEAAAAAAAAAKAAAAAAAAAAAAAAAAAAABqY=}, Bdsk-Url-1 = {http://dblp.uni-trier.de/rec/bibtex/conf/wia/Thurston06}, Bdsk-Url-2 = {http://www.complang.org/ragel/}} @inproceedings{Pinna:1995fk, Abstract = {Event automata are a generic model of event-based compu- tations of reactive systems. The paper gives an overview of the rationale of the concept, sketches the underlying mathematics, and provides some ideas about appropriate specification techniques. The framework will be instantiated by various, conceptually quite different examples ranging from interleaving semantics and process calculi to true concurrency se- mantics and object-oriented methods.}, Address = {London, UK}, Annote = {Event calculus does not seem clearly defined. Automata construction is not clear.}, Author = {Pinna, G. Michele and Poign\'{e}, Axel}, Booktitle = {KORSO - Methods, Languages, and Tools for the Construction of Correct Software}, Date-Added = {2010-02-20 16:24:56 -0700}, Date-Modified = {2010-02-20 16:50:49 -0700}, Isbn = {3-540-60589-4}, Pages = {74--91}, Publisher = {Springer-Verlag}, Rating = {3}, Read = {Yes}, Title = {Event Automata as a Generic Model of Reactive Systems}, Year = {1995}, Bdsk-File-1 = {YnBsaXN0MDDUAQIDBAUIJidUJHRvcFgkb2JqZWN0c1gkdmVyc2lvblkkYXJjaGl2ZXLRBgdUcm9vdIABqAkKFRYXGyIjVSRudWxs0wsMDQ4RFFpOUy5vYmplY3RzV05TLmtleXNWJGNsYXNzog8QgASABqISE4ACgAOAB1lhbGlhc0RhdGFccmVsYXRpdmVQYXRo0hgNGRpXTlMuZGF0YU8RBNgAAAAABNgAAgAAA3BqdwAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAMXMWqRIKwABAGLFhx9FdmVudCBBdXRvbWF0YSBhcyBhICM2QkNEMjEucGRmAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAa80hx6XAuwAAAAAAAAAAAAEAAgAAERFhcwAAAAAAAAAAAAAAAAAbcnVsZSBsYW5ndWFnZSBkZXNpZ24gcGFwZXJzAAAQAAgAAMXMvRQAAAARAAgAAMemIysAAAABABAAYsWHAAgdjAAIAlsACADPAAIAWXBqdzpEb2N1bWVudHM6YnVzaW5lc3M6S3luZXR4OnJ1bGUgbGFuZ3VhZ2UgZGVzaWduIHBhcGVyczpFdmVudCBBdXRvbWF0YSBhcyBhICM2QkNEMjEucGRmAAAOAHQAOQBFAHYAZQBuAHQAIABBAHUAdABvAG0AYQB0AGEAIABhAHMAIABhACAARwBlAG4AZQByAGkAYwAgAE0AbwBkAGUAbAAgAG8AZgAgAFIAZQBhAGMAdABpAHYAZQAgAFMAeQBzAHQAZQBtAHMALgBwAGQAZgAPAAgAAwBwAGoAdwASAHAvRG9jdW1lbnRzL2J1c2luZXNzL0t5bmV0eC9ydWxlIGxhbmd1YWdlIGRlc2lnbiBwYXBlcnMvRXZlbnQgQXV0b21hdGEgYXMgYSBHZW5lcmljIE1vZGVsIG9mIFJlYWN0aXZlIFN5c3RlbXMucGRmABMADC9Wb2x1bWVzL3BqdwAJAocCh2FmcG0AgAQEAAgAJgBGAGoAqgDqAS4AYQE3AVcAAAEAAnUAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA3BqdwAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA3BqdwAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA9QaGlsbGlwIFdpbmRsZXkAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAIcBHBqdy5fYWZwb3ZlcnRjcC5fdGNwLmxvY2FsCAIKAAEjAiQAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAPUGhpbGxpcCBXaW5kbGV5AAD//wAAgAXSHB0eH1gkY2xhc3Nlc1okY2xhc3NuYW1lox8gIV1OU011dGFibGVEYXRhVk5TRGF0YVhOU09iamVjdF8QOUV2ZW50IEF1dG9tYXRhIGFzIGEgR2VuZXJpYyBNb2RlbCBvZiBSZWFjdGl2ZSBTeXN0ZW1zLnBkZtIcHSQloiUhXE5TRGljdGlvbmFyeRIAAYagXxAPTlNLZXllZEFyY2hpdmVyAAgAEQAWAB8AKAAyADUAOgA8AEUASwBSAF0AZQBsAG8AcQBzAHYAeAB6AHwAhgCTAJgAoAV8BX4FgwWMBZcFmwWpBbAFuQX1BfoF/QYKBg8AAAAAAAACAQAAAAAAAAAoAAAAAAAAAAAAAAAAAAAGIQ==}, Bdsk-Url-1 = {http://portal.acm.org/citation.cfm?id=690526#}, Bdsk-Url-2 = {http://www.springerlink.com/content/d30045h40386864h/}} @article{Wolper:2002kx, Abstract = {This paper presents a tutorial introduction to the construc- tion of finite-automata on infinite words from linear-time temporal logic formulas. After defining the source and target formalisms, it describes a first construction whose correctness is quite direct to establish, but whose behavior is always equal to the worst-case upper bound. It then turns to the techniques that can be used to improve this algorithm in order to obtain the quite effective algorithms that are now in use.}, Address = {New York, NY, USA}, Annote = {Some useful information on automata construction from temporal formula. Not a complete guide, as far as I can see. }, Author = {Wolper, Pierre}, Book = {Lectures on formal methods and performance analysis: first EEF/Euro summer school on trends in computer science}, Date-Added = {2010-02-20 16:05:34 -0700}, Date-Modified = {2010-02-20 17:00:31 -0700}, Isbn = {3-540-42479-2}, Pages = {261--277}, Publisher = {Springer-Verlag New York, Inc.}, Rating = {4}, Read = {Yes}, Title = {Constructing automata from temporal logic formulas: a tutorial}, Year = {2002}, Bdsk-File-1 = {YnBsaXN0MDDUAQIDBAUIJidUJHRvcFgkb2JqZWN0c1gkdmVyc2lvblkkYXJjaGl2ZXLRBgdUcm9vdIABqAkKFRYXGyIjVSRudWxs0wsMDQ4RFFpOUy5vYmplY3RzV05TLmtleXNWJGNsYXNzog8QgASABqISE4ACgAOAB1lhbGlhc0RhdGFccmVsYXRpdmVQYXRo0hgNGRpXTlMuZGF0YU8RBPQAAAAABPQAAgAAA3BqdwAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAMXMWqRIKwABAGLFhx9Db25zdHJ1Y3RpbmcgYXV0b21hdCM2QkM2NTQucGRmAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAa8ZUx6W5JAAAAAAAAAAAAAEAAgAAERFhcwAAAAAAAAAAAAAAAAAbcnVsZSBsYW5ndWFnZSBkZXNpZ24gcGFwZXJzAAAQAAgAAMXMvRQAAAARAAgAAMemG5QAAAABABAAYsWHAAgdjAAIAlsACADPAAIAWXBqdzpEb2N1bWVudHM6YnVzaW5lc3M6S3luZXR4OnJ1bGUgbGFuZ3VhZ2UgZGVzaWduIHBhcGVyczpDb25zdHJ1Y3RpbmcgYXV0b21hdCM2QkM2NTQucGRmAAAOAIYAQgBDAG8AbgBzAHQAcgB1AGMAdABpAG4AZwAgAGEAdQB0AG8AbQBhAHQAYQAgAGYAcgBvAG0AIAB0AGUAbQBwAG8AcgBhAGwAIABsAG8AZwBpAGMAIABmAG8AcgBtAHUAbABhAHMALQAgAGEAIAB0AHUAdABvAHIAaQBhAGwALgBwAGQAZgAPAAgAAwBwAGoAdwASAHkvRG9jdW1lbnRzL2J1c2luZXNzL0t5bmV0eC9ydWxlIGxhbmd1YWdlIGRlc2lnbiBwYXBlcnMvQ29uc3RydWN0aW5nIGF1dG9tYXRhIGZyb20gdGVtcG9yYWwgbG9naWMgZm9ybXVsYXMtIGEgdHV0b3JpYWwucGRmAAATAAwvVm9sdW1lcy9wancACQKHAodhZnBtAIAEBAAIACYARgBqAKoA6gEuAGEBNwFXAAABAAJ1AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAANwancAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAANwancAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAPUGhpbGxpcCBXaW5kbGV5AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAACHARwancuX2FmcG92ZXJ0Y3AuX3RjcC5sb2NhbAgCCgABIwIkAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAD1BoaWxsaXAgV2luZGxleQAA//8AAIAF0hwdHh9YJGNsYXNzZXNaJGNsYXNzbmFtZaMfICFdTlNNdXRhYmxlRGF0YVZOU0RhdGFYTlNPYmplY3RfEEJDb25zdHJ1Y3RpbmcgYXV0b21hdGEgZnJvbSB0ZW1wb3JhbCBsb2dpYyBmb3JtdWxhcy0gYSB0dXRvcmlhbC5wZGbSHB0kJaIlIVxOU0RpY3Rpb25hcnkSAAGGoF8QD05TS2V5ZWRBcmNoaXZlcgAIABEAFgAfACgAMgA1ADoAPABFAEsAUgBdAGUAbABvAHEAcwB2AHgAegB8AIYAkwCYAKAFmAWaBZ8FqAWzBbcFxQXMBdUGGgYfBiIGLwY0AAAAAAAAAgEAAAAAAAAAKAAAAAAAAAAAAAAAAAAABkY=}, Bdsk-Url-1 = {http://portal.acm.org/citation.cfm?id=567312#}, Bdsk-Url-2 = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.57.8184}} @article{Emerson:1990uq, Abstract = {We give a comprehensive and unifying survey of the theoretical aspects of Temporal and Modal Logic. }, Address = {Cambridge, MA, USA}, Annote = {Excellent overview of temporal logic including it's uses and decidability. }, Author = {Emerson, E. Allen}, Book = {Handbook of theoretical computer science (vol. B): formal models and semantics}, Date-Added = {2010-02-19 11:42:39 -0700}, Date-Modified = {2010-02-20 16:40:19 -0700}, Isbn = {0-444-88074-7}, Pages = {995--1072}, Publisher = {MIT Press}, Rating = {5}, Read = {Yes}, Title = {Temporal and modal logic}, Year = {1990}, Bdsk-File-1 = {YnBsaXN0MDDUAQIDBAUIJidUJHRvcFgkb2JqZWN0c1gkdmVyc2lvblkkYXJjaGl2ZXLRBgdUcm9vdIABqAkKFRYXGyIjVSRudWxs0wsMDQ4RFFpOUy5vYmplY3RzV05TLmtleXNWJGNsYXNzog8QgASABqISE4ACgAOAB1lhbGlhc0RhdGFccmVsYXRpdmVQYXRo0hgNGRpXTlMuZGF0YU8RBH4AAAAABH4AAgAAA3BqdwAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAMXMWqRIKwABAGLFhxxUZW1wb3JhbCBhbmQgbW9kYWwgbG9naWMucGRmAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAanmFx6QqfwAAAAAAAAAAAAEAAgAAERFhcwAAAAAAAAAAAAAAAAAbcnVsZSBsYW5ndWFnZSBkZXNpZ24gcGFwZXJzAAAQAAgAAMXMvRQAAAARAAgAAMekjO8AAAABABAAYsWHAAgdjAAIAlsACADPAAIAVnBqdzpEb2N1bWVudHM6YnVzaW5lc3M6S3luZXR4OnJ1bGUgbGFuZ3VhZ2UgZGVzaWduIHBhcGVyczpUZW1wb3JhbCBhbmQgbW9kYWwgbG9naWMucGRmAA4AOgAcAFQAZQBtAHAAbwByAGEAbAAgAGEAbgBkACAAbQBvAGQAYQBsACAAbABvAGcAaQBjAC4AcABkAGYADwAIAAMAcABqAHcAEgBTL0RvY3VtZW50cy9idXNpbmVzcy9LeW5ldHgvcnVsZSBsYW5ndWFnZSBkZXNpZ24gcGFwZXJzL1RlbXBvcmFsIGFuZCBtb2RhbCBsb2dpYy5wZGYAABMADC9Wb2x1bWVzL3BqdwAJAocCh2FmcG0AgAQEAAgAJgBGAGoAqgDqAS4AYQE3AVcAAAEAAnUAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA3BqdwAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA3BqdwAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA9QaGlsbGlwIFdpbmRsZXkAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAIcBHBqdy5fYWZwb3ZlcnRjcC5fdGNwLmxvY2FsCAIKAAEjAiQAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAPUGhpbGxpcCBXaW5kbGV5AAD//wAAgAXSHB0eH1gkY2xhc3Nlc1okY2xhc3NuYW1lox8gIV1OU011dGFibGVEYXRhVk5TRGF0YVhOU09iamVjdF8QHFRlbXBvcmFsIGFuZCBtb2RhbCBsb2dpYy5wZGbSHB0kJaIlIVxOU0RpY3Rpb25hcnkSAAGGoF8QD05TS2V5ZWRBcmNoaXZlcgAIABEAFgAfACgAMgA1ADoAPABFAEsAUgBdAGUAbABvAHEAcwB2AHgAegB8AIYAkwCYAKAFIgUkBSkFMgU9BUEFTwVWBV8FfgWDBYYFkwWYAAAAAAAAAgEAAAAAAAAAKAAAAAAAAAAAAAAAAAAABao=}, Bdsk-Url-1 = {http://portal.acm.org/citation.cfm?id=114907}, Bdsk-Url-2 = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.92.5289}} @inproceedings{Lieuwen96theode, Abstract = {Triggers are the basic ingredient of active databases. Ode triggers are event-action pairs. An event can be a composite event (i.e., an event composed from other events). Composite events are detected by translating the event specifications into finite state machines. In this paper, we describe the integration and implementation of composite event based triggers into the Ode object database. We focus on implementation details such as the basic trigger events supported, the efficient posting of these events, the handling of transactionrelated events, and the integration of triggers into a real database. We also describe the run-time facilities used to support trigger processing and describe some experiences we gained while implementing triggers. We illustrate Ode trigger facilities with a credit card example. 1 Introduction Ode [1, 2] is a database system and environment based on the object paradigm. The database is defined, queried, and manipulated using the database programming lang...}, Annote = { modifying state machines to deal with masks. Not much more detail on FSM construction. }, Author = {Daniel Lieuwen and Narain Gehani and Robert Arlein}, Booktitle = {In Proc. Data Engineering, February--March}, Date-Added = {2010-02-12 14:10:55 -0700}, Date-Modified = {2010-02-18 20:23:24 -0600}, Pages = {412--420}, Read = {Yes}, Title = {The Ode Active Database: Trigger Semantics and Implementation}, Year = {1996}, Bdsk-File-1 = {YnBsaXN0MDDUAQIDBAUIJidUJHRvcFgkb2JqZWN0c1gkdmVyc2lvblkkYXJjaGl2ZXLRBgdUcm9vdIABqAkKFRYXGyIjVSRudWxs0wsMDQ4RFFpOUy5vYmplY3RzV05TLmtleXNWJGNsYXNzog8QgASABqISE4ACgAOAB1lhbGlhc0RhdGFccmVsYXRpdmVQYXRo0hgNGRpXTlMuZGF0YU8RBPAAAAAABPAAAgAAA3BqdwAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAMXMWqRIKwABAGLFhx9UaGUgT2RlIEFjdGl2ZSBEYXRhYiM2N0M4RTkucGRmAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAZ8jpx5sSBwAAAAAAAAAAAAEAAgAAERFhcwAAAAAAAAAAAAAAAAAbcnVsZSBsYW5ndWFnZSBkZXNpZ24gcGFwZXJzAAAQAAgAAMXMvRQAAAARAAgAAMebdHcAAAABABAAYsWHAAgdjAAIAlsACADPAAIAWXBqdzpEb2N1bWVudHM6YnVzaW5lc3M6S3luZXR4OnJ1bGUgbGFuZ3VhZ2UgZGVzaWduIHBhcGVyczpUaGUgT2RlIEFjdGl2ZSBEYXRhYiM2N0M4RTkucGRmAAAOAIQAQQBUAGgAZQAgAE8AZABlACAAQQBjAHQAaQB2AGUAIABEAGEAdABhAGIAYQBzAGUALQAgAFQAcgBpAGcAZwBlAHIAIABTAGUAbQBhAG4AdABpAGMAcwAgAGEAbgBkACAASQBtAHAAbABlAG0AZQBuAHQAYQB0AGkAbwBuAC4AcABkAGYADwAIAAMAcABqAHcAEgB4L0RvY3VtZW50cy9idXNpbmVzcy9LeW5ldHgvcnVsZSBsYW5ndWFnZSBkZXNpZ24gcGFwZXJzL1RoZSBPZGUgQWN0aXZlIERhdGFiYXNlLSBUcmlnZ2VyIFNlbWFudGljcyBhbmQgSW1wbGVtZW50YXRpb24ucGRmABMADC9Wb2x1bWVzL3BqdwAJAocCh2FmcG0AgAQEAAgAJgBGAGoAqgDqAS4AYQE3AVcAAAEAAnUAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA3BqdwAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA3BqdwAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA9QaGlsbGlwIFdpbmRsZXkAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAIcBHBqdy5fYWZwb3ZlcnRjcC5fdGNwLmxvY2FsCAIKAAEjAiQAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAPUGhpbGxpcCBXaW5kbGV5AAD//wAAgAXSHB0eH1gkY2xhc3Nlc1okY2xhc3NuYW1lox8gIV1OU011dGFibGVEYXRhVk5TRGF0YVhOU09iamVjdF8QQVRoZSBPZGUgQWN0aXZlIERhdGFiYXNlLSBUcmlnZ2VyIFNlbWFudGljcyBhbmQgSW1wbGVtZW50YXRpb24ucGRm0hwdJCWiJSFcTlNEaWN0aW9uYXJ5EgABhqBfEA9OU0tleWVkQXJjaGl2ZXIACAARABYAHwAoADIANQA6ADwARQBLAFIAXQBlAGwAbwBxAHMAdgB4AHoAfACGAJMAmACgBZQFlgWbBaQFrwWzBcEFyAXRBhUGGgYdBioGLwAAAAAAAAIBAAAAAAAAACgAAAAAAAAAAAAAAAAAAAZB}, Bdsk-Url-1 = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.52.2765}} @inproceedings{Gehani:1992cr, Abstract = {Active database systems require facilities to specify triggers that fire when specified events occur. We propose a language for specifying composite events as event expressions, formed using event operators and events (primitive or composite). An event expression maps an event history to another event history that contains only the events at which the event expression is ``satisfied'' and at which the trigger should fire. We present several examples illustrating how quite complex event specifications are possible using event expressions. In addition to the basic event operators, we also provide facilities that make it easier to specify composite events. ``Pipes'' allow users to isolate sub-histories of interest. ``Correlation variables'' allow users to ensure that different parts of an event expression are satisfied by the same event, thereby facilitating the coordination of sub-events within a composite event. We show how to efficiently implement event expressions using finite automata. Each event causes an automaton to change state. When an automaton reaches an accepting state, a composite event of interest is recognized, and the corresponding trigger fired. Events have attributes. For primitive events, these could be parameters of the activity that caused the event, selected parts of the database state, or functions computed therefrom. For composite events, attributes are derived from the attributes of the constituent primitive events. These attributes can be used in checking conditions, and in any actions triggered. Event expressions can specify values (or sets or ranges of values) for particular attributes, and can even require that some attributes be equal. The composite event specified by the expression does not occur unless the specified condition on attributes is satisfied.}, Address = {San Francisco, CA, USA}, Annote = {Much of the same information as in \cite{Chakravarthy:1994uq} but with more detail on automaton generation and longer examples Detailed discussion of event attributes, correlating variables, and implementation of state machines to recognize.}, Author = {Gehani, Narain H. and Jagadish, H. V. and Shmueli, Oded}, Booktitle = {VLDB '92: Proceedings of the 18th International Conference on Very Large Data Bases}, Date-Added = {2010-02-10 13:19:26 -0700}, Date-Modified = {2010-02-11 17:15:51 -0700}, Isbn = {1-55860-151-1}, Pages = {327--338}, Publisher = {Morgan Kaufmann Publishers Inc.}, Rating = {5}, Read = {Yes}, Title = {Composite Event Specification in Active Databases: Model \& Implementation}, Year = {1992}, Bdsk-File-1 = {YnBsaXN0MDDUAQIDBAUIJidUJHRvcFgkb2JqZWN0c1gkdmVyc2lvblkkYXJjaGl2ZXLRBgdUcm9vdIABqAkKFRYXGyIjVSRudWxs0wsMDQ4RFFpOUy5vYmplY3RzV05TLmtleXNWJGNsYXNzog8QgASABqISE4ACgAOAB1lhbGlhc0RhdGFccmVsYXRpdmVQYXRo0hgNGRpXTlMuZGF0YU8RBMwAAAAABMwAAgAAA3BqdwAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAMXMWqRIKwABAGLFhx9Db21wb3NpdGUgRXZlbnQgU3BlYyM2NjJBQjQucGRmAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAZiq0x5hjKAAAAAAAAAAAAAEAAgAAERFhcwAAAAAAAAAAAAAAAAAbcnVsZSBsYW5ndWFnZSBkZXNpZ24gcGFwZXJzAAAQAAgAAMXMvRQAAAARAAgAAMeYxZgAAAABABAAYsWHAAgdjAAIAlsACADPAAIAWXBqdzpEb2N1bWVudHM6YnVzaW5lc3M6S3luZXR4OnJ1bGUgbGFuZ3VhZ2UgZGVzaWduIHBhcGVyczpDb21wb3NpdGUgRXZlbnQgU3BlYyM2NjJBQjQucGRmAAAOAGwANQBDAG8AbQBwAG8AcwBpAHQAZQAgAEUAdgBlAG4AdAAgAFMAcABlAGMAaQBmAGkAYwBhAHQAaQBvAG4AIABpAG4AIABBAGMAdABpAHYAZQAgAEQAYQB0AGEAYgBhAHMAZQBzAC4AcABkAGYADwAIAAMAcABqAHcAEgBsL0RvY3VtZW50cy9idXNpbmVzcy9LeW5ldHgvcnVsZSBsYW5ndWFnZSBkZXNpZ24gcGFwZXJzL0NvbXBvc2l0ZSBFdmVudCBTcGVjaWZpY2F0aW9uIGluIEFjdGl2ZSBEYXRhYmFzZXMucGRmABMADC9Wb2x1bWVzL3BqdwAJAocCh2FmcG0AgAQEAAgAJgBGAGoAqgDqAS4AYQE3AVcAAAEAAnUAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA3BqdwAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA3BqdwAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA9QaGlsbGlwIFdpbmRsZXkAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAIcBHBqdy5fYWZwb3ZlcnRjcC5fdGNwLmxvY2FsCAIKAAEjAiQAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAPUGhpbGxpcCBXaW5kbGV5AAD//wAAgAXSHB0eH1gkY2xhc3Nlc1okY2xhc3NuYW1lox8gIV1OU011dGFibGVEYXRhVk5TRGF0YVhOU09iamVjdF8QNUNvbXBvc2l0ZSBFdmVudCBTcGVjaWZpY2F0aW9uIGluIEFjdGl2ZSBEYXRhYmFzZXMucGRm0hwdJCWiJSFcTlNEaWN0aW9uYXJ5EgABhqBfEA9OU0tleWVkQXJjaGl2ZXIACAARABYAHwAoADIANQA6ADwARQBLAFIAXQBlAGwAbwBxAHMAdgB4AHoAfACGAJMAmACgBXAFcgV3BYAFiwWPBZ0FpAWtBeUF6gXtBfoF/wAAAAAAAAIBAAAAAAAAACgAAAAAAAAAAAAAAAAAAAYR}, Bdsk-Url-1 = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.30.3851}, Bdsk-Url-2 = {http://portal.acm.org/citation.cfm?id=672484}} @article{Gehani:1992ve, Abstract = { The concept of a trigger is central to any active database. Upon the occurrence of a trigger event, the trigger is ``fired'', i.e, the trigger action is executed. We describe a model and a language for specifying basic and composite trigger events in the context of an object-oriented database. The specified events can be detected efficiently using finite automata. We integrate our model with O++, the database programming language for the ode object database being developed at AT&T Bell Labs. We propose a new Event-Action model, which folds into the event specification the condition part of the well-known Event-Condition-Action model and avoids the multiple coupling modes between the event, condition, and action trigger components. }, Address = {New York, NY, USA}, Annote = {BNF of composite events in O++ Description of composite event implementation in terms of using the state machine to determine when event occurs. Little detail on how to construct state machines. Related work gives some pointers. }, Author = {Gehani, N. H. and Jagadish, H. V. and Shmueli, O.}, Date-Added = {2010-02-10 09:25:32 -0700}, Date-Modified = {2010-02-18 20:13:13 -0600}, Doi = {http://doi.acm.org/10.1145/141484.130300}, Issn = {0163-5808}, Journal = {SIGMOD Rec.}, Number = {2}, Pages = {81--90}, Publisher = {ACM}, Rating = {4}, Read = {Yes}, Title = {Event specification in an active object-oriented database}, Volume = {21}, Year = {1992}, Bdsk-File-1 = {YnBsaXN0MDDUAQIDBAUIJidUJHRvcFgkb2JqZWN0c1gkdmVyc2lvblkkYXJjaGl2ZXLRBgdUcm9vdIABqAkKFRYXGyIjVSRudWxs0wsMDQ4RFFpOUy5vYmplY3RzV05TLmtleXNWJGNsYXNzog8QgASABqISE4ACgAOAB1lhbGlhc0RhdGFccmVsYXRpdmVQYXRo0hgNGRpXTlMuZGF0YU8RBOQAAAAABOQAAgAAA3BqdwAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAMXMWqRIKwABAGLFhx9FdmVudCBzcGVjaWZpY2F0aW9uICM2NUVCQjEucGRmAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAZeuxx5gsPAAAAAAAAAAAAAEAAgAAERFhcwAAAAAAAAAAAAAAAAAbcnVsZSBsYW5ndWFnZSBkZXNpZ24gcGFwZXJzAAAQAAgAAMXMvRQAAAARAAgAAMeYjqwAAAABABAAYsWHAAgdjAAIAlsACADPAAIAWXBqdzpEb2N1bWVudHM6YnVzaW5lc3M6S3luZXR4OnJ1bGUgbGFuZ3VhZ2UgZGVzaWduIHBhcGVyczpFdmVudCBzcGVjaWZpY2F0aW9uICM2NUVCQjEucGRmAAAOAHwAPQBFAHYAZQBuAHQAIABzAHAAZQBjAGkAZgBpAGMAYQB0AGkAbwBuACAAaQBuACAAYQBuACAAYQBjAHQAaQB2AGUAIABvAGIAagBlAGMAdAAtAG8AcgBpAGUAbgB0AGUAZAAgAGQAYQB0AGEAYgBhAHMAZQAuAHAAZABmAA8ACAADAHAAagB3ABIAdC9Eb2N1bWVudHMvYnVzaW5lc3MvS3luZXR4L3J1bGUgbGFuZ3VhZ2UgZGVzaWduIHBhcGVycy9FdmVudCBzcGVjaWZpY2F0aW9uIGluIGFuIGFjdGl2ZSBvYmplY3Qtb3JpZW50ZWQgZGF0YWJhc2UucGRmABMADC9Wb2x1bWVzL3BqdwAJAocCh2FmcG0AgAQEAAgAJgBGAGoAqgDqAS4AYQE3AVcAAAEAAnUAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA3BqdwAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA3BqdwAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA9QaGlsbGlwIFdpbmRsZXkAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAIcBHBqdy5fYWZwb3ZlcnRjcC5fdGNwLmxvY2FsCAIKAAEjAiQAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAPUGhpbGxpcCBXaW5kbGV5AAD//wAAgAXSHB0eH1gkY2xhc3Nlc1okY2xhc3NuYW1lox8gIV1OU011dGFibGVEYXRhVk5TRGF0YVhOU09iamVjdF8QPUV2ZW50IHNwZWNpZmljYXRpb24gaW4gYW4gYWN0aXZlIG9iamVjdC1vcmllbnRlZCBkYXRhYmFzZS5wZGbSHB0kJaIlIVxOU0RpY3Rpb25hcnkSAAGGoF8QD05TS2V5ZWRBcmNoaXZlcgAIABEAFgAfACgAMgA1ADoAPABFAEsAUgBdAGUAbABvAHEAcwB2AHgAegB8AIYAkwCYAKAFiAWKBY8FmAWjBacFtQW8BcUGBQYKBg0GGgYfAAAAAAAAAgEAAAAAAAAAKAAAAAAAAAAAAAAAAAAABjE=}, Bdsk-Url-1 = {http://portal.acm.org/citation.cfm?id=130300#}} @inproceedings{Gehani:1994nx, Abstract = {Triggers, which make databases active, are specified as event-action pairs. We have developed a model for specifying composite events, which are events that are composed from simple events or from other composite events. Composite events are specified as event expressions. The occurrence of a composite event is detected by the finite automaton implementing the corresponding event expression. Composite events are built using event specification operators which are classified into two categories: basic and additional. The addtional operators, with few exceptions, can be expressed in terms of the basic operators. We have built a prototype system, COMPOSE, for specifying and detecting composite events". Our implementation techniques can handle automata with "masks" and automata with parameters. A real-time "stock" feed is used to experiment with the specification of stock market related events. In this paper, we describe how composite events are specified, illustrate composite event specification, describe the construction of the finite automta implementing the event expressions and give an overview of the COMPOSE system. }, Author = {Narain Gehani and H. V. Jagadish and Oded Shmueli}, Booktitle = {Advanced Database Concepts and Research Issues}, Date-Added = {2010-02-10 09:20:23 -0700}, Date-Modified = {2010-02-11 16:58:14 -0700}, Publisher = {Springer Verlag}, Read = {Yes}, Title = {COMPOSE A System For Composite Event Specification and Detection}, Year = {1994}, Bdsk-File-1 = {YnBsaXN0MDDUAQIDBAUIJidUJHRvcFgkb2JqZWN0c1gkdmVyc2lvblkkYXJjaGl2ZXLRBgdUcm9vdIABqAkKFRYXGyIjVSRudWxs0wsMDQ4RFFpOUy5vYmplY3RzV05TLmtleXNWJGNsYXNzog8QgASABqISE4ACgAOAB1lhbGlhc0RhdGFccmVsYXRpdmVQYXRo0hgNGRpXTlMuZGF0YU8RBPoAAAAABPoAAgAAA3BqdwAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAMXMWqRIKwABAGLFhx9DT01QT1NFIEEgU3lzdGVtIEZvciM2NUVBMEYucGRmAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAZeoPx5grGwAAAAAAAAAAAAEAAgAAERFhcwAAAAAAAAAAAAAAAAAbcnVsZSBsYW5ndWFnZSBkZXNpZ24gcGFwZXJzAAAQAAgAAMXMvRQAAAARAAgAAMeYjYsAAAABABAAYsWHAAgdjAAIAlsACADPAAIAWXBqdzpEb2N1bWVudHM6YnVzaW5lc3M6S3luZXR4OnJ1bGUgbGFuZ3VhZ2UgZGVzaWduIHBhcGVyczpDT01QT1NFIEEgU3lzdGVtIEZvciM2NUVBMEYucGRmAAAOAIoARABDAE8ATQBQAE8AUwBFACAAQQAgAFMAeQBzAHQAZQBtACAARgBvAHIAIABDAG8AbQBwAG8AcwBpAHQAZQAgAEUAdgBlAG4AdAAgAFMAcABlAGMAaQBmAGkAYwBhAHQAaQBvAG4AIABhAG4AZAAgAEQAZQB0AGUAYwB0AGkAbwBuAC4AcABkAGYADwAIAAMAcABqAHcAEgB7L0RvY3VtZW50cy9idXNpbmVzcy9LeW5ldHgvcnVsZSBsYW5ndWFnZSBkZXNpZ24gcGFwZXJzL0NPTVBPU0UgQSBTeXN0ZW0gRm9yIENvbXBvc2l0ZSBFdmVudCBTcGVjaWZpY2F0aW9uIGFuZCBEZXRlY3Rpb24ucGRmAAATAAwvVm9sdW1lcy9wancACQKHAodhZnBtAIAEBAAIACYARgBqAKoA6gEuAGEBNwFXAAABAAJ1AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAANwancAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAANwancAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAPUGhpbGxpcCBXaW5kbGV5AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAACHARwancuX2FmcG92ZXJ0Y3AuX3RjcC5sb2NhbAgCCgABIwIkAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAD1BoaWxsaXAgV2luZGxleQAA//8AAIAF0hwdHh9YJGNsYXNzZXNaJGNsYXNzbmFtZaMfICFdTlNNdXRhYmxlRGF0YVZOU0RhdGFYTlNPYmplY3RfEERDT01QT1NFIEEgU3lzdGVtIEZvciBDb21wb3NpdGUgRXZlbnQgU3BlY2lmaWNhdGlvbiBhbmQgRGV0ZWN0aW9uLnBkZtIcHSQloiUhXE5TRGljdGlvbmFyeRIAAYagXxAPTlNLZXllZEFyY2hpdmVyAAgAEQAWAB8AKAAyADUAOgA8AEUASwBSAF0AZQBsAG8AcQBzAHYAeAB6AHwAhgCTAJgAoAWeBaAFpQWuBbkFvQXLBdIF2wYiBicGKgY3BjwAAAAAAAACAQAAAAAAAAAoAAAAAAAAAAAAAAAAAAAGTg==}} @inproceedings{Chakravarthy:1994dq, Abstract = {Making a database system active entails devel- oping an expressive event specification language with well-defined semantics, algorithms for the detection of composite events, and an architec- ture for an event detector along with its imple- mentation. Thii paper presents the semantics of composite events using the notion of a global event history (or a global event-log). Parame- ter contexts are introduced and precisely defined to facilitate efficient management and detection of composite events. Finally, an architecture and theimplementation ofacompositeevent,detector is analyzed in the context of an object-oriented active DBMS.}, Address = {San Francisco, CA, USA}, Annote = {Good discussion of event expressions. 1.) OR 2.) AND 3.) SEQ 4.) ANY 5.) Aperiodic 6.) Periodic 7.) NOT Examples: Compute the new DowJones average when any two of IBM, DEC, or Boeing stock prices change during the day. Event: A(8 a.m., ANY(2, modify-IBM, modify-DEC, modify-Boeing), 5 p.m.) Develops a theory of global event histories and the calculation of events from them. Introduces event trees and event contexts.}, Author = {Chakravarthy, Sharma and Krishnaprasad, V. and Anwar, Eman and Kim, S.-K.}, Booktitle = {VLDB '94: Proceedings of the 20th International Conference on Very Large Data Bases}, Date-Added = {2010-02-09 11:14:50 -0700}, Date-Modified = {2010-02-10 13:30:37 -0700}, Isbn = {1-55860-153-8}, Pages = {606--617}, Publisher = {Morgan Kaufmann Publishers Inc.}, Read = {Yes}, Title = {Composite Events for Active Databases: Semantics, Contexts and Detection}, Year = {1994}, Bdsk-File-1 = {YnBsaXN0MDDUAQIDBAUIJidUJHRvcFgkb2JqZWN0c1gkdmVyc2lvblkkYXJjaGl2ZXLRBgdUcm9vdIABqAkKFRYXGyIjVSRudWxs0wsMDQ4RFFpOUy5vYmplY3RzV05TLmtleXNWJGNsYXNzog8QgASABqISE4ACgAOAB1lhbGlhc0RhdGFccmVsYXRpdmVQYXRo0hgNGRpXTlMuZGF0YU8RBKgAAAAABKgAAgAAA3BqdwAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAMXMWqRIKwABAGLFhx9Db21wb3NpdGUgRXZlbnRzIGZvciM2NEI3MjYucGRmAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAZLcmx5b0iwAAAAAAAAAAAAEAAgAAERFhcwAAAAAAAAAAAAAAAAAbcnVsZSBsYW5ndWFnZSBkZXNpZ24gcGFwZXJzAAAQAAgAAMXMvRQAAAARAAgAAMeXVvsAAAABABAAYsWHAAgdjAAIAlsACADPAAIAWXBqdzpEb2N1bWVudHM6YnVzaW5lc3M6S3luZXR4OnJ1bGUgbGFuZ3VhZ2UgZGVzaWduIHBhcGVyczpDb21wb3NpdGUgRXZlbnRzIGZvciM2NEI3MjYucGRmAAAOAFQAKQBDAG8AbQBwAG8AcwBpAHQAZQAgAEUAdgBlAG4AdABzACAAZgBvAHIAIABBAGMAdABpAHYAZQAgAEQAYQB0AGEAYgBhAHMAZQBzAC4AcABkAGYADwAIAAMAcABqAHcAEgBgL0RvY3VtZW50cy9idXNpbmVzcy9LeW5ldHgvcnVsZSBsYW5ndWFnZSBkZXNpZ24gcGFwZXJzL0NvbXBvc2l0ZSBFdmVudHMgZm9yIEFjdGl2ZSBEYXRhYmFzZXMucGRmABMADC9Wb2x1bWVzL3BqdwAJAocCh2FmcG0AgAQEAAgAJgBGAGoAqgDqAS4AYQE3AVcAAAEAAnUAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA3BqdwAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA3BqdwAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA9QaGlsbGlwIFdpbmRsZXkAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAIcBHBqdy5fYWZwb3ZlcnRjcC5fdGNwLmxvY2FsCAIKAAEjAiQAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAPUGhpbGxpcCBXaW5kbGV5AAD//wAAgAXSHB0eH1gkY2xhc3Nlc1okY2xhc3NuYW1lox8gIV1OU011dGFibGVEYXRhVk5TRGF0YVhOU09iamVjdF8QKUNvbXBvc2l0ZSBFdmVudHMgZm9yIEFjdGl2ZSBEYXRhYmFzZXMucGRm0hwdJCWiJSFcTlNEaWN0aW9uYXJ5EgABhqBfEA9OU0tleWVkQXJjaGl2ZXIACAARABYAHwAoADIANQA6ADwARQBLAFIAXQBlAGwAbwBxAHMAdgB4AHoAfACGAJMAmACgBUwFTgVTBVwFZwVrBXkFgAWJBbUFugW9BcoFzwAAAAAAAAIBAAAAAAAAACgAAAAAAAAAAAAAAAAAAAXh}, Bdsk-Url-1 = {http://portal.acm.org/citation.cfm?id=672994#}} @inproceedings{Wagner:2002zr, Abstract = {A General Rule Markup Language has several purposes. It may serve as a lingua franca to exchange rules between different rule systems and rule components in application software. It may be used to express derivation rules for enriching XML/RDF-based taxonomies (also called `web ontologies') by adding definitions of derived concepts. It may be used to publish the reactive behavior of a system in the form of reaction rules. And it may be used to provide a complete XML-based specification of a software agent. Further uses may arise in novel web applications. In this paper, I consider the problem of how to design a General Rule Markup Language that can be used for these and for future emerging purposes.}, Annote = {Review of types of rules, rules in other systems, design considerations. Event-Condition-Action-Effect (ECAE) rules, subsuming Event-Condition-Action (ECA) and Condition-Action (or pro- duction) rules as special cases.}, Author = {Wagner, Gerd}, Booktitle = {XML Technologien f\"{u}r das Semantic Web - XSW 2002, Proceedings zum Workshop}, Date-Added = {2010-02-09 08:12:51 -0700}, Date-Modified = {2010-02-18 20:27:45 -0600}, Isbn = {3-88579-343-1}, Pages = {19--37}, Publisher = {GI}, Rating = {2}, Read = {Yes}, Title = {How to Design a General Rule Markup Language?}, Year = {2002}, Bdsk-File-1 = {YnBsaXN0MDDUAQIDBAUIJidUJHRvcFgkb2JqZWN0c1gkdmVyc2lvblkkYXJjaGl2ZXLRBgdUcm9vdIABqAkKFRYXGyIjVSRudWxs0wsMDQ4RFFpOUy5vYmplY3RzV05TLmtleXNWJGNsYXNzog8QgASABqISE4ACgAOAB1lhbGlhc0RhdGFccmVsYXRpdmVQYXRo0hgNGRpXTlMuZGF0YU8RBL4AAAAABL4AAgAAA3BqdwAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAMXMWqRIKwABAGLFhx9Ib3cgdG8gZGVzaWduIGEgZ2VuZSM2NDg1N0EucGRmAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAZIV6x5bJYwAAAAAAAAAAAAEAAgAAERFhcwAAAAAAAAAAAAAAAAAbcnVsZSBsYW5ndWFnZSBkZXNpZ24gcGFwZXJzAAAQAAgAAMXMvRQAAAARAAgAAMeXK9MAAAABABAAYsWHAAgdjAAIAlsACADPAAIAWXBqdzpEb2N1bWVudHM6YnVzaW5lc3M6S3luZXR4OnJ1bGUgbGFuZ3VhZ2UgZGVzaWduIHBhcGVyczpIb3cgdG8gZGVzaWduIGEgZ2VuZSM2NDg1N0EucGRmAAAOAGIAMABIAG8AdwAgAHQAbwAgAGQAZQBzAGkAZwBuACAAYQAgAGcAZQBuAGUAcgBhAGwAIAByAHUAbABlACAAbQBhAHIAawB1AHAAIABsAGEAbgBnAHUAYQBnAGUALgBwAGQAZgAPAAgAAwBwAGoAdwASAGcvRG9jdW1lbnRzL2J1c2luZXNzL0t5bmV0eC9ydWxlIGxhbmd1YWdlIGRlc2lnbiBwYXBlcnMvSG93IHRvIGRlc2lnbiBhIGdlbmVyYWwgcnVsZSBtYXJrdXAgbGFuZ3VhZ2UucGRmAAATAAwvVm9sdW1lcy9wancACQKHAodhZnBtAIAEBAAIACYARgBqAKoA6gEuAGEBNwFXAAABAAJ1AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAANwancAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAANwancAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAPUGhpbGxpcCBXaW5kbGV5AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAACHARwancuX2FmcG92ZXJ0Y3AuX3RjcC5sb2NhbAgCCgABIwIkAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAD1BoaWxsaXAgV2luZGxleQAA//8AAIAF0hwdHh9YJGNsYXNzZXNaJGNsYXNzbmFtZaMfICFdTlNNdXRhYmxlRGF0YVZOU0RhdGFYTlNPYmplY3RfEDBIb3cgdG8gZGVzaWduIGEgZ2VuZXJhbCBydWxlIG1hcmt1cCBsYW5ndWFnZS5wZGbSHB0kJaIlIVxOU0RpY3Rpb25hcnkSAAGGoF8QD05TS2V5ZWRBcmNoaXZlcgAIABEAFgAfACgAMgA1ADoAPABFAEsAUgBdAGUAbABvAHEAcwB2AHgAegB8AIYAkwCYAKAFYgVkBWkFcgV9BYEFjwWWBZ8F0gXXBdoF5wXsAAAAAAAAAgEAAAAAAAAAKAAAAAAAAAAAAAAAAAAABf4=}, Bdsk-Url-1 = {http://portal.acm.org/citation.cfm?id=647277.722460#}} @inproceedings{Seirio:2005qf, Abstract = {This paper presents the desin and implementation of the rule engine ruleCore and the ECA rule markup language rCML. In particular, an extensive set of rule operators and shown in the rCML rule markup language. }, Annote = {Good discussion of events and event composition operators. }, Author = {Marco Seiri{\"o} and Mikael Berndtsson}, Bibsource = {DBLP, http://dblp.uni-trier.de}, Booktitle = {RuleML}, Crossref = {DBLP:conf/ruleml/2005}, Date-Added = {2010-02-09 08:10:18 -0700}, Date-Modified = {2010-03-06 13:07:02 -0700}, Ee = {http://dx.doi.org/10.1007/11580072_9}, Keywords = {rules, rule-based languages}, Pages = {98-112}, Read = {Yes}, Title = {Design and Implementation of an ECA Rule Markup Language}, Year = {2005}, Bdsk-File-1 = {YnBsaXN0MDDUAQIDBAUIJidUJHRvcFgkb2JqZWN0c1gkdmVyc2lvblkkYXJjaGl2ZXLRBgdUcm9vdIABqAkKFRYXGyIjVSRudWxs0wsMDQ4RFFpOUy5vYmplY3RzV05TLmtleXNWJGNsYXNzog8QgASABqISE4ACgAOAB1lhbGlhc0RhdGFccmVsYXRpdmVQYXRo0hgNGRpXTlMuZGF0YU8RBOIAAAAABOIAAgAAA3BqdwAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAMXMWqRIKwABAGLFhx9EZXNpZ24gYW5kIGltcGxlbWVudCM2NDgzRUQucGRmAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAZIPtx5bIQwAAAAAAAAAAAAEAAgAAERFhcwAAAAAAAAAAAAAAAAAbcnVsZSBsYW5ndWFnZSBkZXNpZ24gcGFwZXJzAAAQAAgAAMXMvRQAAAARAAgAAMeXKrMAAAABABAAYsWHAAgdjAAIAlsACADPAAIAWXBqdzpEb2N1bWVudHM6YnVzaW5lc3M6S3luZXR4OnJ1bGUgbGFuZ3VhZ2UgZGVzaWduIHBhcGVyczpEZXNpZ24gYW5kIGltcGxlbWVudCM2NDgzRUQucGRmAAAOAHoAPABEAGUAcwBpAGcAbgAgAGEAbgBkACAAaQBtAHAAbABlAG0AZQBuAHQAYQB0AGkAbwBuACAAbwBmACAAYQBuACAARQBDAEEAIAByAHUAbABlACAAbQBhAHIAawB1AHAAIABsAGEAbgBnAHUAYQBnAGUALgBwAGQAZgAPAAgAAwBwAGoAdwASAHMvRG9jdW1lbnRzL2J1c2luZXNzL0t5bmV0eC9ydWxlIGxhbmd1YWdlIGRlc2lnbiBwYXBlcnMvRGVzaWduIGFuZCBpbXBsZW1lbnRhdGlvbiBvZiBhbiBFQ0EgcnVsZSBtYXJrdXAgbGFuZ3VhZ2UucGRmAAATAAwvVm9sdW1lcy9wancACQKHAodhZnBtAIAEBAAIACYARgBqAKoA6gEuAGEBNwFXAAABAAJ1AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAANwancAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAANwancAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAPUGhpbGxpcCBXaW5kbGV5AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAACHARwancuX2FmcG92ZXJ0Y3AuX3RjcC5sb2NhbAgCCgABIwIkAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAD1BoaWxsaXAgV2luZGxleQAA//8AAIAF0hwdHh9YJGNsYXNzZXNaJGNsYXNzbmFtZaMfICFdTlNNdXRhYmxlRGF0YVZOU0RhdGFYTlNPYmplY3RfEDxEZXNpZ24gYW5kIGltcGxlbWVudGF0aW9uIG9mIGFuIEVDQSBydWxlIG1hcmt1cCBsYW5ndWFnZS5wZGbSHB0kJaIlIVxOU0RpY3Rpb25hcnkSAAGGoF8QD05TS2V5ZWRBcmNoaXZlcgAIABEAFgAfACgAMgA1ADoAPABFAEsAUgBdAGUAbABvAHEAcwB2AHgAegB8AIYAkwCYAKAFhgWIBY0FlgWhBaUFswW6BcMGAgYHBgoGFwYcAAAAAAAAAgEAAAAAAAAAKAAAAAAAAAAAAAAAAAAABi4=}} @article{Kifer:1995ys, Abstract = {We propose a novel formalism, called Frame Logic (abbr., F-logic), that accounts in a clean and declarative fashion for most of the structural aspects of object-oriented and frame-based languages. These features include object identity, complex objects, inheritance, polymorphic types, query methods, encapsulation, and others. 1n a sense, F-loglc stands in the same relationship to the object-oriented paradigm as classical predicate calculus stands to relational programming. F-logic has a model-theoretic semantics and a sound and complete resolution-based proof theory. A small number of fundamental concepts that come from object-oriented programming have direct representation in F-logic; other, secondary aspects of this paradigm are easily modeled as well. The paper also discusses semantic issues pertaining to programming with a deductive object-oriented language based on a subset of F-logic.}, Address = {New York, NY, USA}, Annote = {Frame logic is a semantic framework for describing object oriented properties. }, Author = {Kifer, Michael and Lausen, Georg and Wu, James}, Date-Added = {2010-02-08 13:09:18 -0700}, Date-Modified = {2010-02-18 20:18:35 -0600}, Doi = {http://doi.acm.org/10.1145/210332.210335}, Issn = {0004-5411}, Journal = {J. ACM}, Keywords = {deductive databases, frame-based languages, logic programming, nonmonotonic inheritance, object-oriented programming, proof theory, semantics, typing}, Number = {4}, Pages = {741--843}, Publisher = {ACM}, Rating = {5}, Read = {Yes}, Title = {Logical foundations of object-oriented and frame-based languages}, Volume = {42}, Year = {1995}, Bdsk-File-1 = {YnBsaXN0MDDUAQIDBAUIJidUJHRvcFgkb2JqZWN0c1gkdmVyc2lvblkkYXJjaGl2ZXLRBgdUcm9vdIABqAkKFRYXGyIjVSRudWxs0wsMDQ4RFFpOUy5vYmplY3RzV05TLmtleXNWJGNsYXNzog8QgASABqISE4ACgAOAB1lhbGlhc0RhdGFccmVsYXRpdmVQYXRo0hgNGRpXTlMuZGF0YU8RBPoAAAAABPoAAgAAA3BqdwAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAMXMWqRIKwABAGLFhx9Mb2dpY2FsIEZvdW5kYXRpb25zICM2M0MyMzMucGRmAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAY8Izx5W9rAAAAAAAAAAAAAEAAgAAERFhcwAAAAAAAAAAAAAAAAAbcnVsZSBsYW5ndWFnZSBkZXNpZ24gcGFwZXJzAAAQAAgAAMXMvRQAAAARAAgAAMeWIBwAAAABABAAYsWHAAgdjAAIAlsACADPAAIAWXBqdzpEb2N1bWVudHM6YnVzaW5lc3M6S3luZXR4OnJ1bGUgbGFuZ3VhZ2UgZGVzaWduIHBhcGVyczpMb2dpY2FsIEZvdW5kYXRpb25zICM2M0MyMzMucGRmAAAOAIoARABMAG8AZwBpAGMAYQBsACAARgBvAHUAbgBkAGEAdABpAG8AbgBzACAAbwBmACAATwBiAGoAZQBjAHQALQBPAHIAaQBlAG4AdABlAGQAIABhAG4AZAAgAEYAcgBhAG0AZQAtAEIAYQBzAGUAZAAgAEwAYQBuAGcAdQBhAGcAZQBzAC4AcABkAGYADwAIAAMAcABqAHcAEgB7L0RvY3VtZW50cy9idXNpbmVzcy9LeW5ldHgvcnVsZSBsYW5ndWFnZSBkZXNpZ24gcGFwZXJzL0xvZ2ljYWwgRm91bmRhdGlvbnMgb2YgT2JqZWN0LU9yaWVudGVkIGFuZCBGcmFtZS1CYXNlZCBMYW5ndWFnZXMucGRmAAATAAwvVm9sdW1lcy9wancACQKHAodhZnBtAIAEBAAIACYARgBqAKoA6gEuAGEBNwFXAAABAAJ1AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAANwancAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAANwancAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAPUGhpbGxpcCBXaW5kbGV5AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAACHARwancuX2FmcG92ZXJ0Y3AuX3RjcC5sb2NhbAgCCgABIwIkAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAD1BoaWxsaXAgV2luZGxleQAA//8AAIAF0hwdHh9YJGNsYXNzZXNaJGNsYXNzbmFtZaMfICFdTlNNdXRhYmxlRGF0YVZOU0RhdGFYTlNPYmplY3RfEERMb2dpY2FsIEZvdW5kYXRpb25zIG9mIE9iamVjdC1PcmllbnRlZCBhbmQgRnJhbWUtQmFzZWQgTGFuZ3VhZ2VzLnBkZtIcHSQloiUhXE5TRGljdGlvbmFyeRIAAYagXxAPTlNLZXllZEFyY2hpdmVyAAgAEQAWAB8AKAAyADUAOgA8AEUASwBSAF0AZQBsAG8AcQBzAHYAeAB6AHwAhgCTAJgAoAWeBaAFpQWuBbkFvQXLBdIF2wYiBicGKgY3BjwAAAAAAAACAQAAAAAAAAAoAAAAAAAAAAAAAAAAAAAGTg==}, Bdsk-Url-1 = {http://doi.acm.org/10.1145/210332.210335}} @inproceedings{Wagner:2004vn, Abstract = {This paper discusses the approach taken by the Rule Markup Language (RuleML) Initiative towards a general Web rule language framework and relates it to the MDA and UML by the Object Management Group (OMG). It also presents the abstract syntax of RuleML 0.85 as a MOF/UML model and considers the possibility to integrate RuleML with OCL and Action Semantics.}, Address = {Washington, DC, USA}, Annote = {Classifications and descriptions of different types of rules}, Author = {Wagner, Gerd and Antoniou, Grigoris and Tabet, Said and Boley, Harold}, Booktitle = {WI '04: Proceedings of the 2004 IEEE/WIC/ACM International Conference on Web Intelligence}, Date-Added = {2010-02-07 09:22:26 -0700}, Date-Modified = {2010-02-18 20:26:52 -0600}, Doi = {http://dx.doi.org/10.1109/WI.2004.134}, Isbn = {0-7695-2100-2}, Pages = {628--631}, Publisher = {IEEE Computer Society}, Rating = {2}, Read = {Yes}, Title = {The Abstract Syntax of RuleML - Towards a General Web Rule Language Framework}, Year = {2004}, Bdsk-File-1 = {YnBsaXN0MDDUAQIDBAUIJidUJHRvcFgkb2JqZWN0c1gkdmVyc2lvblkkYXJjaGl2ZXLRBgdUcm9vdIABqAkKFRYXGyIjVSRudWxs0wsMDQ4RFFpOUy5vYmplY3RzV05TLmtleXNWJGNsYXNzog8QgASABqISE4ACgAOAB1lhbGlhc0RhdGFccmVsYXRpdmVQYXRo0hgNGRpXTlMuZGF0YU8RBSIAAAAABSIAAgAAA3BqdwAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAMXMWqRIKwABAGLFhx9UaGUgQWJzdHJhY3QgU3ludGF4ICM2MkM5MUUucGRmAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAYskex5Q29wAAAAAAAAAAAAEAAgAAERFhcwAAAAAAAAAAAAAAAAAbcnVsZSBsYW5ndWFnZSBkZXNpZ24gcGFwZXJzAAAQAAgAAMXMvRQAAAARAAgAAMeUmWcAAAABABAAYsWHAAgdjAAIAlsACADPAAIAWXBqdzpEb2N1bWVudHM6YnVzaW5lc3M6S3luZXR4OnJ1bGUgbGFuZ3VhZ2UgZGVzaWduIHBhcGVyczpUaGUgQWJzdHJhY3QgU3ludGF4ICM2MkM5MUUucGRmAAAOAKQAUQBUAGgAZQAgAEEAYgBzAHQAcgBhAGMAdAAgAFMAeQBuAHQAYQB4ACAAbwBmACAAUgB1AGwAZQBNAEwAICATACAAVABvAHcAYQByAGQAcwAgAGEAIABHAGUAbgBlAHIAYQBsACAAVwBlAGIAIABSAHUAbABlACAATABhAG4AZwB1AGEAZwBlACAARgByAGEAbQBlAHcAbwByAGsALgBwAGQAZgAPAAgAAwBwAGoAdwASAIovRG9jdW1lbnRzL2J1c2luZXNzL0t5bmV0eC9ydWxlIGxhbmd1YWdlIGRlc2lnbiBwYXBlcnMvVGhlIEFic3RyYWN0IFN5bnRheCBvZiBSdWxlTUwg4oCTIFRvd2FyZHMgYSBHZW5lcmFsIFdlYiBSdWxlIExhbmd1YWdlIEZyYW1ld29yay5wZGYAEwAML1ZvbHVtZXMvcGp3AAkChwKHYWZwbQCABAQACAAmAEYAagCqAOoBLgBhATcBVwAAAQACdQAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAADcGp3AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAADcGp3AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAD1BoaWxsaXAgV2luZGxleQAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAhwEcGp3Ll9hZnBvdmVydGNwLl90Y3AubG9jYWwIAgoAASMCJAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA9QaGlsbGlwIFdpbmRsZXkAAP//AACABdIcHR4fWCRjbGFzc2VzWiRjbGFzc25hbWWjHyAhXU5TTXV0YWJsZURhdGFWTlNEYXRhWE5TT2JqZWN0bxBRAFQAaABlACAAQQBiAHMAdAByAGEAYwB0ACAAUwB5AG4AdABhAHgAIABvAGYAIABSAHUAbABlAE0ATAAgIBMAIABUAG8AdwBhAHIAZABzACAAYQAgAEcAZQBuAGUAcgBhAGwAIABXAGUAYgAgAFIAdQBsAGUAIABMAGEAbgBnAHUAYQBnAGUAIABGAHIAYQBtAGUAdwBvAHIAawAuAHAAZABm0hwdJCWiJSFcTlNEaWN0aW9uYXJ5EgABhqBfEA9OU0tleWVkQXJjaGl2ZXIACAARABYAHwAoADIANQA6ADwARQBLAFIAXQBlAGwAbwBxAHMAdgB4AHoAfACGAJMAmACgBcYFyAXNBdYF4QXlBfMF+gYDBqgGrQawBr0GwgAAAAAAAAIBAAAAAAAAACgAAAAAAAAAAAAAAAAAAAbU}, Bdsk-Url-1 = {http://dx.doi.org/10.1109/WI.2004.134}} @inproceedings{Lim:2008oq, Abstract = {Comparison shopping is one of the important ingredients in electronic commerce, because it saves time and efforts of searching for product information and costs. However, most shopping malls still rely on the simple data such as price and other descriptive specifications, and cannot support the services of comparing the exact cost which requires rule based computation such as delivery cost. The comparison of delivery costs requires tailored computation because each bookstore has different free shipping rules, delivery options, and shipping rates. The purpose of this paper is to propose a rule based comparison shopping framework using XRML(eXtensible Rule Markup Language) approach. We propose the architecture, named ConsiderD, of maintaining rules in the comparison portal site to be consistent with its original pages. We experiment the benefit of using the rule based exact computation in comparison of book buying with the result by estimated average price such as BestWebBuy.com does. The result shows that providing the benefit of rule based comparison is significant and the hidden information such as delivery cost can be effectively processed with XRML framework.}, Address = {New York, NY, USA}, Annote = {Not much on rule languages themselves--just uses them. Assumes that Web sites create rules describing thei shipping and tax calculations. }, Author = {Lim, Gyoo Gun and Kang, Ju Young and Lee, Jae Kyu and Lee, Dae Chul}, Booktitle = {ICEC '08: Proceedings of the 10th international conference on Electronic commerce}, Date-Added = {2010-02-07 09:16:00 -0700}, Date-Modified = {2010-02-10 13:30:43 -0700}, Doi = {http://doi.acm.org/10.1145/1409540.1409583}, Isbn = {978-1-60558-075-3}, Keywords = {XRML, comparison shopping, knowledge based system, semantic web}, Location = {Innsbruck, Austria}, Pages = {1--10}, Publisher = {ACM}, Rating = {1}, Read = {Yes}, Title = {Architecture and performance of the rule based comparison shopping: delivery cost experience}, Year = {2008}, Bdsk-File-1 = {YnBsaXN0MDDUAQIDBAUIJidUJHRvcFgkb2JqZWN0c1gkdmVyc2lvblkkYXJjaGl2ZXLRBgdUcm9vdIABqAkKFRYXGyIjVSRudWxs0wsMDQ4RFFpOUy5vYmplY3RzV05TLmtleXNWJGNsYXNzog8QgASABqISE4ACgAOAB1lhbGlhc0RhdGFccmVsYXRpdmVQYXRo0hgNGRpXTlMuZGF0YU8RBU4AAAAABU4AAgAAA3BqdwAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAMXMWqRIKwABAGLFhx9BcmNoaXRlY3R1cmUgYW5kIHBlciM2MkM3QzUucGRmAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAYsfFx5Q1NAAAAAAAAAAAAAEAAgAAERFhcwAAAAAAAAAAAAAAAAAbcnVsZSBsYW5ndWFnZSBkZXNpZ24gcGFwZXJzAAAQAAgAAMXMvRQAAAARAAgAAMeUl6QAAAABABAAYsWHAAgdjAAIAlsACADPAAIAWXBqdzpEb2N1bWVudHM6YnVzaW5lc3M6S3luZXR4OnJ1bGUgbGFuZ3VhZ2UgZGVzaWduIHBhcGVyczpBcmNoaXRlY3R1cmUgYW5kIHBlciM2MkM3QzUucGRmAAAOAMIAYABBAHIAYwBoAGkAdABlAGMAdAB1AHIAZQAgAGEAbgBkACAAcABlAHIAZgBvAHIAbQBhAG4AYwBlACAAbwBmACAAdABoAGUAIAByAHUAbABlACAAYgBhAHMAZQBkACAAYwBvAG0AcABhAHIAaQBzAG8AbgAgAHMAaABvAHAAcABpAG4AZwAtACAAZABlAGwAaQB2AGUAcgB5ACAAYwBvAHMAdAAgAGUAeABwAGUAcgBpAGUAbgBjAGUALgBwAGQAZgAPAAgAAwBwAGoAdwASAJcvRG9jdW1lbnRzL2J1c2luZXNzL0t5bmV0eC9ydWxlIGxhbmd1YWdlIGRlc2lnbiBwYXBlcnMvQXJjaGl0ZWN0dXJlIGFuZCBwZXJmb3JtYW5jZSBvZiB0aGUgcnVsZSBiYXNlZCBjb21wYXJpc29uIHNob3BwaW5nLSBkZWxpdmVyeSBjb3N0IGV4cGVyaWVuY2UucGRmAAATAAwvVm9sdW1lcy9wancACQKHAodhZnBtAIAEBAAIACYARgBqAKoA6gEuAGEBNwFXAAABAAJ1AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAANwancAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAANwancAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAPUGhpbGxpcCBXaW5kbGV5AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAACHARwancuX2FmcG92ZXJ0Y3AuX3RjcC5sb2NhbAgCCgABIwIkAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAD1BoaWxsaXAgV2luZGxleQAA//8AAIAF0hwdHh9YJGNsYXNzZXNaJGNsYXNzbmFtZaMfICFdTlNNdXRhYmxlRGF0YVZOU0RhdGFYTlNPYmplY3RfEGBBcmNoaXRlY3R1cmUgYW5kIHBlcmZvcm1hbmNlIG9mIHRoZSBydWxlIGJhc2VkIGNvbXBhcmlzb24gc2hvcHBpbmctIGRlbGl2ZXJ5IGNvc3QgZXhwZXJpZW5jZS5wZGbSHB0kJaIlIVxOU0RpY3Rpb25hcnkSAAGGoF8QD05TS2V5ZWRBcmNoaXZlcgAIABEAFgAfACgAMgA1ADoAPABFAEsAUgBdAGUAbABvAHEAcwB2AHgAegB8AIYAkwCYAKAF8gX0BfkGAgYNBhEGHwYmBi8GkgaXBpoGpwasAAAAAAAAAgEAAAAAAAAAKAAAAAAAAAAAAAAAAAAABr4=}, Bdsk-Url-1 = {http://doi.acm.org/10.1145/1409540.1409583}} @article{Lee:2003kx, Abstract = {XRML explicates the rules implicitly embedded in Web pages, enabling software agents to process the rules automatically. }, Address = {New York, NY, USA}, Annote = {Expressing knowledge rules in XML}, Author = {Lee, Jae Kyu and Sohn, Mye M.}, Date-Added = {2010-02-07 09:13:11 -0700}, Date-Modified = {2010-02-18 20:10:47 -0600}, Doi = {http://doi.acm.org/10.1145/769800.769802}, Issn = {0001-0782}, Journal = {Commun. ACM}, Number = {5}, Pages = {59--64}, Publisher = {ACM}, Rating = {1}, Read = {Yes}, Title = {The eXtensible Rule Markup Language}, Volume = {46}, Year = {2003}, Bdsk-File-1 = {YnBsaXN0MDDUAQIDBAUIJidUJHRvcFgkb2JqZWN0c1gkdmVyc2lvblkkYXJjaGl2ZXLRBgdUcm9vdIABqAkKFRYXGyIjVSRudWxs0wsMDQ4RFFpOUy5vYmplY3RzV05TLmtleXNWJGNsYXNzog8QgASABqISE4ACgAOAB1lhbGlhc0RhdGFccmVsYXRpdmVQYXRo0hgNGRpXTlMuZGF0YU8RBKIAAAAABKIAAgAAA3BqdwAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAMXMWqRIKwABAGLFhx9USEUgRVhURU5TSUJMRSBSVUxFICM2MkM3M0YucGRmAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAYsc/x5Q0kQAAAAAAAAAAAAEAAgAAERFhcwAAAAAAAAAAAAAAAAAbcnVsZSBsYW5ndWFnZSBkZXNpZ24gcGFwZXJzAAAQAAgAAMXMvRQAAAARAAgAAMeUlwEAAAABABAAYsWHAAgdjAAIAlsACADPAAIAWXBqdzpEb2N1bWVudHM6YnVzaW5lc3M6S3luZXR4OnJ1bGUgbGFuZ3VhZ2UgZGVzaWduIHBhcGVyczpUSEUgRVhURU5TSUJMRSBSVUxFICM2MkM3M0YucGRmAAAOAFAAJwBUAEgARQAgAEUAWABUAEUATgBTAEkAQgBMAEUAIABSAFUATABFACAATQBBAFIASwBVAFAAIABMAEEATgBHAFUAQQBHAEUALgBwAGQAZgAPAAgAAwBwAGoAdwASAF4vRG9jdW1lbnRzL2J1c2luZXNzL0t5bmV0eC9ydWxlIGxhbmd1YWdlIGRlc2lnbiBwYXBlcnMvVEhFIEVYVEVOU0lCTEUgUlVMRSBNQVJLVVAgTEFOR1VBR0UucGRmABMADC9Wb2x1bWVzL3BqdwAJAocCh2FmcG0AgAQEAAgAJgBGAGoAqgDqAS4AYQE3AVcAAAEAAnUAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA3BqdwAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA3BqdwAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA9QaGlsbGlwIFdpbmRsZXkAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAIcBHBqdy5fYWZwb3ZlcnRjcC5fdGNwLmxvY2FsCAIKAAEjAiQAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAPUGhpbGxpcCBXaW5kbGV5AAD//wAAgAXSHB0eH1gkY2xhc3Nlc1okY2xhc3NuYW1lox8gIV1OU011dGFibGVEYXRhVk5TRGF0YVhOU09iamVjdF8QJ1RIRSBFWFRFTlNJQkxFIFJVTEUgTUFSS1VQIExBTkdVQUdFLnBkZtIcHSQloiUhXE5TRGljdGlvbmFyeRIAAYagXxAPTlNLZXllZEFyY2hpdmVyAAgAEQAWAB8AKAAyADUAOgA8AEUASwBSAF0AZQBsAG8AcQBzAHYAeAB6AHwAhgCTAJgAoAVGBUgFTQVWBWEFZQVzBXoFgwWtBbIFtQXCBccAAAAAAAACAQAAAAAAAAAoAAAAAAAAAAAAAAAAAAAF2Q==}, Bdsk-Url-1 = {http://doi.acm.org/10.1145/769800.769802}} @inproceedings{Simon:2006ly, Abstract = {We present a browser-extending Semantic Web extraction system that maps HTML documents to tables and, where possible, to rules. First, the basic data extractor ViPER distills and reorganizes semi-structured information into a tabular data structure, which can again be browsed and/or submitted to further machine processing. Second, exemplifying the latter, the extended knowledge extractor Rex ViPER mines the resulting tables for structural properties and functional dependencies. Rules are generated to obtain a more compact and manageable, often also enriched, knowledge representation. The resulting fully structured information, RuleML-serialized facts and rules, can be stored along with the orginal documents, queried by rule engines such as OO jDREW and FLORID, and interchanged between Web Services. Thus Rex ViPER contributes to automating the construction of a machine-processable Semantic Web.}, Address = {New York, NY, USA}, Annote = {Uses a browser extension to mine HTML for tabular data and then automatically processes it into RuleML rules. }, Author = {Simon, Kai and Lausen, Georg and Boley, Harold}, Booktitle = {ICEC '06: Proceedings of the 8th international conference on Electronic commerce}, Date-Added = {2010-02-07 09:10:43 -0700}, Date-Modified = {2010-02-10 13:30:26 -0700}, Doi = {http://doi.acm.org/10.1145/1151454.1151484}, Isbn = {1-59593-392-1}, Keywords = {data extraction, data record alignment, rule-based languages}, Location = {Fredericton, New Brunswick, Canada}, Pages = {125--131}, Publisher = {ACM}, Read = {Yes}, Title = {From HTML documents to web tables and rules}, Year = {2006}, Bdsk-File-1 = {YnBsaXN0MDDUAQIDBAUIJidUJHRvcFgkb2JqZWN0c1gkdmVyc2lvblkkYXJjaGl2ZXLRBgdUcm9vdIABqAkKFRYXGyIjVSRudWxs0wsMDQ4RFFpOUy5vYmplY3RzV05TLmtleXNWJGNsYXNzog8QgASABqISE4ACgAOAB1lhbGlhc0RhdGFccmVsYXRpdmVQYXRo0hgNGRpXTlMuZGF0YU8RBLoAAAAABLoAAgAAA3BqdwAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAMXMWqRIKwABAGLFhx9Gcm9tIEhUTUwgRG9jdW1lbnRzICM2MkM2QjAucGRmAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAYsawx5Qz6wAAAAAAAAAAAAEAAgAAERFhcwAAAAAAAAAAAAAAAAAbcnVsZSBsYW5ndWFnZSBkZXNpZ24gcGFwZXJzAAAQAAgAAMXMvRQAAAARAAgAAMeUllsAAAABABAAYsWHAAgdjAAIAlsACADPAAIAWXBqdzpEb2N1bWVudHM6YnVzaW5lc3M6S3luZXR4OnJ1bGUgbGFuZ3VhZ2UgZGVzaWduIHBhcGVyczpGcm9tIEhUTUwgRG9jdW1lbnRzICM2MkM2QjAucGRmAAAOAGAALwBGAHIAbwBtACAASABUAE0ATAAgAEQAbwBjAHUAbQBlAG4AdABzACAAdABvACAAVwBlAGIAIABUAGEAYgBsAGUAcwAgAGEAbgBkACAAUgB1AGwAZQBzAC4AcABkAGYADwAIAAMAcABqAHcAEgBmL0RvY3VtZW50cy9idXNpbmVzcy9LeW5ldHgvcnVsZSBsYW5ndWFnZSBkZXNpZ24gcGFwZXJzL0Zyb20gSFRNTCBEb2N1bWVudHMgdG8gV2ViIFRhYmxlcyBhbmQgUnVsZXMucGRmABMADC9Wb2x1bWVzL3BqdwAJAocCh2FmcG0AgAQEAAgAJgBGAGoAqgDqAS4AYQE3AVcAAAEAAnUAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA3BqdwAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA3BqdwAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA9QaGlsbGlwIFdpbmRsZXkAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAIcBHBqdy5fYWZwb3ZlcnRjcC5fdGNwLmxvY2FsCAIKAAEjAiQAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAPUGhpbGxpcCBXaW5kbGV5AAD//wAAgAXSHB0eH1gkY2xhc3Nlc1okY2xhc3NuYW1lox8gIV1OU011dGFibGVEYXRhVk5TRGF0YVhOU09iamVjdF8QL0Zyb20gSFRNTCBEb2N1bWVudHMgdG8gV2ViIFRhYmxlcyBhbmQgUnVsZXMucGRm0hwdJCWiJSFcTlNEaWN0aW9uYXJ5EgABhqBfEA9OU0tleWVkQXJjaGl2ZXIACAARABYAHwAoADIANQA6ADwARQBLAFIAXQBlAGwAbwBxAHMAdgB4AHoAfACGAJMAmACgBV4FYAVlBW4FeQV9BYsFkgWbBc0F0gXVBeIF5wAAAAAAAAIBAAAAAAAAACgAAAAAAAAAAAAAAAAAAAX5}} @inproceedings{Boley:2001bh, Abstract = {This paper discusses the approach taken by the Rule Markup Language (RuleML) Initiative towards a general Web rule language framework and relates it to the MDA and UML by the Object Management Group (OMG). It also presents the abstract syntax of RuleML 0.85 as a MOF/UML model and considers the possibility to integrate RuleML with OCL and Action Semantics.}, Annote = {Types of rules, execution models, and their support in RuleML}, Author = {Harold Boley and Said Tabet and Gerd Wagner}, Booktitle = {International Semantic Web Working Symposium (SWWS)}, Date-Added = {2010-02-07 09:06:32 -0700}, Date-Modified = {2010-04-16 12:15:17 -0600}, Month = {June}, Pages = {381--401}, Rating = {2}, Read = {Yes}, Title = {Design Rationale of RuleML: A Markup Language for Semantic Web Rules}, Year = {2001}, Bdsk-File-1 = {YnBsaXN0MDDUAQIDBAUIJidUJHRvcFgkb2JqZWN0c1gkdmVyc2lvblkkYXJjaGl2ZXLRBgdUcm9vdIABqAkKFRYXGyIjVSRudWxs0wsMDQ4RFFpOUy5vYmplY3RzV05TLmtleXNWJGNsYXNzog8QgASABqISE4ACgAOAB1lhbGlhc0RhdGFccmVsYXRpdmVQYXRo0hgNGRpXTlMuZGF0YU8RBF4AAAAABF4AAgAAA3BqdwAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAMXMWqRIKwABAGLFhxREZXNpZ24gb2YgUnVsZU1MLnBkZgAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAGFPUxxs69gAAAAAAAAAAAAEAAgAAERFhcwAAAAAAAAAAAAAAAAAbcnVsZSBsYW5ndWFnZSBkZXNpZ24gcGFwZXJzAAAQAAgAAMXMvRQAAAARAAgAAMcbnWYAAAABABAAYsWHAAgdjAAIAlsACADPAAIATnBqdzpEb2N1bWVudHM6YnVzaW5lc3M6S3luZXR4OnJ1bGUgbGFuZ3VhZ2UgZGVzaWduIHBhcGVyczpEZXNpZ24gb2YgUnVsZU1MLnBkZgAOACoAFABEAGUAcwBpAGcAbgAgAG8AZgAgAFIAdQBsAGUATQBMAC4AcABkAGYADwAIAAMAcABqAHcAEgBLL0RvY3VtZW50cy9idXNpbmVzcy9LeW5ldHgvcnVsZSBsYW5ndWFnZSBkZXNpZ24gcGFwZXJzL0Rlc2lnbiBvZiBSdWxlTUwucGRmAAATAAwvVm9sdW1lcy9wancACQKHAodhZnBtAIAEBAAIACYARgBqAKoA6gEuAGEBNwFXAAABAAJ1AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAANwancAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAANwancAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAPUGhpbGxpcCBXaW5kbGV5AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAACHARwancuX2FmcG92ZXJ0Y3AuX3RjcC5sb2NhbAgCCgABIwIkAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAD1BoaWxsaXAgV2luZGxleQAA//8AAIAF0hwdHh9YJGNsYXNzZXNaJGNsYXNzbmFtZaMfICFdTlNNdXRhYmxlRGF0YVZOU0RhdGFYTlNPYmplY3RfEBREZXNpZ24gb2YgUnVsZU1MLnBkZtIcHSQloiUhXE5TRGljdGlvbmFyeRIAAYagXxAPTlNLZXllZEFyY2hpdmVyAAgAEQAWAB8AKAAyADUAOgA8AEUASwBSAF0AZQBsAG8AcQBzAHYAeAB6AHwAhgCTAJgAoAUCBQQFCQUSBR0FIQUvBTYFPwVWBVsFXgVrBXAAAAAAAAACAQAAAAAAAAAoAAAAAAAAAAAAAAAAAAAFgg==}} @comment{BibDesk Smart Groups{ conditions comparison 4 key Rating value 4 version 1 comparison 4 key Rating value 5 version 1 conjunction 1 group name Important papers conditions comparison 4 key Read value Yes version 1 conjunction 0 group name Read conditions comparison 4 key Read value No version 1 conjunction 0 group name Unread }}