Actions

Ontolog Forum

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) ... intro slides

Panelists / Briefings:

  • Dr. JansAasman (Franz) - "Using Prolog and SPARQL's Magic Predicates for Detecting Fraud

Patterns" - slides

  • Mr. WilliamGuinn (WGSigma System) - "Architecting intelligent real-time systems which process billions of events a day" - slides
  • Professor MitchKokar (Northeastern U) - "OWL and Rules for Cognitive Radios" - slides
  • Mr. ArunMajumdar (who was supposedly on the panel) has an emergency and sends his regrets that he will not be able to join us today!

Archives

Conference Call Details

  • Date: Thursday, 19-Dec-2013
  • Start Time: 9:30am PST / 12:30pm EST / 6:30pm CET / 17:30 GMT/UTC
  • Expected Call Duration: ~2.0 hours
  • Dial-in:
    • Phone (US): +1 (206) 402-0100 ... (long distance cost may apply)
      • when prompted enter Conference ID: 141184#
      • ... [ backup nbr: (415) 671-4335 ]
      • (for phone dial-in) ... some local numbers may be available (in the US, Australia, Canada & UK) - see: http://instantteleseminar.com/Local/
    • Skype: joinconference (i.e. make a skype call to the contact with skypeID="joinconference") ... (generally free-of-charge, when connecting from your computer ... ref.)
      • when prompted enter Conference ID: 141184#
      • Unfamiliar with how to do this on Skype? ...
        • Add the contact "joinconference" to your skype contact list first. To participate in the teleconference, make a skype call to "joinconference", then open the dial pad (see platform-specific instructions below) and enter the Conference ID: 141184# when prompted.
      • 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. ... (ref.)
      • 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#
  • Shared-screen support (VNC session), if applicable, will be started 5 minutes before the call at: http://vnc2.cim3.net:5800/ ... view-only password: "ontolog"
    • if you plan to be logging into this shared-screen option (which the speaker may be navigating), and you are not familiar with the process, please try to call in 5 minutes before the start of the session so that we can work out the connection logistics. Help on this will generally not be available once the presentation starts.
    • people behind corporate firewalls may have difficulty accessing this. If that is the case, please download the slides above (where applicable) and running them locally. The speaker(s) will prompt you to advance the slides during the talk.
  • In-session chat-room url: http://webconf.soaphub.org/conf/room/ontolog_20131219
    • instructions: once you got access to the page, click on the "settings" button, and identify yourself (by modifying the Name field from "anonymous" to your real name, like "JaneDoe").
    • You can indicate that you want to ask a question verbally by clicking on the "hand" button, and wait for the moderator to call on you; or, type and send your question into the chat window at the bottom of the screen.
    • thanks to the soaphub.org folks, one can now use a jabber/xmpp client (e.g. gtalk) to join this chatroom. Just add the room as a buddy - (in our case here) ontolog_20131219@soaphub.org ... Handy for mobile devices!
  • Discussions and Q & A:
    • Nominally, when a presentation is in progress, the moderator will mute everyone, except for the speaker.
    • To un-mute, press "*7" ... To mute, press "*6" (please mute your phone, especially if you are in a noisy surrounding, or if you are introducing noise, echoes, etc. into the conference line.)
    • we will usually save all questions and discussions till after all presentations are through. You are encouraged to jot down questions onto the chat-area in the mean time (that way, they get documented; and you might even get some answers in the interim, through the chat.)
    • During the Q&A / discussion segment (when everyone is muted), If you want to speak or have questions or remarks to make, please raise your hand (virtually) by clicking on the "hand button" (lower right) on the chat session page. You may speak when acknowledged by the session moderator (again, press "*7" on your phone to un-mute). Test your voice and introduce yourself first before proceeding with your remarks, please. (Please remember to click on the "hand button" again (to lower your hand) and press "*6" on your phone to mute yourself after you are done speaking.)
  • RSVP to peter.yim@cim3.com appreciated, ... or simply just by adding yourself to the "Expected Attendee" list below (if you are a member of the team.)

Attendees

  • Expecting:
    • Benjamin Grosof
    • Adrian Walker
    • ...
    • (please add yourself to the list above if you are a member of the community, or, rsvp to <peter.yim@cim3.com> with the event title/date and your name and affiliation)

Abstract

Guide to Reasoning Applications Development and Cases ... intro slides

This is the 4th session of the RulesReasoningLP mini-series - a series of virtual panel sessions, and the associated online discourse, co-championed by some members of the Ontolog community who value the importance of the subject matter and would want to bring together those who are knowledgeable or interested into a dialog. The mini-series program will cover the topics that encapsulates the ontology-driven applications that will generally fall under "Ontology, Rules, and Logic Programming for Reasoning and Applications."

The focus of this session is to identify where reasoning has been used successfully on mainstream applications. We hope to gain insight into the technical underpinnings of successful mainstream systems. For example, what kinds of language formalisms are being used, what kinds of ontologies, where did they come from, what languages are they expressed in, how are they maintained to be scalable. What technology scales for the volumes of data and the frequency of events in the operational systems, how do these systems interact with external information sources, how robust are they, how do they deal with conflicting data? Perhaps we can get more detail regarding what kind of reasoning is used, how probabilistic reasoning is integrated with other kinds of reasoning, etc.

After the panelists briefings, there will be time for Q&A and an open discussion among the panel and all the participants.

See more details at: RulesReasoningLP (homepage for this mini-series)

Briefings

  • Dr. JansAasman (Franz) - "Using Prolog and SPARQL's Magic Predicates for Detecting Fraud

Patterns" - slides

    • Abstract: E-commerce sites, auction sites, financial institutions and insurance companies all have event based data that describes transactions between customers (Social Networks) that are located in time and space (GeoTemporal). All these transactions together form interesting social graphs and patterns of customer behavior that help identify fraudulent actions. ... We will present use cases around graph search technologies that make it very straightforward and user friendly to analyze behavioral patterns. We will also discuss extending SPARQL 1.1 with a large number of magic predicates for geospatial, temporal and social network analysis.
  • Mr. WilliamGuinn (WGSigma System) - "Architecting intelligent real-time systems which process billions of events a day" - slides
    • Abstract: William Guinn, Co-founder of WGSigma Systems, a company providing decision automaton using a Big Data Application Server. Prior CTO of Amdocs, the largest telecommunications ISV in the world serving over 1 billion subscribers, former head of R&D at DST Innovis, developing and operating DIRECTV's customer care and billing systems. Bill will discuss architecture and implementation of a real time intelligent decision automation system using inferencing logic and probabilistic reasoning against billions of events a day for the telecommunications sector.
  • Professor MitchKokar (Northeastern U) - "OWL and Rules for Cognitive Radios" - slides
    • Abstract: Professor Mieczyslaw Kokar from Northeastern University will be talking on "OWL and Rules for Cognitive Radios". This involves use of a Cognitive Radio Ontology (CRO) (expressed in OWL) for describing the various aspects of radio communications for real-time. One radio sends a description of a waveform to another radio which instantiates the wave form for use in subsequent communication.
    • see an extended abstract this talk here.

Agenda

RulesReasoningLP Mini-series Panel Session-04

Session Format: this is a virtual session conducted over an augmented conference call

Proceedings

Please refer to the above

IM Chat Transcript captured during the session

see raw transcript here.

(for better clarity, the version below is a re-organized and lightly edited chat-transcript.)

Participants are welcome to make light edits to their own contributions as they see fit.

-- begin in-session chat-transcript --

Chat transcript from room: ontolog_20131219

2013-12-19 GMT-08:00 [PST]

[9:23] Peter P. Yim: 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. Henson Graves (Algos Associates) & Professor Ken Baclawski (Northeastern U)

Panelists / Briefings:

  • Dr. Jans Aasman (Franz) - "Using Prolog and SPARQL's Magic Predicates for Detecting Fraud Patterns"
  • Mr. William Guinn (WGSigma System) - "Architecting intelligent real-time systems which process billions of events a day"
  • Professor Mitch Kokar (Northeastern U) - "OWL and Rules for Cognitive Radios"

Logistics:

  • (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
    • 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.

Attendees: Alan Rector, Alex Shkotin, Ali Hashemi, Azlinayati Manaf, Beth Huffer, Bob Kowalski,

Bobbin Teegarden, Chuck Rehberg, Conrad Bock, Craig Norvell, DanMcShan, Dennis Wisnosky, Dennis Pierson,

Fran Lightsom, Francesca Quattri, GenZou, Harold Boley, Henson Graves, Jans Aasman, Jonathan Bona,

Ken Baclawski, Lamar Henderson, Leo Obrst, Markus Stumptner, Michael Grüninger, Mike Bennett, Mitch Kokar,

Nancy Wiegand, Pavithra Kenjige, Peter P. Yim, Richard Martin, Roy Bell, Tara Athan, Todd Schneider,

Tom Tinsley, Weihong Song, William Guinn

Proceedings

[7:46] anonymous morphed into Azlinayati Manaf

[9:16] anonymous morphed into Jans Aasman

[9:22] Henson Graves: @Jans, thanks for taking the time to do this.

[9:26] Peter P. Yim: 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 Tom Tinsley

[9:30] anonymous1 morphed into Bob Kowalski

[9:30] anonymous2 morphed into Markus Stumptner

[9:30] anonymous5 morphed into Francesca Quattri

[9:30] anonymous morphed into Roy Bell

[9:31] anonymous4 morphed into Mitch Kokar

[9:31] anonymous3 morphed into Craig Norvell

[9:31] anonymous morphed into Conrad Bock

[9:33] anonymous morphed into Francesca Quattri

[9:34] anonymous morphed into Tara Athan

[9:34] anonymous1 morphed into Francesca Quattri

[9:35] anonymous morphed into Richard Martin

[9:36] Peter P. Yim: slides are under:

http://ontolog.cim3.net/cgi-bin/wiki.pl?ConferenceCall_2013_12_19#nid42Z1

[9:37] anonymous1 morphed into DanMcShan

[9:40] Peter P. Yim: == Henson Graves & Ken Baclawski starts the session ...

[9:41] anonymous morphed into Beth Huffer

[9:45] Peter P. Yim: == Jans Aasman presenting ...

[9:52] Peter P. Yim: @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:13] Peter P. Yim: == William Guinn presenting ...

[10:14] Leo Obrst: Joined late.

[10:21] anonymous morphed into Lamar Henderson

[10:26] Jans Aasman: Peter: is Bill still on the same slide?

[10:26] Alex Shkotin: I think yes :-)

[10:27] Peter P. Yim: as far as I hear him prompt

[10:27] Jans Aasman: ok

[10:28] Jans Aasman: can we ask him?

[10:28] Peter P. Yim: I just looked at the slides that follow, and trust that he is still on this one (slide#5)

[10:30] Peter P. Yim: Bill probably feels that he should spend a bit more time on the ECA Architecture

(which is central to their approach)

[10:32] Jans Aasman: ok

[10:32] Peter P. Yim: ... on slide#6 now

[10:37] Ken Baclawski: I tried to tell Bill that he only had 5 minutes left, but I did not seem to get through.

[10:43] Peter P. Yim: == Mitch Kokar presenting ...

[10:45] Bobbin Teegarden: @William: why (in the stack) use/need both Allegrograph and Cassandra?

[11:00] Alan Rector: Apologies. Thanks to the speakers. I have to drop out now. Happy holidays to all

[11:08] Leo Obrst: @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. see: http://www.mitre.org/sites/default/files/pdf/06_1303.pdf

[11:25] Mitch Kokar: @LeoObrst: Leo, yes I am aware of the work done by Allen and Jeff. We were

interacting while Allen was still at MITRE.

[11:11] Peter P. Yim: == Q&A and open discussion ...

[11:09] Peter P. Yim: @WeihongSong - I don't believe I have your affiliation and contact email ... Can

you provide that please (to: <peter.yim@cim3.com>)

[10:45] Bobbin Teegarden: @William: why (in the stack) use/need both Allegrograph and Cassandra?

[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:13] Peter P. Yim: ... Bill Guinn elaborated (verbally) on his answer to BobbinTeegarden's question at

[10:45]

[11:14] Bobbin Teegarden: @William: Thank you.

[11:15] Peter P. Yim: Michael Grüninger requests of Mitch Kokar to elaborate on his use of "deontic semantics"

[11:18] Henson Graves: @Michael, what is the difference between ontology and axiom set

[11:18] Michael Grüninger: Can each of the speakers show examples of how axioms of the ontologies were used?

[11:18] Michael Grüninger: @HensonGraves: an ontology consists of a set of axioms

[11:20] Henson Graves: @Michael, that is what I was suggesting

[11:12] Henson Graves: @Jans, are the ontologies such as events, etc. open and accessible from the Franz site?

[11:27] Jans Aasman: @HensonGraves: we don't have these ontologies for events for download. We mostly

have standardized predicates for geospatial, temporal, type and social network functions

[11:29] Henson Graves: @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] Mike Bennett: 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 in the forest it's still an event, whereas the ontology Jans was using conflates these.

[11:33] Leo Obrst: 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] Bobbin Teegarden: @Leo is there a presentation or online URL about how you do this translation?

[11:39] Leo Obrst: @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:34] Peter P. Yim: Great session!

[11:34] Leo Obrst: Very good session. Thanks all.

[11:35] Bob Kowalski: Many thanks. I thoroughly enjoyed this.

[11:35] Peter P. Yim: Join us again on Thu 2014_01_09 for the RulesReasoningLP mini-series session-05:

Rule Standards: Common Logic, RuleML, and RIF - Co-chairs: Harold Boley, Adrian Paschke & Mike Dean

[11:35] Peter P. Yim: coming up next, will be the Ontology Summit 2014 Kick-off Session, on Thu

16-Jan-2014 ... please 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] Peter P. Yim: in the mean time ... Happy Holidays, Everyone!

[11:36] Peter P. Yim: -- session ended: 11:35 am PST --

-- end of in-session chat-transcript --

  • Further Question & Remarks - please post them to the [ ontolog-forum ] listserv
    • if you are already subscribed, post to <ontolog-forum [at] ontolog.cim3.net>
    • (in case you aren't already a member) do consider joining the ONTOLOG community and be subscribed to the [ ontolog-forum ] listserv, where general ontology-related topics are discussed among the Ontolog community members. Please refer to Ontolog membership details at: http://ontolog.cim3.net/cgi-bin/wiki.pl?WikiHomePage#nid1J
      • kindly email <peter.yim@cim3.com> if you have any question.

Additional Resources

For the record ...

How To Join (while the session is in progress)



Retrieved from "https://ontologforum.com/index.php?title=ConferenceCall_2013_12_19&oldid=3022"