ppy/chat-transcript_unedited_20131219a.txt ------ Chat transcript from room: ontolog_20131219 2013-12-19 GMT-08:00 [PST] ------ [9:23] PeterYim: Welcome to the = RulesReasoningLP: mini-series session-04 - Thu 2013-12-19 = Program: Ontology, Rules, and Logic Programming for Reasoning and Applications (RulesReasoningLP) Mini-series of virtual panel sessions Topic: Guide to Reasoning Applications Development and Cases Session Co-chairs: Dr. HensonGraves (Algos Associates) & Professor KenBaclawski (Northeastern U) Panelists / Briefings: * Dr. JansAasman (Franz) - "Using Prolog and SPARQL's Magic Predicates for Detecting Fraud Patterns" * Mr. WilliamGuinn (WGSigma System) - "Architecting intelligent real-time systems which process billions of events a day" * Professor MitchKokar (Northeastern U) - "OWL and Rules for Cognitive Radios" Logistics: * Refer to details on session page at: http://ontolog.cim3.net/cgi-bin/wiki.pl?ConferenceCall_2013_12_19 * (if you haven't already done so) please click on "settings" (top center) and morph from "anonymous" to your RealName * Mute control (phone keypad): *7 to un-mute ... *6 to mute * Attn: Skype users ... see: http://ontolog.cim3.net/cgi-bin/wiki.pl?ConferenceCall_2013_12_19#nid42ZH ** you may connect to (the skypeID) "joinconference" whether or not it indicates that it is online (i.e. even if it says it is "offline," you should still be able to connect to it.) ** if you are using skype and the connection to "joinconference" is not holding up, try using (your favorite POTS or VoIP line, etc.) either your phone, skype-out or google-voice and call the US dial-in number: +1 (206) 402-0100 ... when prompted enter Conference ID: 141184# ** Can't find Skype Dial pad? *** for Windows Skype users: Can't find Skype Dial pad? ... it's under the "Call" dropdown menu as "Show Dial pad" *** for Linux Skype users: please note that the dial-pad is only available on v4.1 (or later) if the dialpad button is not shown in the call window you need to press the "d" hotkey to enable it. . == Proceedings == . [7:46] anonymous morphed into AzlinayatiManaf [9:16] anonymous morphed into jans aasman [9:22] HensonGraves: @jan, thanks for taking the time to do this. [9:26] PeterYim: chat messages should be typed into the box on the left of the "send" button (not the one on the left of the "hand" button) [9:27] anonymous morphed into William Guinn [9:28] anonymous morphed into TomTinsley [9:30] anonymous1 morphed into Bob Kowalski [9:30] anonymous2 morphed into MarkusStumptner [9:30] anonymous5 morphed into FrancescaQuattri [9:30] anonymous morphed into Roy Bell [9:31] anonymous4 morphed into MitchKokar [9:31] anonymous3 morphed into CraigNorvell [9:31] anonymous morphed into ConradBock [9:33] anonymous morphed into FrancescaQuattri [9:34] anonymous morphed into TaraAthan [9:34] anonymous1 morphed into FrancescaQuattri [9:35] anonymous morphed into Richard Martin [9:36] PeterYim: slides are under: http://ontolog.cim3.net/cgi-bin/wiki.pl?ConferenceCall_2013_12_19#nid42Z1 [9:37] anonymous1 morphed into Dan McShan [9:40] PeterYim: == HensonGraves & KenBaclawski starts the session ... [9:41] anonymous morphed into Beth [9:42] PeterYim: ... slide#3 now [9:45] PeterYim: == JansAasman presenting ... [9:52] PeterYim: @JansAasman: typo on slide#5 ("q" should not be there) ... please supply an update afterwards so I can swap the updated version of your slide-deck in [10:03] PavithraKenjige (PK Technologies) morphed into PavithraKenjige [10:13] PeterYim: == WilliamGuinn presenting ... [10:14] LeoObrst: Joined late. [10:21] anonymous morphed into LamarHenderson [10:26] jans aasman1: Peter: is Bill still on the same slide? [10:26] AlexShkotin: I think yes :-) [10:27] PeterYim: as far as I hear him prompt [10:27] jans aasman1: ok [10:28] jans aasman1: can we ask him? [10:28] PeterYim: I just looked at the slides that follow, and trust that he is still on this one (slide#5) [10:30] PeterYim: Bill probably feels that he should spend a bit more time on the ECA Architecture (which is central to their approach) [10:32] jans aasman1: ok [10:32] PeterYim: ... on slide#6 now [10:37] KenBaclawski: I tried to tell Bill that he only had 5 minutes left, but I did not seem to get through. [10:43] PeterYim: == MitchKokar presenting ... [10:45] BobbinTeegarden: @William: why (in the stack) use/need both Allegrograph and Cassandra? [11:00] Alan Rector (2): Apologies. Thanks to the speakers. I have to drop out now. Happy holidays to all [11:08] LeoObrst: @Mitch: we did some research on cognitive radio/cognitive spectrum 2005-2007, using OWL ontologies and rules. I'll send you the list of references offline. E.g, Allen Ginsberg, William D. Horne, Jeffrey D. Poston. 2006. Cognitive Radio, Spectrum Policy Specification, and the Semantic Web. Published in 2006. http://www.mitre.org/sites/default/files/pdf/06_1303.pdf [11:09] PeterYim: @Weihong Song - I don't believe I have your affiliation and contact email ... Can you provide that please (to: ) [11:10] William Guinn: Bobbin, we often need to do quite a bit of off line analysis like regression analysis. Cassandra and R are easier for this than integrating graphs and stat packages. We also try to do things in the background when possible, to reduce the online H/W cost (which is large). This also avoids having to cleanup the graph deleting old time series data that in most cases has a limited life span. [11:11] PeterYim: == Q&A and open discussion ... [11:12] HensonGraves: @jans, are the ontologies such as events, etc. open and accessible from the Franz site? [11:13] PeterYim: ... BillGuinn elaborated (verbally) on his answer to BobbinTeegarden's question at [10:45] [11:14] BobbinTeegarden: @William: Thank you. [11:15] PeterYim: MichaelGruninger requests of MitchKokar to elaborate on his use of "deontic semantics" [11:18] HensonGraves: @michael, what is the difference between ontology and axiom set [11:18] MichaelGruninger: Can each of the speakers show examples of how axioms of the ontologies were used? [11:18] MichaelGruninger: @HensonGraves: an ontology consists of a set of axioms [11:20] HensonGraves: @michael, that is what I was suggesting [11:25] MitchKokar: @LeoObrst: Leo, yes I am aware of the work done by Allen and Jeff. We were interacting while Allen was still at MITRE. [11:27] jans aasman1: @HensonGraves: we don't have these ontologies for events for download. We mostly have standardized predicates for geospatial, temoral, type and social network functions [11:29] HensonGraves: @jans, thanks. at some point, for some applications, one might need to produce the justification for an inference, which would need to reference the ontology [11:32] MikeBennett: In terms of an Events ontology, would it not make more sense to use an ontology which distinguish between events (which happen) and activities (which have an Actor). If a tree falls int he forest it's still an event, whereas the ontology Jans was using conflates these. [11:33] LeoObrst: In the past we have translated OWL/RDF & SWRL ontologies into logic programming, which required developing an interpreter/compiler in Prolog for LP+DL, and could handle only a subset of OWL. In general, we use LP for reasoning on OWL ontologies, which are syntactically translated these days. [11:34] PeterYim: Great session! [11:34] LeoObrst: Very good session. Thanks all. [11:34] BobbinTeegarden: @Leo is there a presentation or online URL about how you do this translation? [11:35] Bob Kowalski1: Many thanks. I thoroughly enjoyed this. [11:35] PeterYim: Join us again on Thu 2014_01_09 for the RulesReasoningLP mini-series session-05: Rule Standards: Common Logic, RuleML, and RIF - Co-chairs: HaroldBoley, AdrianPaschke & MikeDean [11:35] PeterYim: coming up next, will be the OntologySummit2014 Kick-off Session, on 16-Jan-2014 ... mark your calendars and watch out for further announcements and developing details at: http://ontolog.cim3.net/cgi-bin/wiki.pl?ConferenceCall_2014_01_16 [11:36] PeterYim: in the mean time ... Happy Holidays, Everyone! [11:36] PeterYim: -- session ended: 11:35 am PST -- [11:39] LeoObrst: @Bobbin: unfortunately, the main paper is a journal article: 36)Samuel, Ken; Leo Obrst; Suzette Stoutenberg; Karen Fox; Paul Franklin; Adrian Johnson; Ken Laskey; Deborah Nichols; Steve Lopez; and Jason Peterson. 2008. Applying Prolog to Semantic Web Ontologies & Rules: Moving Toward Description Logic Programs. The Journal of the Theory and Practice of Logic Programming (TPLP), Massimo Marchiori, ed., Cambridge University Press, Volume 8, Issue 03, May 2008, pp. 301-322. http://journals.cambridge.org/action/displayAbstract?fromPage=online&aid=1853440 [11:37] List of attendees: Alan Rector (2), AlexShkotin, AliHashemi, AzlinayatiManaf, Beth, Bob Kowalski, Bob Kowalski1, BobbinTeegarden, Chuck Rehberg, ConradBock, CraigNorvell, Dan McShan, Dennis Wisnosky, DennisPierson, FranLightsom, FrancescaQuattri, GenZou, Harold Boley, HensonGraves, JonathanBona, KenBaclawski, LamarHenderson, LeoObrst, MarkusStumptner, MichaelGruninger, MikeBennett, MitchKokar, NancyWiegand, PavithraKenjige , PavithraKenjige (PK Technologies), PeterYim, Richard Martin, Roy Bell, TaraAthan, ToddSchneider, TomTinsley, Weihong Song, William Guinn, anonymous, anonymous1, anonymous2, anonymous3, anonymous4, anonymous5, jans aasman, jans aasman1, vnc2 ------